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

ゲーデルは、何を証明しようとしたのか？　不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣いで説明。初学者がつまずくところを熟知した著者が丁寧に解説した。この難解な定理を、「ふつうの言葉」で説き明かす！


ゲーデルは、何を証明しようとしたのか？　数理論理学を初学者に教えれば右に出る者のない著者が、わかりやすい言葉遣いで説く。初学者が不完全性定理を一歩ずつ着実に理解できるように心がけた、新しい入門書。

目次

第1章　自然言語
第2章　理論の完全性とわかりやすさ
第3章　表現可能性
第4章　初等自然数言語の不完全性定理の証明
第5章　古典的理論と現代的理論
第6章　形式化
第7章　完全性
第8章　ゲーデルの不完全性定理
第9章　ゲーデルの第2不完全性定理
第10章　新しい論理学

書誌情報

紙版

• 発売日: 2012年03月10日
• ISBN: 9784061565067
• 判型: A5
• 価格: 定価：2,970円（本体2,700円）
• ページ数: 176ページ
• シリーズ: 今度こそわかるシリーズ

電子版

• 発売日: 2014年07月25日
• JDCN: 0615650600100011000D

著者紹介

著： 本橋　信義（モトハシ　ノブヨシ）