哪吒机器人提醒：
提醒：反批評的考察β
【标题】[数学]数学基礎論入門 前原昭二
【摘要】 数学基礎論入門 (基礎数学シリーズ) 作者: 前原昭二 出版社/メーカー: 朝倉書店 発売日: 2006/04 メディア: 単行本 amazon.co.jpで詳細を見る ゲーデルの原証明を辿る 1977年初版の旧装版で読んだ。 言わずと知れた名著。ゲーデルの不完全性定理をがっちりと解説する入門書。 特に基礎知識もなく読んでいるので、お世辞にも読みやすかったとは言えないが、それはゲーデルが証明した内容そのものが難解だからであって、著者に対する文句はない。むしろ、解説はかなり叮嚀である。なにしろ、記号論理学を知っていなくても、記述を辿ってゆけば読めるぐらい（とはいえ、本書を記号論理学の入門書として読むのはおすすめしない。最低でも真理値表ぐらい書けた方がよいと思う）。いずれにしても定評ある入門書であり、不完全性定理の解説書として貴重な存在だから、ゲーデルの理論について勉強したい人は迷わず購入してしまってかまわないのではないだろうか。 内容は、かなりゲーデルの原論文*1に忠実なものになっている。第1章で形式的体系が与えられ、第2章から... (04-15 14:47)
手机哪吒网 m.iNezha.com 有人网