竹内外史（, ）是一位日本数学家，主要研究证明论。
生平
1926年出生于日本石川县，1947年获得东京大学学士学位，师从弥永昌吉。之后留校任教，1962年担任东京教育大学教授。1966年担任伊利諾大學厄巴納-香檳分校教授。曾分别于1959-1960年、1966-1968年、1971-1972年担任普林斯顿高等研究院研究员。
参考来源
外部链接
*[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)]
*
*
评论 (0)