竹内外史
竹内外史（日语：竹内 外史 Takeuti Gaisi, 1926年1月25日—2017年5月10日）是一位日本数学家，主要研究证明论。[1][2]
| 竹内外史 | |
|---|---|
| 出生 | 1926年1月25日 日本石川县 |
| 逝世 | 2017年5月10日（91歲） |
| 国籍 | 日本 |
| 母校 | 东京大学 |
| 知名于 | 证明论 |
| 科学生涯 | |
| 研究领域 | 数学 |
| 机构 | 伊利諾大學厄巴納-香檳分校 |
| 学术指导者 | 弥永昌吉 |
| 著名學生 | 新井纪子 |
生平
1926年出生于日本石川县，1947年获得东京大学学士学位，师从弥永昌吉。之后留校任教，1962年担任东京教育大学教授。1966年担任伊利諾大學厄巴納-香檳分校教授。曾分别于1959-1960年、1966-1968年、1971-1972年担任普林斯顿高等研究院研究员。[3]
参考来源
- ^ Sam Buss. [Proof Complexity] Gaisi Takeuti. Proof-Complexity mailing list. 2017-05-10 [2019-01-13]. （原始内容存档于2024-09-25）.
- ^ Takeuti 2013
- ^ Takeuti 1953. An erratum to this article was published in the same journal as (Takeuti 1954).