クルト＝ゲーデルの情報（KurtGodel） 数学者 芸能人・有名人Wiki検索[誕生日、年齢、出身地、星座]
クルト＝ゲーデルさんについて調べます
|
■名前・氏名 |
|
|
クルト＝ゲーデルと同じ出身地の人 |
クルト＝ゲーデルの情報まとめ
クルト＝ゲーデル(Kurt Godel)さんの誕生日は1906年4月28日です。
家族に関する情報もありますね。1978年に亡くなられているようです。
クルト＝ゲーデルのプロフィール Wikipedia（ウィキペディア）クルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー帝国出身の数学者・論理学者・哲学者である。業績としては、完全性定理、不完全性定理および連続体仮説に関する研究が知られる。 オーストリア=ハンガリー帝国のモラヴィアに生まれる。1924年、ゲーデルは、ウィーン大学に入学し、まず物理学を、後に数学を学んだ。そして、1930年には、最初の重要な業績である「完全性定理」（第一階述語論理の完全性定理）を発表し、学位を得た。 翌1931年、ゲーデル数の概念を用い、20世紀の数学基礎論、論理学にとって最も重要な発見とされる「不完全性定理」を発表した。 1940年、ヒルベルトの第一問題（連続体仮説）について、「集合論のZF公理系が無矛盾ならば、そこに選択公理と一般連続体仮説を加えても無矛盾である」ということを証明した。以上がゲーデルの三大業績と呼ばれている。この後、ゲーデルは、連続体仮説に関する研究から身を引いた。1963年、ポール・コーエンは、「ZF公理系に選択公理と一般連続体仮説の否定を加えても無矛盾である」ということを証明し、ゲーデルの結果と合わせて、「選択公理と一般連続体仮説はZFとは独立である（したがって、証明も否定の証明もできない）」ということを示した。このとき、ゲーデルは「これは自分がなすべき仕事だった」と悔やんだと言われ、コーエンの仕事を絶賛した。その一方で、ゲーデルは「すべての数学的命題に対して、人間は真偽を判定することが可能である」と信じていたと言われる。特に、連続体仮説に関しては、その否定を信じていた。 ゲーデルは、ウィーン大学の講師を勤めたが、オーストリアを併合したナチス・ドイツから逃れるために、1940年頃には妻アデーレと共にアメリカ合衆国に移住した。ゲーデルは、米国の市民権を取得し、プリンストン高等研究所の教授となった。この研究所では、アインシュタインと家族ぐるみで親密に交流し、物理学や哲学などについて議論を交わした。その結果アインシュタインの一般相対性理論におけるゲーデル解（1949年）を生んだ。この解は、非常に奇妙な性質を示したために、アインシュタインをして自身の理論に疑問を抱かせるに至った。 1948年、ゲーデルは、アメリカ市民権を取得する。このとき、保証人に名を連ねたのがアインシュタインである。当時、アメリカ市民権を取得するには、米国憲法に関する面接試験が課せられていた。そのため、ゲーデルは、合衆国憲法を一から勉強しはじめた。面接当日、ゲーデルは「合衆国憲法が独裁国家に合法的に移行する可能性を秘めていることを発見した」とアインシュタインたちに語り、彼らを当惑させた。そして、移民審査をする判事から「あなたは、独裁国家（ナチス・ドイツに併合されたオーストリア）から来られたのですね。我がアメリカ合衆国ではそのようなことは起きませんから、安心してください」と言われた際、ゲーデルは、即座に「それどころか私は、いかにしてそのようなことが起こりうるのかを証明できるのです」と答えた。そのため、その場に付き添っていたアインシュタインたちが慌てて場を取り繕うという一幕があった。 1970年代初頭には、ポール・エルデシュからの「お前は皆の研究対象になるために数学者になったのであって、お前のライプニッツ研究のためじゃないんだ！」との懇願にもかかわらず、ライプニッツによる「神の存在証明」を洗練させたゲーデルの神の存在証明（英語版）として知られる論文を知人に配布した。しかし、その目的が、神学論争への加担ではなく、あくまで論理学的な興味の追求にあったため、ゲーデルは、誤解を恐れて生前は公表しなかった。その中で、ゲーデルは、ライプニッツの主張について、公理系を解明しつつ様相論理の手法を用いて明確な定式化を試みた。この論文は、ゲーデルが没してから9年後の1987年にデイナ・スコットの手によって初めて出版された。 晩年は、非常に内向的となった。また、精神にも失調をきたしており、毒殺されることを恐れるあまり、妻アデーレが作った食事以外は、自分が調理した食事すら口にしなかった。その他にも、毒ガスによる暗殺を恐れたために、冬でも家の窓を開け放っていた。また、人前に出ることはほとんどなく、自宅に籠って哲学と論理学の研究を続けていた。最終的には、アデーレが病院に入院して自宅を離れていた期間に、絶食による飢餓状態となった。すぐに病院に搬送されたが、プリンストン病院で死去した。このとき、ゲーデルの体重は、65ポンド（約29.5kg）しかなかった。 彼の遺稿は、大学時代までに修得した英語、ドイツ語、およびガベルスベルガー式速記（ドイツ語版）と呼ばれるドイツの古い速記法で書かれている。その速記法はドイツ統一速記法（ドイツ語版）に取って代わられたために淘汰され、解読が困難であることで知られている。幸い、彼が潔癖で几帳面であったため、遺稿のほぼすべてが残されている。 Gödel, Kurt (1986-1-23). Collected Works: Publications 1929-1936. I. Solomon Feferman et al.ed. (Hardcover ed.). Oxford University Press. ISBN 0-19-503964-5. http://ukcatalogue.oup.com/product/9780195039641.do
Gödel, Kurt (1989-11-30). Collected Works: Publications 1938-1974. II. Solomon Feferman et al.ed. (Hardcover ed.). Oxford University Press. ISBN 0-19-503972-6. http://ukcatalogue.oup.com/product/9780195039726.do
Gödel, Kurt (1995-3-30). Collected Works: Unpublished Essays & Lectures. III. Solomon Feferman et al.ed. (Hardcover ed.). Oxford University Press. ISBN 0-19-507255-3. http://ukcatalogue.oup.com/product/9780195072556.do
Gödel, Kurt (2003-6-5). Collected Works: Correspondence, A-G. IV. Solomon Feferman et al.ed. (Hardcover ed.). Oxford University Press. ISBN 0-19-850073-4. http://ukcatalogue.oup.com/product/9780198500735.do Gödel, Kurt (2003-5-27). Collected Works: Correspondence, H-Z. V. Solomon Feferman et al.ed. (Hardcover ed.). Oxford University Press. ISBN 0-19-850075-0. http://ukcatalogue.oup.com/product/9780198500759.do 1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik 38: 173–98. The Consistency of the Continuum Hypothesis. Annals of Mathematics Sutdies. 3. (1940-9-1). Princeton University Press. ISBN 0-691-07927-7 『数学基礎論 撰出公理及び一般連続仮説の集合論公理との無矛盾性』近藤洋逸訳、伊藤書店、1946年4月。 ゲーデル・不完全性定理―"理性の限界"の発見 (ブルーバックス B-947)では、マリアンヌは17歳でクルトを生んだとあるが、これはGeorg Kreiselの1982年の文献自体のエラーの引き写しによる誤情報である。 ^ “Gödel’s Incompleteness Theorem”. link.springer.com. Springerlink. 2020年11月30日閲覧。 ^ "The Consistency of the Continuum Hypothesis" (1940) ^ John Stillwell, Mathematics and its history, p.586, third edition, Springer Verlag. ISBN 978-1-441-96052-8 高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年） 吉永良正『ゲーデル・不完全性定理―"理性の限界"の発見』 (ブルーバックス B-947) John Stillwell, Mathematics and its history, third edition, Springer Verlag. ISBN 978-1-441-96052-8 廣瀬健・横田一正『ゲーデルの世界――完全性定理と不完全性定理――』 海鳴社、1985年。ISBN 4875251068 『ゲーデル 不完全性定理』 林晋・八杉満利子 訳・解説、岩波書店〈岩波文庫〉、2006年。ISBN 4003394410 E.ナーゲル、J・R.ニューマン 『ゲーデルは何を証明したか――数学から超数学へ』 林一訳、白揚社、1999年。ISBN 4826900872 ダグラス・ホフスタッター 『ゲーデル、エッシャー、バッハ――あるいは不思議の環 20周年記念版』 野崎昭弘・柳瀬尚紀・はやしはじめ 訳、白揚社、2005年。ISBN 4826901259 ジョン・W・ドーソン Jr. 『ロジカル・ディレンマ ゲーデルの生涯と不完全性定理』 村上祐子・塩谷賢訳、新曜社、2006年。ISBN 4788510286 レイモンド・スマリヤン 『ゲーデルの不完全性定理』 高橋昌一郎訳、丸善出版、1996年。ISBN 978-4621042045。改訳版2019年 ピエール・カスー=ノゲス『ゲーデルの悪霊たち 論理学と狂気』 新谷昌宏訳、みすず書房、2020年 ISBN 978-4622089162 ハオ・ワン 『ゲーデル再考 人と哲学』土屋俊・戸田山和久 訳、産業図書、1995年。ISBN 9784782800966 ゲーデル数 ゲーデル賞 竹内外史 O'Connor, John J; Edmund F. Robertson "Kurt Gödel". MacTutor History of Mathematics archive. The Consistency of the Axiom of Choice and of the Generalised Continuum-Hypothesis with Set Theory（Google ブックス） クルト・ゲーデル - Find a Grave（英語） Kurt Gödel （英語） - スタンフォード哲学百科事典「クルト・ゲーデル」の項目。 表 話 編 歴 集合 元 包含関係 内包と外延 クラス ベン図 和集合
共通部分
直積集合 分割 補集合 差集合 対称差 冪集合 ド・モルガンの法則 集合の代数学 反射関係 推移関係
対称関係 非対称関係 反対称関係 完全関係 同値関係
well-defined 整礎関係 逆関係 関係の合成 定義域 終域 値域 単射 全射 全単射 逆写像 像と逆像 恒等写像 制限 包含写像 合成 射影 商写像 指示関数 配置集合 族
順序対 順序組 列 集合族 グラフ 部分写像 対応 前順序
半順序 全順序
稠密 有界 単調写像
辞書式順序 順序型 推移的集合 順序数
後続 極限 自然数 ハッセ図 超限帰納法 ツォルンの補題
整礎的集合 フォン・ノイマン宇宙 有限集合
単集合 遺伝的 可算集合 非可算集合
始順序数 共終数 基数
到達不能 巨大
ベルンシュタインの定理 カントールの対角線論法 カントールの定理 連続体仮説 素朴集合論
公理的集合論 ツェルメロ＝フレンケル集合論 フォン・ノイマン＝ベルナイス＝ゲーデル集合論 モース-ケリー集合論 新基礎集合論 外延性の公理 空集合の公理 分出公理 対の公理 和集合の公理 冪集合公理 置換公理 無限公理 正則性公理 選択公理
従属 ゲオルク・カントール リヒャルト・デーデキント バートランド・ラッセル エルンスト・ツェルメロ アドルフ・フレンケル ジョン・フォン・ノイマン クルト・ゲーデル ポール・コーエン 表 話 編 歴 議論学 価値論 批判的思考 再帰理論 形式意味論 論理史 非形式論理学 計算機科学における論理学（英語版） 数理論理学 数学 メタ論理学 メタ数学 モデル理論 哲学的論理学 哲学 論理学の哲学 数学の哲学 証明論 集合論 論理学の歴史 アブダクション 分析的と総合的の区別（英語版） 二律背反 アプリオリ 演繹 定義(内包と外延) 記述 帰納 推論 論理的帰結 論理形式（英語版） 論理的含意（英語版） 論理的真理 名前 必要十分条件 意味 パラドックス 可能世界論 前提 確率 理性 推理 参考 意味論 命題 サブスティトゥーション（英語版） 統語論（英語版） 真理 真理値 妥当性 数学記号の表 分析 曖昧 信念 信用性（英語版） 根拠 説明 説明力（英語版） 事実 誤謬 探究 意見 節約 根拠 プロパガンダ 思慮分別（英語版） 推理 関連 修辞学 厳格 漠然（英語版） 構成主義 真矛盾主義 虚構主義 有限主義（英語版） 形式主義 直観主義 論理的原子論（英語版） 論理主義 唯名論 プラトニック実在論（英語版） プラグマティズム 実在論 カントールの定理 決定問題 チャーチのテーゼ 無矛盾性 実効的方法（英語版） 数学基礎論 ゲーデルの完全性定理 ゲーデルの不完全性定理 健全性 完全性 決定可能性 解釈 レーヴェンハイム-スコーレムの定理 メタ定理（英語版） 充足可能性 独立性（英語版） 独立 タイプとトークンの区別 使用と言及の区別 形式言語 構成規則 形式体系 演繹システム（英語版） 形式的証明 形式意味論 論理式 集合 元 クラス 古典論理 公理 自然演繹 推論規則 有限関係（英語版） 定理 論理的帰結 公理系 型理論 記号 統語論（英語版） 理論（英語版） 命題 推論 論証 妥当性 三段論法 反対の正方形 ベン図 ブール関数 命題論理 論理演算 真理値表 原子論理式 リテラル 量化
存在記号 一階述語論理 二階述語論理 高階述語論理 単項述語計算（英語版） 連言標準形 選言標準形 否定標準形 冠頭標準形 スコーレム標準形 節標準形 集合 空集合 数え上げ 外延 有限集合 関数 部分集合 冪集合 可算集合 帰納的集合 定義域 値域 順序対 非可算集合 モデル（英語版） 解釈（英語版） 超準モデル 有限モデル理論 真理値 妥当性 形式的証明 演繹システム（英語版） 形式体系 定理 論理的帰結 推論規則 統語論（英語版） 再帰 帰納的集合 帰納的可算集合 決定問題 チャーチ＝チューリングのテーゼ 計算可能関数 原始再帰関数 真理値表 クワイン・マクラスキー法 カルノー図 存在グラフ 概念地図 オイラー図 ベン図 スパイダー図 タブローの方法 Xバー理論 構文木 構文解析 真理様相（英語版） 価値様相（英語版） 義務論理 信念様相（英語版） 認識論理 時相論理 線形時相論理 直観論理 構成的解析（英語版） ハイディング算術（英語版） 直観主義型理論 構成的集合論（英語版） 真理の程度（英語版） ファジィルール（英語版） ファジィ集合 ファジィ有限要素（英語版） ファジィ集合演算（英語版） 構造規則（英語版） 適切さの論理 線形論理 真矛盾主義 存在論 オントロジー言語（英語版） アンダーソン アリストテレス イブン・ルシュド イブン・スィーナー ベイン（英語版） バーワイズ（英語版） ベルナイス ブール ブーロス（英語版） カントール カルナップ チャーチ クリュシッポス カリー ド・モルガン フレーゲ ギーチ ゲンツェン ゲーデル ヒルベルト クリーネ クリプキ ライプニッツ レーヴェンハイム（英語版） ペアノ パース パトナム クワイン ラッセル シュレーダー（英語版） スコトゥス スコーレム スマリヤン タルスキ チューリング ホワイトヘッド オッカムのウィリアム ウィトゲンシュタイン ツェルメロ FAST ISNI VIAF WorldCat ノルウェー チリ スペイン フランス BnF data カタルーニャ ドイツ イタリア イスラエル アメリカ スウェーデン ラトビア 日本 チェコ オーストラリア ギリシャ 韓国 クロアチア オランダ ポーランド ポルトガル CiNii Books CiNii Research DBLP MathSciNet Mathematics Genealogy Project Scopus zbMATH ドイッチェ・ビオグラフィー Trove（オーストラリア）
SNAC IdRef クルト・ゲーデル 20世紀の数学者 20世紀アメリカ合衆国の哲学者 20世紀オーストリアの哲学者 20世紀の論理学者 アメリカ合衆国の論理学者 オーストリアの論理学者 アメリカ合衆国の数学者 オーストリアの数学者 アメリカ合衆国の集合論研究者 存在論の哲学者 プロテスタントの哲学者 ウィーン学団 アメリカ国家科学賞受賞者 アルベルト・アインシュタイン賞の受賞者 王立協会外国人会員 アメリカ芸術科学アカデミー会員 イギリス学士院客員フェロー ウィーン大学の教員 プリンストン高等研究所の人物 アメリカ合衆国帰化市民 モラヴィア・ドイツ系オーストリア人 ブルノ出身の人物 餓死した人物 1906年生 1978年没 ISBNマジックリンクを使用しているページ FAST識別子が指定されている記事 ISNI識別子が指定されている記事 VIAF識別子が指定されている記事 WorldCat Entities識別子が指定されている記事 BIBSYS識別子が指定されている記事 BNC識別子が指定されている記事 BNE識別子が指定されている記事 BNF識別子が指定されている記事 BNFdata識別子が指定されている記事 CANTICN識別子が指定されている記事 GND識別子が指定されている記事 ICCU識別子が指定されている記事 J9U識別子が指定されている記事 LCCN識別子が指定されている記事 Libris識別子が指定されている記事 LNB識別子が指定されている記事 NDL識別子が指定されている記事 NKC識別子が指定されている記事 NLA識別子が指定されている記事 NLG識別子が指定されている記事 NLK識別子が指定されている記事 NSK識別子が指定されている記事 NTA識別子が指定されている記事 PLWABN識別子が指定されている記事 PortugalA識別子が指定されている記事 CINII識別子が指定されている記事 CRID識別子が指定されている記事 DBLP識別子が指定されている記事 MATHSN識別子が指定されている記事 MGP識別子が指定されている記事 Scopus識別子が指定されている記事 ZBMATH識別子が指定されている記事 DTBIO識別子が指定されている記事 Trove識別子が指定されている記事 SNAC-ID識別子が指定されている記事 SUDOC識別子が指定されている記事
2025/04/05 05:23更新
|
Kurt Godel
クルト＝ゲーデルと同じ誕生日4月28日生まれの人
TOPニュース
クルト＝ゲーデルと近い名前の人
話題のアホネイター
この記事は、クリエイティブ・コモンズ・表示・継承ライセンス3.0のもとで公表されたウィキペディアの項目「クルト＝ゲーデル」を素材として二次利用しています。