Gaisi Takeuti
{{Short description|Japanese mathematician (1926–2017)}}
{{Infobox scientist
| honorific_prefix =
| name = Gaisi Takeuti
| honorific_suffix =
| native_name = 竹内 外史
| native_name_lang = ja
| image =
| image_size =
| image_upright =
| alt =
| caption =
| birth_date = {{birth date |1926|01|25}}
| birth_place =
| death_date = {{death date and age |2017|05|10|1926|01|25}}
| death_place =
| death_cause =
| resting_place =
| resting_place_coordinates =
| other_names =
| residence =
| citizenship =
| nationality = Japanese
| fields = Mathematics
| workplaces = University of Illinois at Urbana–Champaign
| patrons =
| education = Tokyo University
| alma_mater = Princeton
| thesis_title =
| thesis_url =
| thesis_year =
| doctoral_advisor =
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for = Work in proof theory
| influences =
| influenced =
| awards =
| author_abbrev_bot =
| author_abbrev_zoo =
| spouse =
| partner =
| children =
| signature =
| signature_alt =
| website =
| footnotes =
}}
{{nihongo|Gaisi Takeuti|竹内 外史|Takeuchi, Gaishi|extra=January 25, 1926 – May 10, 2017{{Cite web|author=Sam Buss|date=2017-05-10|url=https://list.math.cas.cz/pipermail/proof-complexity/2017-May/000206.html|title=[Proof Complexity] Gaisi Takeuti|publisher=Proof-Complexity mailing list|access-date=2019-01-13}}}} was a Japanese mathematician, known for his work in proof theory.{{harvnb|Takeuti|2013}}.
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.{{harvnb|Takeuti|1953}}. An erratum to this article was published in the same journal as {{harv|Takeuti|1954}}. He is also known for his work on ordinal diagrams with Akiko Kino.
Publications
- {{cite journal | last1=Takeuti | first1=Gaisi | title=On a generalized logic calculus | year=1953 | journal=Japanese Journal of Mathematics | issn=0075-3432 | volume=23 | pages=39–96 | doi=10.4099/jjm1924.23.0_39 | doi-access=free }}
- {{cite journal | last1=Takeuti | first1=Gaisi | title=Errata to 'On a Generalized Logic Calculus' | year=1954 | journal=Japanese Journal of Mathematics | issn=0075-3432 | volume=24 | pages=149–156 | doi=10.4099/jjm1924.24.0_149 | doi-access=free }}
- {{citation|mr= 0349390 |last1=Takeuti|first1= Gaisi|last2= Zaring|first2= Wilson M.|title= Introduction to axiomatic set theory|series= Graduate Texts in Mathematics|volume= 1|publisher= Springer-Verlag|place= New York-Berlin|year= 2011|orig-year=1982|edition=2nd|isbn=978-1-4613-8170-9|url=https://books.google.com/books?id=NiMBCAAAQBAJ|doi=10.1007/978-1-4613-8168-6}}
- {{citation|mr=0416914 |last1=Takeuti|first1= Gaisi|last2= Zaring|first2= Wilson M.|title= Axiomatic set theory|series= Graduate Texts in Mathematics|volume= 8|publisher= Springer-Verlag|place= New York-Berlin|year= 1973|isbn=978-0-387-90050-6|doi=10.1007/978-1-4684-8751-0}} [https://books.google.com/books?id=g1ftBwAAQBAJ 2013 Dover reprint]
- {{cite book|last1=Takeuti|first1=Gaisi|title=Proof theory|edition=Second|publisher=Dover Publications|location=Mineola, New York|year=2013|orig-year=1975|url=https://books.google.com/books?id=Idl6K-W69NYC|isbn=978-0-486-49073-1}}
- {{citation|mr=0505474 |last= Takeuti|first= Gaisi|title= Two applications of logic to mathematics|series= Publications of the Mathematical Society of Japan|volume= 13|publisher= Princeton University Press|place= Princeton, N.J.|year=2015|orig-year= 1978|url=https://books.google.com/books?id=b6x9BgAAQBAJ|isbn= 978-0-69-161022-1}}
- {{citation|mr=1984952 |last= Takeuti|first= Gaisi |title=Memoirs of a proof theorist. Gödel and other logicians|orig-year=1998|publisher= World Scientific Publishing Co., Inc. |place=River Edge, NJ|year= 2003|url=https://books.google.com/books?id=SUppDQAAQBAJ|isbn= 978-981-238-279-5}}
Notes
External links
{{Portal|Japan|Biography|Mathematics}}
- [https://kgs.logic.at/organization/our-presidents Presidents of the Kurt Gödel Society]
- [https://web.archive.org/web/20120207041827/http://kurt.scitec.kobe-u.ac.jp/sml03/ Takeuti Symposium (contains relevant birthdate information)]
- {{webarchive |url=https://web.archive.org/web/20060926190817/http://www.math.cas.cz/~lc98/proc.ps |date=September 26, 2006 |title=Logic Colloqium ’98 Proceedings (contains biography) }}
- {{mathgenealogy|42046}}
{{Authority control}}
{{DEFAULTSORT:Takeuti Gaisi}}
Category:20th-century Japanese philosophers
Category:21st-century Japanese philosophers
Category:University of Tokyo alumni
Category:University of Illinois Urbana-Champaign faculty
Category:Scientists from Ishikawa Prefecture
{{japan-scientist-stub}}
{{Asia-mathematician-stub}}