Gaisi Takeuti
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].
Biographie[modifier | modifier le code]
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.
Ouvrages[modifier | modifier le code]
- Takeuti, « On a generalized logic calculus », Japanese Journal of Mathematics, vol. 23, , p. 39–96 (ISSN 0075-3432, DOI 10.4099/jjm1924.23.0_39)
- Takeuti, « Errata to 'On a Generalized Logic Calculus' », Japanese Journal of Mathematics, vol. 24, , p. 149–156 (ISSN 0075-3432, DOI 10.4099/jjm1924.24.0_149)
- Gaisi Takeuti, Proof theory, Mineola, New York, Dover Publications, (1re éd. 1975) (ISBN 978-0-486-49073-1, lire en ligne)
Notes[modifier | modifier le code]
- Sam Buss, « [Proof Complexity] Gaisi Takeuti », Proof-Complexity mailing list, (consulté le )
- Takeuti 2013.
- Takeuti 1953. An erratum to this article was published in the same journal as (Takeuti 1954).
Liens externes[modifier | modifier le code]
- Ressources relatives à la recherche :
- Notice dans un dictionnaire ou une encyclopédie généraliste :
- Présidents de la Société Kurt Gödel
- Takeuti Symposium
