Puntuación:
Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.
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.
© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)