竹内外史

竹内外史（, ）是一位日本数学家，主要研究证明论。

生平
1926年出生于日本石川县，1947年获得东京大学学士学位，师从弥永昌吉。之后留校任教，1962年担任东京教育大学教授。1966年担任伊利諾大學厄巴納-香檳分校教授。曾分别于1959-1960年、1966-1968年、1971-1972年担任普林斯顿高等研究院研究员。. An erratum to this article was published in the same journal as .

参考来源 

 外部链接
Presidents of the Kurt Gödel Society 
Takeuti Symposium (contains relevant birthdate information)

Category:日本逻辑学家
Category:20世纪日本数学家
Category:21世纪日本数学家
Category:证明论学家
Category:旧制第四高等学校校友
Category:东京大学校友
Category:伊利諾大學厄巴納-香檳分校教師
Category:普林斯顿高等研究院教职员
Category:石川縣出身人物
Category:在美国的日本学者
Category:东京教育大学教师