404 Blog Not Found:書評 - 不完全性定理
2007年02月05日01:00 カテゴリ書評/画評/品評Math 書評 - 不完全性定理 初掲載2007.02.04 脱帽。 不完全性定理 数学的体系のあゆみ 野崎昭弘 もしかして、今まで読んだ数学書の中で最高傑作かも知れない。 著者の野崎昭弘は、「詭弁論理学」の著者にして、「Gödel, Escher, Bach(GEB)」の訳者。安野光雅と「石頭コンピューター」を共著した人でもある。私は「πの話」以来のファンなのだが、その野崎昭弘が不完全性定理にガチで対峙したのが本書だ。 目次 第1章 ギリシャの奇跡 第2章 体系とその進化 第3章 集合論の光と陰 第4章 証明の形式化 第5章 超数学の誕生 第6章 ゲーデル登場 本書は、「不完全性定理とは何か」だけではなく、「公理とは何か」「定理とは何か」をまずきちんと解説した上で、「不完全性定理は人にとってどんな意味があるのか」までを説いている。
窓の杜 - 2007年 窓の杜大賞 結果発表
「2007年 窓の杜大賞」では、合計2,849名の方に投票いただきました。大混戦だった昨年から一転、今年は1本のソフトが独走し、他を圧倒するという結果になりました。ソフトの選択理由にも多くの投票者から、熱意あふれるコメントをいただくことができました。この場を借りまして、窓の杜大賞に投票していただいた皆様へ厚くお礼申し上げます。 「2007年 窓の杜大賞」では、読者投票による賞と、編集部が独自の視点で選出した賞を設けています。読者が選ぶ賞では、最多投票数を獲得したソフトに「窓の杜大賞」が、投票数第2位のソフトに「金賞」が、第3位に「銀賞」が、第4位に「銅賞」が贈られます。 一方、編集部からは、今年ならではの流行から生まれたソフトや、完成度が高く今後のバージョンアップを大いに期待したいソフトなど、3本のフリーソフトに対して編集部賞をお贈りします。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
