今度こそわかるゲーデル不完全性定理 Gödel's incompleteness theorems

著者

• 本橋, 信義 モトハシ, ノブヨシ
• 講談社サイエンティフィク コウダンシャ サイエンティフィク

書誌事項

今度こそわかるゲーデル不完全性定理 = Gödel's incompleteness theorems

本橋信義著 ; 講談社サイエンティフィク編集

講談社, 2012.3

タイトル別名

ゲーデル不完全性定理 : 今度こそわかる

タイトル読み

コンド コソ ワカル ゲーデル フカンゼンセイ テイリ

注記

参考文献: p153-154

索引: p157-161

内容説明・目次

内容説明

難解なゲーデルの不完全性定理を「ふつうの言葉」で解き明かす。初学者がつまづくところを熟知した著者による、丁寧な解説。

目次

• 第１章　自然言語
• 第２章　理論の完全性とわかりやすさ
• 第３章　表現可能性
• 第４章　初等自然数言語の不完全性定理の証明
• 第５章　古典的理論と現代的理論
• 第６章　形式化
• 第７章　完全性
• 第８章　ゲーデルの不完全性定理
• 第９章　ゲーデルの第２不完全性定理
• 第１０章　新しい論理学

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB08640867
• ISBN:
  • 9784061565067
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: ix, 161p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.9
  • NDC9 : 410.9
• 件名:
  • NDLSH : ゲーデルの定理