Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Recursive Functions and Metamathematics

Name: Recursive Functions and Metamathematics
Brand: Springer
SKU: 05250675
Price: 180.29 EUR
Availability: InStock
Author: Roman Murawski
ISBN: 9780792359043

Problems of Completeness and Decidability, Gödel's Theorems

Roman Murawski

Idioma

Inglés

Libro Tapa dura

Código Libristo: 05250675

Editores Springer, enero 1999

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of... Descripción completa

Código Libristo: 05250675

441 b

180.29 €

Almacenamiento externo Envío en 10-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

La prueba del ácido Élmer Mendoza

Tapa blanda

19.39 €

L'evaluation des politiques au niveau regional Steve Jacob

Tapa blanda

50.69 €

Nachts, wenn die Wölfe kommen Sandy Kien

Tapa dura

28.59 €

Piano Tatjana Davidoff

Hoja

17.89 €

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science.