誕生日データベース

竹内外史たけうちがいし

数学者[日本]

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をつとめた。
現在、イリノイ大学名誉教授。
プリンストン大学では、ゲーデルから講義を受けた。
内気なゲーデルが心を明かせる数少ない人だった。
また、論理学者のゲオルク・クライゼルとも親友である。

■ 関連書籍

タイトル
新装版 集合とはなにか―はじめて学ぶ人のために (ブルーバックス)
著者
竹内外史
発売元
講談社
発売日
2001-05-18
新品価格
¥ 972 より
中古商品
¥ 183 より
タイトル
数学基礎論の世界―ロジックの雑記帳から
著者
竹内外史
発売元
日本評論社
発売日
1972-06-23
新品価格
¥ 4,104 より
中古商品
¥ 998 より
タイトル
数学基礎論 (ちくま学芸文庫)
著者
前原昭二
発売元
筑摩書房
発売日
2017-01-10
新品価格
¥ 1,080 より
中古商品
¥ 700 より
タイトル
現代集合論入門 (日評数学選書)
著者
竹内外史
発売元
日本評論社
発売日
1989-12-01
新品価格
¥ 4,860 より
中古商品
¥ 3,249 より
タイトル
数学的世界観―現代数学の思想と展望
著者
竹内外史
発売元
紀伊國屋書店
発売日
2005-07-01
新品価格
¥ 1,944 より
中古商品
¥ 609 より
タイトル
リー代数と素粒子論
著者
竹内外史
発売元
裳華房
発売日
1983-01-01
新品価格
¥ 5,076 より
中古商品
¥ 1,800 より
タイトル
新装版 集合とはなにか はじめて学ぶ人のために (ブルーバックス)
著者
竹内外史
発売元
講談社
発売日
2001-05-20
新品価格
より
中古商品
より
タイトル
線形代数と量子力学 (基礎数学選書 24)
著者
竹内外史
発売元
裳華房
発売日
1981-03-30
新品価格
¥ 3,996 より
中古商品
¥ 1,806 より
タイトル
層・圏・トポス―現代的集合像を求めて
著者
竹内外史
発売元
日本評論社
発売日
1978-01-20
新品価格
¥ 3,996 より
中古商品
¥ 3,000 より
タイトル
証明論と計算量
著者
竹内外史
発売元
裳華房
発売日
1995-11
新品価格
より
中古商品
¥ 3,354 より

「竹内外史」と関連する人物

プリンス
連想語句
基礎数学東京大学証明集合イリノイ大学研究公理古典実数数理昭和朝日理学部矛盾著書解析論理論理学関連なにトポス入門出身卒業受賞名誉教授学部教鞭教養数学科現代石川県著作計算講師

↑ PAGE TOP