クルト・ゲーデル
[Wikipedia|▼Menu]
□記事を途中から表示しています
[最初から表示]

^ ゲーデルは市民権を得るための面接で、アメリカの憲法が独裁者の出現を防げない欠陥憲法であることを指摘したとも言われるが、政治的にはノンリベラルで躊躇なくアイゼンハワーに投票している。高橋昌一郎『ゲーデルの哲学』(講談社現代新書、1999年、182頁)を参照。

出典^ “Godel’s Incompleteness Theorem”. link.springer.com. Springerlink. 2020年11月30日閲覧。
^ "The Consistency of the Continuum Hypothesis" (1940)
^ 高橋昌一郎『ゲーデルの哲学』(講談社現代新書、1999年、153-155頁)を参照。
^ John Stillwell, Mathematics and its history, p.586, third edition, Springer Verlag. ISBN 978-1-441-96052-8
^ 高橋昌一郎『ゲーデルの哲学』(講談社現代新書、1999年、197頁)を参照。
^ 高橋昌一郎『ゲーデルの哲学』(講談社現代新書、1999年、248頁)を参照。

参考文献

高橋昌一郎『ゲーデルの哲学』(講談社現代新書、1999年)

吉永良正『ゲーデル・不完全性定理―"理性の限界"の発見』 (ブルーバックス B-947)

John Stillwell, Mathematics and its history, third edition, Springer Verlag. ISBN 978-1-441-96052-8

関連文献

廣瀬健・横田一正『ゲーデルの世界――完全性定理と不完全性定理――』 海鳴社、1985年。ISBN 4875251068論文「論理学における述語計算の公理の完全性」、「『プリンキピア・マテマティカ』やその関連体系での形式的に決定不可能な命題についてI」の翻訳あり

『ゲーデル 不完全性定理』 林晋・八杉満利子 訳・解説、岩波書店岩波文庫〉、2006年。ISBN 4003394410論文「プリンキピア・マテマティカおよび関連した体系の形式的に決定不能な命題についてI」の翻訳と解説

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 Godel". 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 Godel (英語) - スタンフォード哲学百科事典「クルト・ゲーデル」の項目。
次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:63 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef