検索結果 167 件
紙図書
国立国会図書館全国の図書館
- 目次・記事はじめに 数学基礎論と不完全性定理 宴のあと 本書の目標と構成 ......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 複雑性などを紹介して，不完全性定理の数学的意義と，その根源にある哲学的問題を説く。
- 内容細目...可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、算術の超準モデルなどを紹介。不完全性定理の数学的意義と、その根源にある哲学的問題を説く。 文献あり ...
紙図書
国立国会図書館全国の図書館
- 内容細目不完全性定理と算術の体系 文献：部末 文献あり 索引あり 文献部末
- 典拠情報（件名/「を見よ」参照）不完全性定理 Godel's theorem Incompletenes...
紙デジタル図書
国立国会図書館全国の図書館
- 目次・記事...コラム〕現代のゲーデル数？ 不完全性定理の証明の「あらすじ」 自己言......付録１ ベリーのパラドックスと不完全性定理 付録２ 「竹内流ゲーデル教室」（ええと、ようするに読書案内...
- 要約等不完全性定理は、智の限界ではない！ 数学ファンならずともちゃんと理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。
- 内容細目内容紹介：不完全性定理は、智の限界ではない。「正しく......と理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。 文献あり 索引あり 文献：ｐ２３１～２...
紙図書
国立国会図書館全国の図書館
- 目次・記事...かの一般的な基本結果／統語論的不完全性定理／分離可能性／ω無矛盾性／一階述語論理にもとづく体系／ゲーデ...
- 内容細目不完全性定理の理解のために
- その他のタイトル不完全性定理の理解のために A BEGINNER'S GUIDE TO ...
紙図書
国立国会図書館全国の図書館
- 目次・記事...体系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...
紙デジタル記事
インターネットで読める国立国会図書館全国の図書館
- 要約等ゲーデルの第一不完全性定理の今日最もよく知られた証明方法は対角化定理を用いて「自分自身...
紙図書
国立国会図書館全国の図書館
- 内容細目...に大転換をもたらしつつある。「不完全性定理」などの論争の歴史を最新アップデートし、「人工知能」の未来に...
紙記録メディア図書障害者向け資料あり
国立国会図書館全国の図書館
- 内容細目...経済学 社会心理学 ゲーデルの不完全性定理 行動経済学 囚人のジレンマ ......経済学 社会心理学 ゲーデルの不完全性定理 行動経済学 囚人のジレンマ ......経済学 社会心理学 ゲーデルの不完全性定理