不完全性定理の完全理解

リスト作成者のコメント:
	"原論文。最初にこれ読んで理解できたら↓は読む必要ありません。訳者のサイト http://www.shayashi.jp/vitae-jp.html#books の訂正リストも要チェックです。"

リスト作成者のコメント:
	"「証明」の意味を知る。「健全性」「完全性」の意味も知っておく。定理の「完全性」と論理学での「完全性」は別の意味ですが。"

リスト作成者のコメント:
	"不完全性定理の証明を一言で言うと「この命題は証明できない」(235p)。"

リスト作成者のコメント:
	"「符号化」の技法を学ぶ。"

リスト作成者のコメント:
	"停止判定問題から「自己言及」「対角線論法」を学ぶ。↑にも載ってますが。"

リスト作成者のコメント:
	"以上のテクニックを身につけた上で、不完全性定理の証明の概略をみる"