Ambos libros de Ackermann abordan los fundamentos lógicos de las matemáticas, destacando la teoría de funciones predicativas y su relación con la lógica matemática.
Mathematische Logik
por Wilhelm Ackermann · 1928
Ver sugerenciasSinopsis
Coescrito con David Hilbert, este libro es un texto clásico sobre lógica matemática que introduce la teoría de la prueba y sentó las bases para el programa de Hilbert.
Sé el primero en valorar este libro.
Más de Wilhelm Ackermann
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Esta obra de Hilbert, coescrita con Ackermann, profundiza en los fundamentos de la lógica matemática, formando parte del desarrollo de la teoría de la demostración.
El texto de Hilbert y Bernays se alinea con el enfoque de Ackermann al establecer los principios formales que respaldan la consistencia de la aritmética y el análisis.
Shoenfield introduce conceptos fundamentales en lógica matemática, similar a Ackermann, centrándose en la teoría de modelos y el rigor formal en el razonamiento matemático.
Este texto de Hilbert y Ackermann formaliza sistemas de lógica matemática, continuando la exploración de temas tratados en 'Mathematische Logik' sobre el cálculo de predicados.
Hilbert presenta bases axiomáticas en lógica matemática que complementan la obra de Ackermann, enfatizando consistencia y completitud en la lógica de predicados.