Search results 67
Paper図書
National Diet LibraryOther Libraries in Japan
- Toc / Article...乗に基づくペアノ算術における不完全性 I. 公理体系P.E. §1......系P.E.におけるゲーデルの不完全性定理 第IV章 べき乗に基づか....... 公理体系P.A.における不完全性定理 §1. 基礎概念 §2....... §6. ペアノ算術における不完全性定理 II. Σ_1関係 第V......基づくゲーデルの証明 I. 不完全性定理の抽象形式 §1. 不完全性定理の基礎 §2. ω無矛盾性の補助定理 II. Σ_0完全性 §3. 基礎概念 §4. ペ......§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 LibraryOther Libraries in Japan
- Summary, etc.機知に富む論理パズルから、最後はゲーデルの不完全性定理の“完全な” 証明に到達。スマリヤンだからなし得た、意欲...
- Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleten...
Paper図書
National Diet Library
- Subject Heading労働の異質性 / 労働市場の不完全性 / 農家家計モデル / 非入れ子型検定
Paper図書
National Diet Library
- Subject Headingヒルベルト ブラウワ- 直観主義 構成主義 数学の哲学 不完全性定理
Paper図書
National Diet LibraryOther Libraries in Japan
- Toc / Articleはじめに 数学基礎論と不完全性定理 宴のあと 本書の目標と構.......3 「不安の時代」の終焉と不完全性定理 1.4 再思三考：数学と......と無矛盾性 2.5 命題論理の完全性定理 2.6 コンパクト性定理......初等的図式 3.6 述語論理の完全性定理 3.7 コンパクト性定理......現可能性 6.1 算術のΣ1 完全性 6.2 関数と集合の定義可能...... 関数の表現可能性 第7章 不完全性定理 7.1 不完全性定理への序 7.2 可証性述語と対角化定理 7.3 第一不完全性定理 7.4 可導性条件 7.5 第二不完全性定理 7.6 Rosser の定理 7.7 不完全性定理の数学的意義 第8章 幾つ......gorov 複雑性 8.7 不完全性定理の有限的性質 第9章 跋：形式主義のふたつのドグマ 9....
- Summary, etc.不完全性定理をとりまく数学基礎論の世界......，専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ，第一および第二不完全性定理，Rosser の定理，H......ov 複雑性などを紹介して，不完全性定理の数学的意義と，その根源にある哲学的問題を説く。
- Contents内容紹介：専門的な予備知識は仮定せずに、完全性定理や計算可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、算術の超準モデルなどを紹介。不完全性定理の数学的意義と、その根源にある哲学的問題を説く。 文献あ...
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Toc / Article序 文 目次 第1章 自然言語 第2章 理論の完全性とわかりやすさ 第3章 表現可......性 第4章 初等自然数言語の不完全性定理の証明 第5章 古典的理論......理論 第6章 形式化 第7章 完全性 第8章 ゲーデルの不完全性定理 第9章 ゲーデルの第2不完全性定理 第10章 新しい論理学 本書で用いられる記号 参考文献...
- Summary, etc.ゲーデルは何を証明しようとしたのか？不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣い...
- 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 Heading国際的要素移動 / 国内労働移動 / 失業 / 労働移動の不完全性 / 熟練・非熟練労働 / ハリス・トダロモデル / 最低賃...
Paper図書
National Diet Library
- Subject Heading準線形発展方程式 / 局所リプシッツ作用素半群 / 退化準線形双曲型方程式 / 安定性条件 / 作用素不等式 / 作用素幾何平均 / conelike半群 / Stieltjes完全性
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 Heading関数論理型言語 制約解消系 計算モデル ナローイング 求解完全性 Mathematica
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...