検索結果 53 件
紙図書
国立国会図書館全国の図書館
- 目次・記事はじめに 数学基礎論と不完全性定理 宴のあと 本書の目標と構成 ......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 ...
- 要約等不完全性定理をとりまく数学基礎論の世界 我......可能性から論じ,第一および第二不完全性定理,Rosser の定理,Hil......rov 複雑性などを紹介して,不完全性定理の数学的意義と,その根源にある哲学的問題を説く。
- 内容細目...可能性から論じ、第一および第二不完全性定理、Rosserの定理、算術の超準モデルなどを紹介。不完全性定理の数学的意義と、その根源にある哲学的問題を説く。 文献あり ...
紙図書
国立国会図書館全国の図書館
- 目次・記事...体系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. 様相体系 参考文献 監訳者あと...
- 要約等『ゲーデルの不完全性定理』(高橋昌一郎訳,丸善,1996年)の改訳版。訳文に加筆修正...
- 典拠情報(件名/「を見よ」参照)不完全性定理 Godel's theorem Incompletenes...
紙図書
国立国会図書館全国の図書館
- 目次・記事まえがき 第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節の構...
- 典拠情報(件名/「を見よ」参照)不完全性定理 Godel's theorem Incompletenes...
紙デジタル図書
国立国会図書館全国の図書館
- 目次・記事...月7日(月) 授業6日目 第一不完全性定理 演習:星に願いを 3月8日(火) 授業7日目 第二不完全性定理 演習:逆の発想 3月9日(水) 授業8日目 不完全性定理とさまざまな論理 演習:ゴジラ......木) 授業9日目 ランダム性と不完全性定理 演習:NUMB3RS 3月11日(金) 授業10日目 ゲー...
- 要約等...闘する様子を描くたった2週間で不完全性定理がマスターでき 説明文(長)......する様子を描く。たった2週間で不完全性定理がマスターできる不思議な物語。
- 典拠情報(件名/「を見よ」参照)不完全性定理 論理代数学 Godel's theorem Incompl...
紙デジタル図書
国立国会図書館全国の図書館
- 目次・記事...能性 第4章 初等自然数言語の不完全性定理の証明 第5章 古典的理論と現......章 完全性 第8章 ゲーデルの不完全性定理 第9章 ゲーデルの第2不完全性定理 第10章 新しい論理学 本書で用いられる記号 参考文献 あ...
- 要約等ゲーデルは何を証明しようとしたのか?不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣いで説...
- 典拠情報(件名/「を見よ」参照)不完全性定理 Godel's theorem Incompletenes...
紙デジタル図書
国立国会図書館全国の図書館
- 目次・記事...コラム〕現代のゲーデル数? 不完全性定理の証明の「あらすじ」 自己言......付録1 ベリーのパラドックスと不完全性定理 付録2 「竹内流ゲーデル教室」(ええと、ようするに読書案内...
- 要約等不完全性定理は、智の限界ではない! 数学ファンならずともちゃんと理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。
- 内容細目内容紹介:不完全性定理は、智の限界ではない。「正しく......と理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。 文献あり 索引あり 文献:p231~2...
紙図書
国立国会図書館全国の図書館
- 目次・記事...かの一般的な基本結果/統語論的不完全性定理/分離可能性/ω無矛盾性/一階述語論理にもとづく体系/ゲーデ...
- 内容細目不完全性定理の理解のために
- その他のタイトル不完全性定理の理解のために A BEGINNER'S GUIDE TO ...
紙図書
国立国会図書館全国の図書館
- 要約等機知に富む論理パズルから、最後はゲーデルの不完全性定理の“完全な” 証明に到達。スマリヤンだからなし得た、意欲的パ...
- 典拠情報(件名/「を見よ」参照)不完全性定理 Godel's theorem Incompletenes...
紙記録メディアデジタル図書児童書障害者向け資料あり
国立国会図書館全国の図書館
- 要約等数学って、不完全だったの? 「僕」と3人の少女が「不完全性定理」の真実に迫る、すべての数学者に捧ぐ魅惑の数学物語。「数学ガ...
紙図書
国立国会図書館全国の図書館
- 内容細目不完全性定理と算術の体系 文献:部末 文献あり 索引あり 文献部末
- 典拠情報(件名/「を見よ」参照)不完全性定理 Godel's theorem Incompletenes...
紙デジタル図書
国立国会図書館全国の図書館
- 典拠情報(件名/「を見よ」参照)不完全性定理 Godel's theorem Incompletenes...
紙デジタル図書
国立国会図書館全国の図書館
- 目次・記事●不完全性定理のイメージ 自己言及と自意識 ●完全性定理と不完全性定理 ウィーン時代のゲーデル ●不完全性定理の哲学的帰結 ギブス講演 ●ゲ......の存在論 神の存在論的証明 ●不完全性定理と理性の限界 人間機械論争
- 典拠情報(件名/「を見よ」参照)不完全性定理 Godel's theorem Incompletenes...
紙図書
国立国会図書館全国の図書館
- 典拠情報(件名/「を見よ」参照)不完全性定理 Godel's theorem Incompletenes...
紙図書
国立国会図書館全国の図書館
- 典拠情報(件名/「を見よ」参照)不完全性定理 Godel's theorem Incompletenes...