| 词条 | Gaisi Takeuti |
| 释义 |
| 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[1]}} was a Japanese mathematician, known for his work in proof theory.[2] 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
Notes1. ^{{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|accessdate=2019-01-13}} 2. ^{{harvnb|Takeuti|2013}}. 3. ^{{harvnb|Takeuti|1953}}. An erratum to this article was published in the same journal as {{harv|Takeuti|1954}}. External links{{Portal|Japan|Biography|Mathematics}}
7 : 1926 births|2017 deaths|Japanese logicians|Japanese philosophers|Proof theorists|University of Tokyo alumni|University of Illinois at Urbana–Champaign faculty |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。