Name: Mathematical Logic (en Inglés)
Price: 172394.00 COP
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: generalidades
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 Importado

Envío: 14 a 20 días háb.

$ 344.788$ 172.394

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 172.394

¡Envío Gratis! Llega entre el 15 Jul y el 27 Jul a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

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.