ゲーデルと20世紀の論理学 第四巻 集合論とプラトニズム - kururu_goedel’s diary

ゲーデルと20世紀の論理学 4 集合論とプラトニズム 作者: 田中一之出版社/メーカー: 東京大学出版会発売日: 2007/07/24メディア: 単行本購入: 9人 クリック: 135回この商品を含むブログ (14件) を見る というわけで書評書きます。集合論者としてのバイアスがかかることはご了承ください。 まず最初に言わないといけないことは、「（特に最近の）集合論に興味がある非専門家の人は、自分が日本語を読めることに感謝しつつこの本を読むべきである」ということ。松原先生による第II部は、英語で書かれたものでもここまでのものはないだろうというくらいに、深いところまで簡潔にしかし手を抜かずに書いてあります。この短さの基礎知識を前提としないサーベイに、プレシピタス性とか飽和性とかウディン基数とかの定義が入っているというのはすごいとしか言いようがありません。 その前にある渕野先生による第I部では

[tororo-imo]

実際に手に取って読みたくなる書評。素晴らしいの一言。が、あたし程度の知識で理解出来るのだろうか。あぁ、「数学」を「どこから学びなおしたら良いのか」という現実的な問題に直面している(´・ω・｀)

[kazutanaka]

第四巻は買ってない。

[kgbu]

ゲーデルと21世紀のわたしたち、という本であって欲しかった、というか、そういう紹介をされるべきだ、というお話です。チャイティンとかはどうつながるんでしょーか。あれは論理学じゃないか。

[w2allen]

引用：連続体仮説の整合性を証明したのに2^{￥aleph_0}=￥aleph_2を主張し、Lと共存しうるような巨大基数しか知られていなかったときに巨大基数公理が連続体仮説に関係すると看破した、その見通しのすごさ。

[stch]

なんだかよくわからないがアツい。

[smoking186]

買うか