竹内外史のソースを表示
←
竹内外史
移動先:
案内
、
検索
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
要求した操作を行うことは許可されていません。
このページのソースの閲覧やコピーができます。
'''竹内 外史'''(たけうち がいし、[[1926年]][[1月25日]] - )は、日本の[[数学者]]、[[論理学者]]。専門は数理論理学。石川県出身。[[東京大学]]理学部数学科卒業。[[東京教育大学]]教授、[[イリノイ大学]]教授を歴任。 プリンストンで[[クルト・ゲーデル|ゲーデル]]に直に教わり、内気なゲーデルが心を明かせる数少ない人だった。論理学者の[[ゲオルク・クライゼル]]は親友である。 長くイリノイ大学で教鞭を執る。その間、実数論の無矛盾性の証明を試みる。 一般向けに書いた、講談社ブルーバックス刊の『集合とはなにか』は名著とされる。 ==著書== * 『現代集合論入門』 * 『集合とはなにか : はじめて学ぶ人のために』 * 『線型論理入門』 * 『数学から物理学へ』 * 『無限小解析と物理学』 * 『リー代数と素粒子論』 * 『ゲーデル』 * 『数学基礎論の世界』 * 『直観主義的集合論』 * 『層・圏・トポス 現代的集合像を求めて』 * 『線型代数と量子力学』 * 『証明論と計算量』 * 『数理論理学 語の問題』 * 『証明論入門』([[八杉満利子]]と共著) * ''Proof Theory'', Studies in Logic and the Foundations of Mathematics, Vol. 81 * ''Two Applications of Logic to Mathematics'' * ''Introduction to Axiomatic Set Theory''、[[シュプリンガー・フェアラーク]] {{DEFAULTSORT:たけうち かいし}} [[Category:日本の数学者]] [[category:論理学者]] [[Category:20世紀の数学者|260125]] [[Category:21世紀の数学者|-260125]] [[Category:東京教育大学の教員]] [[Category:イリノイ大学アーバナ・シャンペーン校の教員]] [[Category:石川県出身の人物]] [[Category:1926年生]] [[Category:存命人物]] [[Category:数学に関する記事]]
竹内外史
に戻る。
案内メニュー
個人用ツール
ログイン
名前空間
ページ
議論
変種
表示
閲覧
ソースを表示
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
sandbox
commonsupload
ヘルプ
ヘルプ
井戸端
notice
bugreportspage
sitesupport
ウィキペディアに関するお問い合わせ
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報