Gaisi Takeuti
From Wikipedia, the free encyclopedia
Gaisi Takeuti
| Naissance | |
|---|---|
| Décès |
(à 91 ans) |
| Nom dans la langue maternelle |
竹内外史 |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour |
Université d'éducation de Tōkyō (d) Université de l'Illinois à Urbana-Champaign |
|---|---|
| Directeur de thèse |
Gaisi Takeuti (竹内 外史), né le et mort le [1] est un mathématicien japonais, connu pour ses travaux sur la théorie de la preuve[2].
Docteur de l'Université de Tokyo, il étudie à Princeton sous Kurt Gödel. Il est ensuite professeur à l'Université de l'Illinois à Urbana-Champaign. Takeuti est président de la Société Kurt Gödel de 2003 à 2009. Il rédige son autobiographie, Memoirs of a Proof Theorist: Gödel and Other Logicians. La conjecture de Takeuti postule qu'une formalisation en séquents de la logique du second ordre a une élimination des coupures[3]. Il est également connu pour son travail sur les diagrammes ordinaux avec Akiko Kino.
