Gaisi Takeuti
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 :
- Présidents de la Société Kurt Gödel
- Takeuti Symposium
Portail de la philosophie 
Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.