Gaisi Takeuti

Gaisi Takeuti (竹内 外史, Takeuchi, Gaishi, January 25, 1926 – May 10, 2017[1]) was a Japanese mathematician, known for his work in proof theory.[2]

Gaisi Takeuti
竹内 外史
Born(1926-01-25)January 25, 1926
DiedMay 10, 2017(2017-05-10) (aged 91)
NationalityJapanese
EducationTokyo University
Alma materPrinceton
Known forWork in proof theory
Scientific career
FieldsMathematics
InstitutionsUniversity of Illinois at Urbana-Champaign

After graduating from Tokyo University, he went to Princeton to study under Kurt Gödel. He later became a professor at the University of Illinois at Urbana-Champaign. Takeuti was president (2003–2009) of the Kurt Gödel Society, having worked on the book Memoirs of a Proof Theorist: Godel and Other Logicians. His goal was to prove the consistency of the real numbers. To this end, Takeuti's conjecture speculates that a sequent formalisation of second-order logic has cut-elimination.[3] He is also known for his work on ordinal diagrams with Akiko Kino.

Publications
  • Takeuti, Gaisi (1953). "On a generalized logic calculus". Japanese Journal of Mathematics. 23: 39–96. doi:10.4099/jjm1924.23.0_39. ISSN 0075-3432.CS1 maint: ref=harv (link)
  • Takeuti, Gaisi (1954). "Errata to 'On a Generalized Logic Calculus'". Japanese Journal of Mathematics. 24: 149–156. doi:10.4099/jjm1924.24.0_149. ISSN 0075-3432.CS1 maint: ref=harv (link)
  • Takeuti, Gaisi; Zaring, Wilson M. (2011) [1982], Introduction to axiomatic set theory, Graduate Texts in Mathematics, 1 (2nd ed.), New York-Berlin: Springer-Verlag, doi:10.1007/978-1-4613-8168-6, ISBN 978-1-4613-8170-9, MR 0349390
  • Takeuti, Gaisi; Zaring, Wilson M. (1973), Axiomatic set theory, Graduate Texts in Mathematics, 8, New York-Berlin: Springer-Verlag, doi:10.1007/978-1-4684-8751-0, ISBN 978-0-387-90050-6, MR 0416914
  • Takeuti, Gaisi (2013) [1975]. Proof theory (Second ed.). Mineola, New York: Dover Publications. ISBN 978-0-486-49073-1.CS1 maint: ref=harv (link)
  • Takeuti, Gaisi (2015) [1978], Two applications of logic to mathematics, Publications of the Mathematical Society of Japan, 13, Princeton, N.J.: Princeton University Press, ISBN 978-0-69-161022-1, MR 0505474
  • Takeuti, Gaisi (2003) [1998], Memoirs of a proof theorist. Gödel and other logicians, River Edge, NJ: World Scientific Publishing Co., Inc., ISBN 978-981-238-279-5, MR 1984952

Notes
  1. Sam Buss (2017-05-10). "[Proof Complexity] Gaisi Takeuti". Proof-Complexity mailing list. Retrieved 2019-01-13.
  2. Takeuti 2013.
  3. Takeuti 1953. An erratum to this article was published in the same journal as (Takeuti 1954).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.