竹内外史
GAISHI TAKEUCHI
suureki-ID:017708204
1926年 (大正15年) 1月25日 (月) 生まれ、
石川県出身、男性、血液型は不明。
2017年 (平成29年) 5月10日 (水)、91歳没。
とら年 (丙寅) 生まれ、みずがめ座 (12星座)、三碧木星 (年九星)。
竹内外史(たけうちがいし、1926年1月25日-2017年5月10日)は、日本の数学者、論理学者。専門は数学基礎論(数理論理学、公理的集合論、証明論など)。イリノイ大学名誉教授。解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。昭和57年(1982年)朝日賞(昭和56年度)受賞。主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。1966年以来、長くイリノイ大学で教鞭を執っていた。その間、実数論の無矛盾性の証明を試みる。