Grundzüge einer Theorie der prädikativen Funktionen
1928·divulgacion
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.
WA
WA
Wilhelm Ackermann
alemán
Wilhelm Ackermann fue un matemático alemán conocido por sus contribuciones en lógica y teoría de computación, especialmente por su trabajo en el desarrollo de algoritmos. Su relevancia radica en la formulación de lo que hoy se conoce como la función de Ackermann, un ejemplo clásico de una función que no es primitiva recursiva.
Obras en el archivo
4 títulos
Mathematische Logik
1928·divulgacion
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.
Este trabajo se centra en demostrar la consistencia de la teoría general de conjuntos, un problema fundamental en la lógica matemática de principios del siglo XX.
Ackermann explora la solubilidad del problema de decisión para varias clases de cálculos funcionales, contribuyendo al entendimiento de la decidibilidad en lógica matemática.
Autores relacionados
Aparecen junto a Wilhelm Ackermann en búsquedas del archivo