Opiniones de los lectores
Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.
Contenido del libro:
El libro ofrece una introducción autocontenida a la lógica matemática y la teoría de la computabilidad para estudiantes de matemáticas o informática. Está organizado en tres partes en torno a los éxitos y fracasos del programa de Hilbert para formalizar las matemáticas.
La Parte I aborda la cuestión de la formalización y la computabilidad. La Parte II presenta la lógica de primer orden, incluido el teorema de completitud de G del y el teorema de coherencia de Gentzen. La Parte III se centra en la aritmética, la representabilidad de las aplicaciones computables, los teoremas de incompletitud de G del y la decidibilidad de la aritmética de Presburger.
La Parte IV incluye respuestas detalladas a ejercicios seleccionados. Un curso de licenciatura podría basarse en las dos primeras partes, excluyendo el cálculo de Gentzen y terminando con una visión general del camino hacia el primer teorema de incompletitud.
En un curso más avanzado, se podría eliminar el material introductorio ya conocido por los estudiantes y establecer los resultados positivos y negativos del programa de Hilbert, abarcando así la prueba de coherencia propuesta por Gentzen y la Parte III en su totalidad. Esta segunda edición ampliada incorpora también las correcciones y numerosas revisiones ocasionales del texto preparadas desde su publicación original.
Otros datos del libro:
| ISBN: | 9781848900813 |
| Autor: | |
| Editorial: | |
| Encuadernación: | Tapa blanda |
Compra:
Actualmente disponible, en stock.
