Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/07006.jsonl.gz/1644

BiographieGerhard Gentzen est un mathématicien et logicien allemand.
Il fut l'un des étudiants de Weyl à l'université de Göttingen de 1929 à 1933. Il a inventé deux systèmes de déduction pour la logique du premier ordre, la déduction naturelle et le calcul des séquents. Pour ce dernier, il a démontré son Hauptsatz (théorème principal), publié en 1934 dans ses Recherches sur la déduction logique.
Gentzen est mort dans un camp de prisonnier de guerre, après avoir été arrêté par les soviets à cause de ses loyautés nazies.
Biographie dans MacTutor : http://www-history.mcs.st-and.ac.uk/Biographies/Gentzen.html (consulter la traduction automatique)