turing
A propos de l'Espace-Turing | Partenaires | Nous contacter
twitterfacebookrssyoutube
Accueil > Historique > Historique > Naissance du mathématicien et logiciel allemand « Gerhard Gentzen (...)

Naissance du mathématicien et logiciel allemand « Gerhard Gentzen »

24 novembre 1909

Voir en ligne : http://www.universalis.fr/encyclope...
JPEG - 16.7 ko

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


info portfolio

titre documents joints


Suivre la vie du site RSS 2.0 | Plan du site | Espace privé | SPIP | squelette | Contact site : marc.monticelli [at] unice [point] fr