Name: Mathematical Logic (en Inglés)
Price: 75954.00 ARS
Availability: InStock
Author: Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang
ISBN: 9783030738419

Formato

Libro Físico

Autor

Heinz-Dieter Ebbinghaus

Jörg Flum

Wolfgang Thomas

Editorial

Springer

Idioma

Inglés

N° páginas

304

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.7 cm

Peso

0.44 kg.

ISBN13

9783030738419

N° edición

0003

Categorías

Ciencia y análisis de datos
Lógica matemática
Análisis y captura de datos

Mathematical Logic (en Inglés)

Heinz-Dieter Ebbinghaus (Autor) · Jörg Flum (Autor) · Wolfgang Thomas (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 75.954

$ 126.590

Ahorras: $ 50.636

40% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Martes 25 de Junio y el Martes 09 de Julio.

Lo recibirás en cualquier lugar de Argentina entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Mathematical Logic (en Inglés)"

What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe- matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is Godel's completeness theorem, which shows that the con- sequence relation coincides with formal provability: By means of a calcu- lus consisting of simple formal inference rules, one can obtain all conse- quences of a given axiom system (and in particular, imitate all mathemat- ical proofs). A short digression into model theory will help us to analyze the expres- sive power of the first-order language, and it will turn out that there are certain deficiencies. For example, the first-order language does not allow the formulation of an adequate axiom system for arithmetic or analysis. On the other hand, this difficulty can be overcome--even in the framework of first-order logic-by developing mathematics in set-theoretic terms. We explain the prerequisites from set theory necessary for this purpose and then treat the subtle relation between logic and set theory in a thorough manner.