Search results 54
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Toc / Article... コラム 現代のゲーデル数？ 不完全性定理の証明の「あらすじ」 自己......なたへ コラム 完全性と２つの不完全性 スマリヤンのパズルでゲーデル......の証明のあらすじ 停止問題から不完全性へ チューリングの死 第4章 ......イティンの「哲学」 いろいろな不完全性 様相論理から証明可能性へ 証明可能性論理と不完全性定理 物理学は影響を受けるのか コラム あくまで私見ですが 不完全性と不確定性の関係？ 視点の問題 不完全性定理と脳と宇宙 エピローグ 「......家のゲーデル遍歴」 特別対談 不完全性定理――哲学と数学の交差点から......録１ ベリーのパラドックスと不完全性定理 ブーロスの新しい証明の概略 付録２ 「竹内流ゲーデル教...
- Summary, etc.証明が不可能であることは証明できるのか。ゲーデルの不完全性定理」と「チューリング機械の停止問題」、この難題をどう解決し...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleten...
Paper図書
National Diet LibraryOther Libraries in Japan
- Toc / Article...き乗に基づくペアノ算術における不完全性 I. 公理体系P.E. §1......体系P.E.におけるゲーデルの不完全性定理 第IV章 べき乗に基づか......I. 公理体系P.A.における不完全性定理 §1. 基礎概念 §2.......明 §6. ペアノ算術における不完全性定理 II. Σ_1関係 第V......に基づくゲーデルの証明 I. 不完全性定理の抽象形式 §1. 不完全性定理の基礎 §2. ω無矛盾性...... §5. 体系P.A.における不完全性 §6. 体系P.A.のω不完全性定理 第VI章 ロッサー体系 §1. ロッサーの不完全性定理の抽象形式 §2. 一般分......定理 II. 一般状況における不完全性定理 III. G型体系 IV. 様相体系 参考文献 監訳者...
- Summary, etc.『ゲーデルの不完全性定理』（高橋昌一郎訳，丸善，1996年）の改訳版。訳文に加筆...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleten...
Paper図書
National Diet Library
- Subject Heading交通情報提供 交通行動分析 経路選択 均衡配分 情報の不完全性
Paper図書
National Diet Library
- Subject Heading労働の異質性 / 労働市場の不完全性 / 農家家計モデル / 非入れ子型検定
Paper図書
National Diet Library
- Subject Headingヒルベルト ブラウワ- 直観主義 構成主義 数学の哲学 不完全性定理
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc.機知に富む論理パズルから、最後はゲーデルの不完全性定理の“完全な” 証明に到達。スマリヤンだからなし得た、意欲...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleten...
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....
- Summary, etc.不完全性定理をとりまく数学基礎論の世界......可能性から論じ，第一および第二不完全性定理，Rosser の定理，H......rov 複雑性などを紹介して，不完全性定理の数学的意義と，その根源にある哲学的問題を説く。
- Contents...可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、算術の超準モデルなどを紹介。不完全性定理の数学的意義と、その根源にある哲学的問題を説く。 文献あ...
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Toc / Article...能性 第4章 初等自然数言語の不完全性定理の証明 第5章 古典的理論......章 完全性 第8章 ゲーデルの不完全性定理 第9章 ゲーデルの第2不完全性定理 第10章 新しい論理学 本書で用いられる記号 参考文献...
- Summary, etc.ゲーデルは何を証明しようとしたのか？不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣い...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleten...
Paper図書
National Diet Library
- Subject Heading国際的要素移動 / 国内労働移動 / 失業 / 労働移動の不完全性 / 熟練・非熟練労働 / ハリス・トダロモデル / 最低賃...
Paper図書
National Diet LibraryOther Libraries in Japan
- Contents文献あり 索引あり 内容紹介：「不完全性定理」を完全に理解したい読者のために、原論文の日本語訳ととも...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleten...
Paper図書
National Diet LibraryOther Libraries in Japan
- Contents文献あり 索引あり 内容紹介：ゲーデルの不完全性定理について、本来の定理としての醍醐味を語るユニークな解説書...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleten...
Paper図書
National Diet Library
- Subject HeadingC-CAPM 資本市場の不完全性 習慣形成 住宅金融 財政投融資 公共投資の効果
Paper図書
National Diet Library
- Subject HeadingFusarium oxysporum 交配型遺伝子 交配不完全性 PCR 萎凋病菌 ポリガラクツロナーゼ 系統樹 進化
Paper図書
National Diet Library
- Subject Heading交通情報提供 交通行動分析 交通手段選択 情報の不完全性 リンクパフオーマンス関数 均衡配分
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 Incom...
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Toc / Article...コラム〕現代のゲーデル数？ 不完全性定理の証明の「あらすじ」 自......付録１ ベリーのパラドックスと不完全性定理 付録２ 「竹内流ゲーデル教室」（ええと、ようするに読書...
- Summary, etc.不完全性定理は、智の限界ではない！ 数学ファンならずともちゃんと理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。
- Contents内容紹介：不完全性定理は、智の限界ではない。「正......と理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。 文献あり 索引あり 文献：ｐ２３１...
Paper図書
National Diet LibraryOther Libraries in Japan
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleten...
Paper図書
National Diet LibraryOther Libraries in Japan
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleten...
Paper図書
National Diet LibraryOther Libraries in Japan
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleten...
Paper図書
National Diet LibraryOther Libraries in Japan
- Contents不完全性定理と算術の体系 文献：部末 文献あり 索引あり 文献部末
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleten...