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

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

数学者[日本]

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をつとめた。
現在、イリノイ大学名誉教授。
プリンストン大学では、ゲーデルから講義を受けた。
内気なゲーデルが心を明かせる数少ない人だった。
また、論理学者のゲオルク・クライゼルとも親友である。
題名
数学基礎論の世界―ロジックの雑記帳から
著者
竹内外史
発売元
日本評論社
発売日
1972-06-23
新品価格
¥ 4,104 より
中古商品
¥ 990 より
題名
数学基礎論 (ちくま学芸文庫)
著者
前原昭二
発売元
筑摩書房
発売日
2017-01-10
新品価格
¥ 1,080 より
中古商品
¥ 888 より
題名
新装版 集合とはなにか―はじめて学ぶ人のために (ブルーバックス)
著者
竹内外史
発売元
講談社
発売日
2001-05-18
新品価格
¥ 972 より
中古商品
¥ 205 より
題名
層・圏・トポス―現代的集合像を求めて
著者
竹内外史
発売元
日本評論社
発売日
1978-01-20
新品価格
¥ 3,996 より
中古商品
¥ 2,500 より
題名
無限小解析と物理学
著者
竹内外史
発売元
遊星社
発売日
2001-05
新品価格
¥ 17,373 より
中古商品
¥ 1,574 より
題名
ゲーデル
著者
竹内外史
発売元
日本評論社
発売日
1986-11
新品価格
より
中古商品
¥ 598 より
題名
数学的世界観―現代数学の思想と展望
著者
竹内外史
発売元
紀伊國屋書店
発売日
2005-07-01
新品価格
¥ 1,944 より
中古商品
¥ 142 より
題名
新装版 集合とはなにか はじめて学ぶ人のために (ブルーバックス)
著者
竹内外史
発売元
講談社
発売日
2001-05-20
新品価格
より
中古商品
より
題名
現代集合論入門 (日評数学選書)
著者
竹内外史
発売元
日本評論社
発売日
1989-12-01
新品価格
¥ 4,860 より
中古商品
¥ 3,499 より
題名
証明論入門
著者
竹内外史
発売元
共立出版
発売日
1988-02
新品価格
より
中古商品
¥ 5,698 より

↑ PAGE TOP