今度こそわかるゲーデル不完全性定理
コンドコソワカルゲーデルフカンゼンセイテイリ
- 電子あり
内容紹介
＋ もっとみる
おすすめの本
-
![数理の存在論的基礎]()
電子のみ数理の存在論的基礎
-
![実践Ｄａｔａ Ｓｃｉｅｎｃｅシリーズ Ｐｙｔｈｏｎではじめる時系列分析入門]()
実践Ｄａｔａ Ｓｃｉｅｎｃｅシリーズ Ｐｙｔｈｏｎではじめる時系列分析入門
-
![マンガ エニグマに挑んだ天才数学者 チューリング]()
マンガ エニグマに挑んだ天才数学者 チューリング
-
![君が残した贈りもの]()
試し読み電子あり君が残した贈りもの
-
![わかりやすい薬学系の数学・統計学入門]()
電子ありわかりやすい薬学系の数学・統計学入門
-
![フォン・ノイマンの哲学 人間のフリをした悪魔]()
試し読み電子ありフォン・ノイマンの哲学 人間のフリをした悪魔
-
![不完全性定理とはなにか]()
試し読み電子あり不完全性定理とはなにか
-
![その可能性はすでに考えた]()
その可能性はすでに考えた
-
![数式図鑑 楽しく、美しく、役に立つ科学の宝石箱]()
試し読み電子あり数式図鑑 楽しく、美しく、役に立つ科学の宝石箱
-
![宇宙が見える数学 結び目と高次元――トポロジー入門]()
宇宙が見える数学 結び目と高次元――トポロジー入門
-
![四角形の七不思議 いちばん身近な図形の深遠な世界]()
試し読み電子あり四角形の七不思議 いちばん身近な図形の深遠な世界
-
![父が子に語る科学の話 親子の対話から生まれた感動の科学入門]()
試し読み電子あり父が子に語る科学の話 親子の対話から生まれた感動の科学入門
目次
- 第1章 自然言語
- 第2章 理論の完全性とわかりやすさ
- 第3章 表現可能性
- 第4章 初等自然数言語の不完全性定理の証明
- 第5章 古典的理論と現代的理論
- 第6章 形式化
- 第7章 完全性
- 第8章 ゲーデルの不完全性定理
- 第9章 ゲーデルの第2不完全性定理
- 第10章 新しい論理学
製品情報
| 製品名 | 今度こそわかるゲーデル不完全性定理 |
|---|---|
| 著者名 | 著：本橋 信義 |
| 発売日 | 2012年03月10日 |
| 価格 | 定価：2,970円（本体2,700円） |
| ISBN | 978-4-06-156506-7 |
| 判型 | A5 |
| ページ数 | 176ページ |
| シリーズ | 今度こそわかるシリーズ |
