竹内外史の噂・評判

竹内外史の評判と印象

竹内外史の基本情報

竹内 外史(たけうち がいし、1926年1月25日 - )は、日本の数学者、論理学者。専門は数学基礎論(数理論理学、公理的集合論、証明論など)。石川県出身。イリノイ大学名誉教授。解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。昭和57(1982)年朝日賞(昭和56年度)受賞。
主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。
1966年以来、長くイリノイ大学で教鞭を執っていた。その間、実数論の無矛盾性の証明を試みる。

1926年生20世紀の数学者21世紀の数学者イリノイ大学アーバナ・シャンペーン校の教員日本の数学者東京大学の教員東京大学出身の人物東京教育大学の教員石川県出身の人物論理学者インテリ御意見番