竹内外史の情報（たけうちがいし） 数学者 芸能人・有名人Wiki検索[誕生日、年齢、出身地、星座]
竹内 外史さんについて調べます
|
■名前・氏名 |
|
竹内外史の情報まとめ
竹内 外史(たけうち がいし)さんの誕生日は1926年1月25日です。石川出身の数学者のようです。
卒業に関する情報もありますね。2017年に亡くなられているようです。
竹内外史のプロフィール Wikipedia（ウィキペディア）竹内 外史（たけうち がいし、1926年1月25日 - 2017年5月10日）は、日本の数学者、論理学者。専門は数学基礎論（数理論理学・公理的集合論、証明論など）。イリノイ大学名誉教授。 解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。昭和57年（1982年）朝日賞(昭和56年度)受賞。主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。1966年以来、長くイリノイ大学で教鞭を執っていた。その間、実数論の無矛盾性の証明を試みる。 石川県出身。（旧制）第四高等学校を経て、1947年東京大学理学部数学科卒業。東京大学教養学部講師、東京教育大学助教授を経て、1962年東京教育大学教授。1966年イリノイ大学アーバナ・シャンペーン校教授を経て、イリノイ大学名誉教授。 その間1959-1960年、1966-1968年、1971-1972年プリンストン高等研究所所員となる。また、2003年から2009年までKurt Gödel Society（英語版）のPresidentをつとめた。 プリンストン大学では、クルト・ゲーデルから講義を受けた。内気なゲーデルが心を明かせる数少ない人だった。 また、論理学者のゲオルク・クライゼルとも親友である。 国立情報学研究所教授の新井紀子は、イリノイ大学での指導学生。 2017年5月10日、老衰のため死去。91歳没。
非古典論理
著書
『集合とはなにか : はじめて学ぶ人のために』 『線型論理入門』 『数学から物理学へ』 『無限小解析と物理学』 『リー代数と素粒子論』 『ゲーデル』 『数学的世界観 - 現代数学の思想と展望』 『数学基礎論の世界』 『直観主義的集合論』 『層・圏・トポス 現代的集合像を求めて』 『線型代数と量子力学』 『証明論と計算量』 『数理論理学 語の問題』 『証明論入門』(八杉満利子と共著) Proof Theory, Studies in Logic and the Foundations of Mathematics, Vol. 81 Two Applications of Logic to Mathematics Introduction to Axiomatic Set Theory、シュプリンガー・フェアラーク ^ “竹内外史さん死去”. 朝日新聞デジタル. (2017年5月16日). https://www.asahi.com/articles/DA3S12938992.html 2020年2月14日閲覧。 ^ “朝日賞 1971－2000年度”. 朝日新聞社. 2022年9月5日閲覧。 ^ 作道好男・江藤武人編『北の都に秋たけて 第四高等学校史』（財界評論新社、1972年）p.841 ^ 竹内外史『ゲーデル』日本評論社、1986年（まえがきiiページ） ^ 「新井紀子先生に聞く」 ^ 【おくやみ】竹内外史氏 米イリノイ大名誉教授、数学基礎論 東京新聞 2017年5月12日 ^ 竹内外史『線形代数と量子力学』裳華房刊、1992年7月25日発行（135ページ） ^ 物理学者への期待 石川県出身の人物一覧 クルト・ゲーデル ゲルハルト・ゲンツェン ゲオルク・クライゼル ダフィット・ヒルベルト ポール・コーエン ISNI VIAF WorldCat フランス BnF data ドイツ イスラエル ベルギー アメリカ スウェーデン 日本 チェコ オランダ ポーランド CiNii Books CiNii Research DBLP MathSciNet Mathematics Genealogy Project zbMATH ドイッチェ・ビオグラフィー IdRef 20世紀の数学者 21世紀の数学者 20世紀の論理学者 21世紀の論理学者 日本の数学者 日本の論理学者 日本の数理論理学者 証明論研究者 東京教育大学の教員 東京大学の教員 イリノイ大学アーバナ・シャンペーン校の教員 在アメリカ合衆国日本人の学者 東京大学出身の人物 旧制第四高等学校出身の人物 石川県出身の人物 1926年生 2017年没 数学に関する記事 2025/01/24 16:24更新
|
takeuchi gaishi
竹内外史と同じ誕生日1月25日生まれ、同じ石川出身の人
TOPニュース
竹内外史と近い名前の人
話題のアホネイター
この記事は、クリエイティブ・コモンズ・表示・継承ライセンス3.0のもとで公表されたウィキペディアの項目「竹内外史」を素材として二次利用しています。