SERVICES
En double cliquant sur chacun des mots, vous accéderez aux définitions Larousse
Gerhard Gentzen
Logicien allemand (Greifswald 1909-Prague 1945).
Il fut assistant de Hilbert. Il a mis en forme un système non axiomatique de logique en introduisant des systèmes de déduction naturelle. On a rassemblé ses écrits sous le titre The Collected Papers of Gerhard Gentzen (1969).
Plan de l'article
À voir aussi dans Larousse
INFORMATIONS LAROUSSE