2010年2月1日月曜日

【書籍】 野崎昭弘 『不完全性定理-数学的体系のあゆみ』(たのしいすうがく2) 日本評論社 1996.9

ゲーデルの定理、超数学入門である。
ゲーデルの不完全性定理とは、体系Zの中では表現できないような論法を使わないと、Zの無矛盾性(ある文Mについて、Mと(Mの否定)が証明できることはないこと。)の証明はできない。体系外の立場に立つ必要がある。

参考文献

■ 書籍情報入手先   ★★★☆☆
  『空気を読むな、本を読め。』 小飼弾 2009.11
■ 所在
  大学410.4.N98

0 件のコメント: