Ambos textos son obras fundacionales que establecen bases axiomáticas en la lógica matemática, centrándose en la formalización del cálculo de predicados.
Elementos de lógica teórica
por David Hilbert, Wilhelm Ackermann · 1928
Ver sugerenciasSinopsis
Un texto fundacional en la lógica matemática que formaliza el cálculo proposicional y el cálculo de predicados, sentando las bases para el estudio de los sistemas formales.
Sé el primero en valorar este libro.
Más de David Hilbert
Ver autor →Otras obras del mismo autor en el catálogo
Sobre el teorema de los ceros
1893
Die Theorie der algebraischen Zahlkörper
1897
Elemente der Mathematik
1899
Principios de la geometría
1899
Sobre los Fundamentos de la Geometría
1899
Über die Grundlagen der Geometrie
1899
Cuestiones fundamentales de la geometría
1899
Los Axiomas de la Geometría
1899
Ensayo sobre los fundamentos de la geometría
1899
Fundamentos de Geometría
1899
Principios de Geometría
1899
Sobre la Fundamentación de la Geometría
1899
Principios de la Geometría.
1899
Elementos de Hilbert para la geometría
1899
Los fundamentos de la geometría
1899
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este trabajo también enfoca los fundamentos de las matemáticas desde un contexto logicista, similar al tratamiento estructural de sistemas formales en el libro de referencia.
En este ensayo, Hilbert aborda la formalización matemática y argumenta a favor de un enfoque axiomatico, alineándose con los principios de lógica teórica presentados en el texto original.
Aunque se centra en geometría, propone un enfoque axiomático y formalista, esencial en el desarrollo de conceptos lógicos, como en 'Elementos de lógica teórica'.
Este texto presenta un fuerte enfoque en el formalismo y la lógica matemática, explorando los fundamentos y consistencia de sistemas teóricos, al igual que el libro de referencia.
El trabajo clásico de Hilbert busca fundamentar las matemáticas sobre bases lógicas, profundizando en la consistencia y completitud, un objetivo común al de 'Elementos de lógica teórica'.