ゲーデルに挑む 証明不可能なことの証明
田中 一之：著
A5判 176ページ
価格：2,860円 (消費税：260円)
ISBN978-4-13-063900-2 C1041
奥付の初版発行年月：2012年04月
価格：2,860円 (消費税：260円)
ISBN978-4-13-063900-2 C1041
奥付の初版発行年月：2012年04月
内容紹介
「不完全性定理」を完全に理解したい読者のために——．原論文の日本語訳とともにその内容について徹底解説．ロジック初心者にも配慮し，記号の定義などの基本から，ていねいに説明をしていく．ノートとペンを用意して，原典の論理展開を味わってみよう．
目次
はじめに
序 ゲーデルと不完全性定理
原論文 訳・解説
原論文第１節 概要
原論文第２節（その１） 体系P、ゲーデル数、再帰的関数
原論文第２節（その２） メタ数学の再帰的表現
原論文第２節（その３） 第一不完全性定理
原論文第３節 １階算術への還元
原論文第４節 第二不完全性定理
補遺