alemán
Gerhard Gentzen fue un matemático y lógico alemán conocido por sus contribuciones fundamentales a la teoría de la demostración y la lógica matemática, especialmente por desarrollar el sistema de cálculos naturales. Su trabajo ha influido en el desarrollo de la lógica y la teoría de lenguajes formales en la matemática moderna.
1934·ensayo
Un trabajo seminal que introdujo el cálculo de secuencias (sequent calculus) y la deducción natural, revolucionando la forma en que se abordaba la demostración en lógica, especialmente a través de su teorema de eliminación del corte (Hauptsatz).
1935·ensayo
Las tesis doctorales de Gentzen revolucionaron la lógica matemática al introducir el cálculo de secuentes y la deducción natural, sistemas formales para el razonamiento lógico que permiten analizar la estructura interna de las pruebas matemáticas, demostrando la consistencia de la aritmética.
Aparecen junto a Gerhard Gentzen en búsquedas del archivo
