竹內外史
竹內外史（日語：竹内 外史 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).