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).