竹内外史 氏(たけうちがいし)
数学者[日本]
2017年 5月10日 死去老衰享年92歳
竹内 外史（たけうち がいし、1926年1月25日 - 2017年5月10日）は、日本の数学者、論理学者。
専門は数学基礎論（数理論理学・公理的集合論、証明論など）。
イリノイ大学名誉教授。
解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。
昭和57年（1982年）朝日賞(昭和56年度)受賞。
主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。
1966年以来、長くイリノイ大学で教鞭を執っていた。
その間、実数論の無矛盾性の証明を試みる。
関連作品
-
タイトル 直観主義的集合論
種別 Kindle版著者 - 竹内外史
出版社 紀伊國屋書店ページ数 発売日 新品価格 ￥4,070中古商品 -
タイトル 数学基礎論の世界―ロジックの雑記帳から
種別 単行本著者 - 竹内外史
出版社 日本評論社ページ数 発売日 新品価格 ￥4,180中古商品 ￥1,267より
竹内外史さんが亡くなってから、6年と344日が経ちました。(2536日)