En poursuivant votre navigation sur ce site, vous acceptez l’utilisation de cookies pour vous proposer des publicités adaptées à vos centres d’intérêts, réaliser des statistiques ainsi qu’interagir avec des réseaux sociaux.

Pour en savoir plus et paramétrer les cookies

Identifiez-vous ou Créez un compte

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