GENTZEN GERHARD (1909-1945)

Carte mentale

Élargissez votre recherche dans Universalis

Logicien allemand, né à Greifswald et mort à Prague lors de son emprisonnement par les Soviétiques. Gentzen a développé l'étude des systèmes de déduction naturelle et établi un théorème d'élimination des coupures. Gerhard Gentzen a également donné une démonstration de consistance de l'arithmétique du premier ordre fondée sur l'induction transfinie jusqu'au premier nombre ordinal inaccessible pour l'exponentiation (et strictement supérieur à Ω). Ses méthodes et ses résultats ont profondément influé sur la théorie de la démonstration depuis 1945 et ont été péniblement et considérablement étendus à divers systèmes d'ordre supérieur. Ses travaux sont regroupés dans l'ouvrage The Collected Papers of Gerhard Gentzen (1969).

—  Gabriel SABBAGH

Écrit par :

  • : docteur ès sciences, professeur de mathématiques à l'université de Paris-VII

Classification


Autres références

«  GENTZEN GERHARD (1909-1945)  » est également traité dans :

DÉMONSTRATION THÉORIE DE LA

  • Écrit par 
  • Jean-Yves GIRARD
  •  • 6 260 mots
  •  • 1 média

Dans le chapitre « L'ordinal ε0 et la ω-logique »  : […] À plusieurs reprises dans les années trente, Gentzen allait donner des démonstrations de cohérence pour l' arithmétique de Peano AP . Pour obtenir de tels résultats, il était nécessaire, par le second théorème d'incomplétude, de se servir de méthodes extérieures à l'arithmétique. Gentzen utilisa comme méthode l' induction transfinie jusqu'à ε 0 , où ε 0 est défini comme le suprémum des ordinaux ω […] Lire la suite☛ http://www.universalis.fr/encyclopedie/theorie-de-la-demonstration/#i_35333

GÖDEL KURT (1906-1978)

  • Écrit par 
  • Daniel ANDLER
  •  • 2 293 mots

Dans le chapitre « L'œuvre »  : […] Les travaux de Gödel ont été exposés et situés dans leur contexte mathématique et épistémologique (cf. logique mathématique , hilbert , fondements des mathématiques et problèmes de hilbert ). Aussi nous contenterons-nous ici d'un bref aperçu. Le premier grand résultat est celui de la complétude du calcul des prédicats. Dans leur Grundzüge der Theoretischen Logik , paru en 1928, Hilbert et Ackerm […] Lire la suite☛ http://www.universalis.fr/encyclopedie/kurt-godel/#i_35333

Pour citer l’article

Gabriel SABBAGH, « GENTZEN GERHARD - (1909-1945) », Encyclopædia Universalis [en ligne], consulté le 29 janvier 2020. URL : http://www.universalis.fr/encyclopedie/gerhard-gentzen/