Search results 55
Paper図書
National Diet LibraryOther Libraries in Japan
- Toc / Articleはじめに 数学基礎論と不完全性定理 宴のあと 本書の目標と構成 ......1.3 「不安の時代」の終焉と不完全性定理 1.4 再思三考：数学と哲学......6 関数の表現可能性 第7章 不完全性定理 7.1 不完全性定理への序 7.2 可証性述語と対角化定理 7.3 第一不完全性定理 7.4 可導性条件 7.5 第二不完全性定理 7.6 Rosser の定理 7.7 不完全性定理の数学的意義 第8章 幾つかの......ogorov 複雑性 8.7 不完全性定理の有限的性質 第9章 跋：形式主義のふたつのドグマ 9.1 ...
- Summary, etc.不完全性定理をとりまく数学基礎論の世界 我......可能性から論じ，第一および第二不完全性定理，Rosser の定理，Hil......rov 複雑性などを紹介して，不完全性定理の数学的意義と，その根源にある哲学的問題を説く。
- Contents...可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、算術の超準モデルなどを紹介。不完全性定理の数学的意義と、その根源にある哲学的問題を説く。 文献あり ...
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Toc / Article... コラム 現代のゲーデル数？ 不完全性定理の証明の「あらすじ」 自己言及......証明可能性へ 証明可能性論理と不完全性定理 物理学は影響を受けるのか コ......不確定性の関係？ 視点の問題 不完全性定理と脳と宇宙 エピローグ 「とあ......家のゲーデル遍歴」 特別対談 不完全性定理――哲学と数学の交差点から 加......録１ ベリーのパラドックスと不完全性定理 ブーロスの新しい証明の概略 付録２ 「竹内流ゲーデル教程」...
- Summary, etc.証明が不可能であることは証明できるのか。ゲーデルの不完全性定理」と「チューリング機械の停止問題」、この難題をどう解決したの...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompletenes...
Paper図書
National Diet LibraryOther Libraries in Japan
- Toc / Article...体系P.E.におけるゲーデルの不完全性定理 第IV章 べき乗に基づかない......I. 公理体系P.A.における不完全性定理 §1. 基礎概念 §2. Σ......明 §6. ペアノ算術における不完全性定理 II. Σ_1関係 第V章 ......に基づくゲーデルの証明 I. 不完全性定理の抽象形式 §1. 不完全性定理の基礎 §2. ω無矛盾性の補......全性 §6. 体系P.A.のω不完全性定理 第VI章 ロッサー体系 §1. ロッサーの不完全性定理の抽象形式 §2. 一般分離定......定理 II. 一般状況における不完全性定理 III. G型体系 IV. 様相体系 参考文献 監訳者あと...
- Summary, etc.『ゲーデルの不完全性定理』（高橋昌一郎訳，丸善，1996年）の改訳版。訳文に加筆修正...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompletenes...
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc.初歩の初歩から不完全性定理まで
Paper図書
National Diet LibraryOther Libraries in Japan
- Toc / Articleまえがき 第I部 翻訳 訳注 第II部 解説 1 不完全性定理とは何か？ 1.1 ゲーデルの......，その不安定性 1.2 数学的不完全性定理と数学論的不完全性定理 1.3 ヒルベルトのテーゼと......スベルク 5.17 終焉 6 不完全性定理のその後 6.1 ゲーデルの見......ブラウワーも正しかった？ 7 不完全性定理論文の仕組み 7.1 ラッセル・パラドックスと不完全性定理 7.2 第0不完全性定理 7.3 集合の代用としての数......議論とラッセル系 7.5 第0不完全性定理から第1不完全性定理へ 8 論文の構造 8.1 第1節の構造 8.2 第2節の構...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompletenes...
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Toc / Article...月7日(月) 授業6日目 第一不完全性定理 演習：星に願いを 3月8日(火) 授業7日目 第二不完全性定理 演習：逆の発想 3月9日(水) 授業8日目 不完全性定理とさまざまな論理 演習：ゴジラ......木) 授業9日目 ランダム性と不完全性定理 演習：NUMB3RS 3月11日(金) 授業10日目 ゲー...
- Summary, etc....闘する様子を描くたった２週間で不完全性定理がマスターでき 説明文（長）......する様子を描く。たった２週間で不完全性定理がマスターできる不思議な物語。
- Authority（Subject Heading/altLabel）不完全性定理 論理代数学 Godel's theorem Incompl...
Paper図書
National Diet LibraryOther Libraries in Japan
- Contents不完全性定理の先へ
- Additional Title不完全性定理の先へ A BEGINNER'S FURTHER GUIDE...
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Toc / Article...コラム〕現代のゲーデル数？ 不完全性定理の証明の「あらすじ」 自己言......付録１ ベリーのパラドックスと不完全性定理 付録２ 「竹内流ゲーデル教室」（ええと、ようするに読書案内...
- Summary, etc.不完全性定理は、智の限界ではない！ 数学ファンならずともちゃんと理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。
- Contents内容紹介：不完全性定理は、智の限界ではない。「正しく......と理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。 文献あり 索引あり 文献：ｐ２３１～２...
Paper図書
National Diet LibraryOther Libraries in Japan
- Toc / Article...かの一般的な基本結果／統語論的不完全性定理／分離可能性／ω無矛盾性／一階述語論理にもとづく体系／ゲーデ...
- Contents不完全性定理の理解のために
- Additional Title不完全性定理の理解のために A BEGINNER'S GUIDE TO ...
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Toc / Article...能性 第4章 初等自然数言語の不完全性定理の証明 第5章 古典的理論と現......章 完全性 第8章 ゲーデルの不完全性定理 第9章 ゲーデルの第2不完全性定理 第10章 新しい論理学 本書で用いられる記号 参考文献 あ...
- Summary, etc.ゲーデルは何を証明しようとしたのか？不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣いで説...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompletenes...
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc.機知に富む論理パズルから、最後はゲーデルの不完全性定理の“完全な” 証明に到達。スマリヤンだからなし得た、意欲的パ...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompletenes...
PaperRecording MediaDigital図書児童書障害者向け資料あり
National Diet LibraryOther Libraries in Japan
- Summary, etc.数学って、不完全だったの？ 「僕」と３人の少女が「不完全性定理」の真実に迫る、すべての数学者に捧ぐ魅惑の数学物語。「数学ガ...
Paper図書
National Diet LibraryOther Libraries in Japan
- Contents不完全性定理と算術の体系 文献：部末 文献あり 索引あり 文献部末
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompletenes...
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompletenes...
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Toc / Article●不完全性定理のイメージ 自己言及と自意識 ●完全性定理と不完全性定理 ウィーン時代のゲーデル ●不完全性定理の哲学的帰結 ギブス講演 ●ゲ......の存在論 神の存在論的証明 ●不完全性定理と理性の限界 人間機械論争
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompletenes...
Paper図書
National Diet LibraryOther Libraries in Japan
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompletenes...