ホワット・ア・ワンダフル・ワールド ゲーデルと 20 世紀のロジック vol.1ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀 だいたい読み終わりました．だいたいというのは，最後の 7 ページ 「計算可能実数と計算可能(不)連続関数」のところが，解析学さっぱり人間の私にはちゃんとフォローできなかったという （苦笑） vol.4 の集合論とプラトニズムは未だにさっぱり読めてないんですが，これは 20 世紀のロジックの歴史についての巻なので，それほどテクニカルな部分は無くて，私でも普通に読めました． Lion's Book もそうなんですが，現在では正確無比なところまで磨き上げられた巨大システムである UNIX やロジックの体系なども，その初期は，いろんな人が悩んだり間違えたり誤解したり試行錯誤して作ってきた，人間が作ったものなんだなぁ，という感慨を得ることができる本です． 日本にゲーデルの業績が導入されてきたあたりの話など，昔は本当に海外の情報や論文を得
