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.
1935·no ficcion
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
