热门问题
时间线
聊天
视角
竹內外史
来自维基百科，自由的百科全书
Remove ads
竹內外史（日語：竹内 外史 Takeuti Gaisi, 1926年1月25日—2017年5月10日）是一位日本數學家，主要研究證明論。[1][2]
生平
1926年出生於日本石川縣，1947年獲得東京大學學士學位，師從彌永昌吉。之後留校任教，1962年擔任東京教育大學教授。1966年擔任伊利諾大學厄巴納-香檳分校教授。曾分別於1959-1960年、1966-1968年、1971-1972年擔任普林斯頓高等研究院研究員。[3]
參考來源
外部連結
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads