, né le et mort le est un mathématicien japonais, connu pour ses travaux sur la théorie de la preuve..
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. An erratum to this article was published in the same journal as .. Il est également connu pour son travail sur les diagrammes ordinaux avec Akiko Kino.
Ouvrages
Notes
Liens externes
Présidents de la Société Kurt Gödel Takeuti Symposium
Catégorie:Professeur à l'université de l'Illinois Urbana-Champaign Catégorie:Étudiant de l'université de Tokyo Catégorie:Personnalité en théorie de la démonstration Catégorie:Philosophe japonais Catégorie:Naissance en janvier 1926 Catégorie:Décès en mai 2017 Catégorie:Décès à 91 ans