Gaisi Takeuti
Gaisi Takeuti
Naissance | Japon |
---|---|
Décès | (à 91 ans) |
Nom dans la langue maternelle | 竹内外史 |
Nationalité | japonaise |
Formation | |
Activités | Mathématicien, philosophe, professeur d'université |
A travaillé pour | Université d'éducation de Tōkyō (d) Université de l'Illinois à Urbana-Champaign |
---|---|
Directeur de thèse | Shokichi Iyanaga |
modifier - modifier le code - modifier Wikidata
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
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
- 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
- ↑ 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
- Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- Notice dans un dictionnaire ou une encyclopédie généraliste :
- Deutsche Biographie
- Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Japon
- CiNii
- Belgique
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Suède
- Tchéquie
- WorldCat
- Présidents de la Société Kurt Gödel
- Takeuti Symposium
- Portail de la philosophie
- Portail des mathématiques