Gaisi Takeuti

Gaisi Takeuti
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata
JaponVoir et modifier les données sur Wikidata
Décès
Voir et modifier les données sur Wikidata (à 91 ans)
Nom dans la langue maternelle
竹内外史Voir et modifier les données sur Wikidata
Nationalité
japonaiseVoir et modifier les données sur Wikidata
Formation
Activités
Mathématicien, philosophe, professeur d'universitéVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Université d'éducation de Tōkyō (d)
Université de l'Illinois à Urbana-ChampaignVoir et modifier les données sur Wikidata
Directeur de thèse
Shokichi IyanagaVoir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

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

  1. ↑ Sam Buss, « [Proof Complexity] Gaisi Takeuti », Proof-Complexity mailing list, (consulté le )
  2. ↑ Takeuti 2013.
  3. ↑ Takeuti 1953. An erratum to this article was published in the same journal as (Takeuti 1954).

Liens externes

  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Mathematics Genealogy Project
  • Notice dans un dictionnaire ou une encyclopédie généralisteVoir et modifier les données sur Wikidata :
    • Deutsche Biographie
  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • 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
  • icône décorative Portail de la philosophie
  • icône décorative Portail des mathématiques