Ambos libros, coescritos por Ackermann y Hilbert, abordan la teoría de la prueba, fundamentando la lógica matemática desde enfoques complementarios.
Grundzüge einer Theorie der prädikativen Funktionen
por Wilhelm Ackermann · 1928
Ver sugerenciasSinopsis
En este trabajo inicial, Ackermann, junto con David Hilbert, propone una teoría fundamental de las funciones predicativas, abordando los fundamentos lógicos de las matemáticas.
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
Este texto de Hilbert, coescrito con Ackermann, explora los fundamentos de la lógica matemática y la metamatemática, enlazándose directamente con temas de predicatividad.
Un cálculo de deducción axiomático, con aplicaciones a los principios de las matemáticas
Moses Schönfinkel
1924·divulgacion
Schönfinkel desarrolla un sistema lógico que busca simplificar la lógica matemática, resonando con la búsqueda de fundamentos en la teoría de funciones predicativas.
La obra de Hilbert y Bernays expone el programa formalista que busca establecer bases sólidas para las matemáticas, similar a los objetivos de Ackermann.
Este libro de Hilbert y Ackermann profundiza en el cálculo de predicados, crucial para sentar las bases de la lógica matemática, conectándose con las funciones predicativas.
Ackermann explora la consistencia en la teoría de conjuntos, un tema clave en los fundamentos de matemáticas, vinculándose a la lógica del libro de referencia.