今度こそわかるゲーデル不完全性定理
著者
書誌事項
今度こそわかるゲーデル不完全性定理
(今度こそわかるシリーズ)
講談社, 2012.7
第2刷
- タイトル別名
-
Gödel's incompleteness theorems
ゲーデル不完全性定理 : 今度こそわかる
- タイトル読み
-
コンド コソ ワカル ゲーデル フカンゼンセイ テイリ
電子リソースにアクセスする 全1件
並立書誌 全1件
大学図書館所蔵 全8件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
シリーズの有無により<BB08640867>とは別書誌
参考文献: p153-154
内容説明・目次
内容説明
難解なゲーデルの不完全性定理を「ふつうの言葉」で解き明かす。初学者がつまづくところを熟知した著者による、丁寧な解説。
目次
- 第1章 自然言語
- 第2章 理論の完全性とわかりやすさ
- 第3章 表現可能性
- 第4章 初等自然数言語の不完全性定理の証明
- 第5章 古典的理論と現代的理論
- 第6章 形式化
- 第7章 完全性
- 第8章 ゲーデルの不完全性定理
- 第9章 ゲーデルの第2不完全性定理
- 第10章 新しい論理学
「BOOKデータベース」 より