訃報新聞 - 有名人・経営者のおくやみ情報

竹内外史 氏(たけうちがいし)

数学者[日本]

2017年 5月10日 死去老衰享年92歳

竹内 外史(たけうち がいし、1926年1月25日 - )は、日本の数学者、論理学者。
専門は数学基礎論(数理論理学、公理的集合論、証明論など)。
石川県出身。
イリノイ大学名誉教授。
解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。
昭和57(1982)年朝日賞(昭和56年度)受賞。
主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。
1966年以来、長くイリノイ大学で教鞭を執っていた。
その間、実数論の無矛盾性の証明を試みる。
1947年東京大学理学部数学科卒業。
東京大学教養学部講師、東京教育大学助教授を経て、1962年東京教育大学教授、1966年イリノイ大学教授を歴任。
その間1959-60年、66-68年、71-72年プリンストン高等研究所所員となる。
また、2003-09年までKurt Gödel SocietyのPresidentをつとめた。
現在、イリノイ大学名誉教授。
プリンストン大学では、ゲーデルから講義を受けた。
内気なゲーデルが心を明かせる数少ない人だった。
また、論理学者のゲオルク・クライゼルとも親友である。
題名
復刊 証明論入門
著者
竹内外史
発売元
共立出版
発売日
2010-06-09
新品価格
¥ 3,780 より
中古商品
¥ 2,780 より
題名
新装版 集合とはなにか―はじめて学ぶ人のために (ブルーバックス)
著者
竹内外史
発売元
講談社
発売日
2001-05-18
新品価格
¥ 972 より
中古商品
¥ 338 より
題名
線形代数と量子力学 (基礎数学選書 24)
著者
竹内外史
発売元
裳華房
発売日
1981-03-30
新品価格
¥ 3,996 より
中古商品
¥ 1,480 より
題名
層・圏・トポス―現代的集合像を求めて
著者
竹内外史
発売元
日本評論社
発売日
1978-01-20
新品価格
¥ 3,996 より
中古商品
¥ 2,995 より
題名
リー代数と素粒子論
著者
竹内外史
発売元
裳華房
発売日
1983-01-01
新品価格
¥ 5,076 より
中古商品
¥ 2,000 より
題名
証明論入門
著者
竹内外史
発売元
共立出版
発売日
1988-02
新品価格
より
中古商品
¥ 816 より
題名
現代思想 2017年6月臨時増刊号 総特集◎ゲーデル 新装版
著者
クルト・ゲーデル
発売元
青土社
発売日
2017-05-12
新品価格
¥ 1,404 より
中古商品
¥ 2,632 より
題名
数学基礎論 (ちくま学芸文庫)
著者
前原昭二
発売元
筑摩書房
発売日
2017-01-10
新品価格
¥ 1,080 より
中古商品
¥ 1,429 より
題名
数学基礎論の世界―ロジックの雑記帳から
著者
竹内外史
発売元
日本評論社
発売日
1972-06-23
新品価格
¥ 4,104 より
中古商品
¥ 1,193 より
題名
証明論と計算量
著者
竹内外史
発売元
裳華房
発売日
1995-11
新品価格
より
中古商品
¥ 2,882 より

↑ PAGE TOP