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
1
2
3
4
5
…
pour nos abonnés,
l’article se compose de 1 page
Écrit par :
- Gabriel SABBAGH : 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
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
GÖDEL KURT (1906-1978)
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
Pour citer l’article
Gabriel SABBAGH, « GENTZEN GERHARD - (1909-1945) », Encyclopædia Universalis [en ligne], consulté le 18 mai 2022. URL : https://www.universalis.fr/encyclopedie/gerhard-gentzen/