GERHARD GENTZEN (1909-1945)

0 avis

GERHARD GENTZEN (1909-1945)

Article

Edité par Encyclopædia Universalis - 2009

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

Sujet
Description

Langue: français

Date de publication: 2009-02-10

Sujets

Consulter en ligne

Consulter le document

Suggestions

Du même auteur

GENTZEN GERHARD (1909-1945)

Article | UNIVERSALIS | Gabriel SABBAGH | Universalis Edu | 2017

COHEN PAUL JOSEPH (1934-2007)

Article | UNIVERSALIS | Gabriel SABBAGH | Universalis Edu | 2017

Mathématicien et logicien américain, Paul Joseph Cohen est né le 2 avril 1934 à Long Branch (New Jersey) et mort le 23 mars 2007 à Stanford (Californie). En 1963, Cohen a découvert une nouvelle construction de modèles, a...

SKOLEM ALBERT THORALF (1887-1963)

Article | UNIVERSALIS | Gabriel SABBAGH | Universalis Edu | 2017

Logicien et mathématicien norvégien né à Sandsvaer et mort à Oslo. Ses travaux en algèbre (théorème de Skolem-Noether pour les algèbres associatives) et en théorie des nombres (introduction des méthodes p-adiques dans la théorie d...