404 Blog Not Found:書評 - 不完全性定理
2007年02月05日01:00 カテゴリ書評/画評/品評Math 書評 - 不完全性定理 初掲載2007.02.04 脱帽。 不完全性定理 数学的体系のあゆみ 野崎昭弘 もしかして、今まで読んだ数学書の中で最高傑作かも知れない。 著者の野崎昭弘は、「詭弁論理学」の著者にして、「Gödel, Escher, Bach(GEB)」の訳者。安野光雅と「石頭コンピューター」を共著した人でもある。私は「πの話」以来のファンなのだが、その野崎昭弘が不完全性定理にガチで対峙したのが本書だ。 目次 第1章 ギリシャの奇跡 第2章 体系とその進化 第3章 集合論の光と陰 第4章 証明の形式化 第5章 超数学の誕生 第6章 ゲーデル登場 本書は、「不完全性定理とは何か」だけではなく、「公理とは何か」「定理とは何か」をまずきちんと解説した上で、「不完全性定理は人にとってどんな意味があるのか」までを説いている。
加齢臭付きの正論 - 書評 - プログラマー現役続行 : 404 Blog Not Found
2007年10月15日01:30 カテゴリ書評/画評/品評Art 加齢臭付きの正論 - 書評 - プログラマー現役続行 吉岡さんのおかげで書評在庫が少しずつ片付いて行く。ありがとうございます。 プログラマー現役続行 柴田芳樹 ユメのチカラ: 職業としてのプログラマそして、そのような若い人たちを発見、発掘するのもわたしたちの責任だと思う。 その期待に答えてくれると思って買ってみた。 本書「プログラマー現役続行」は、47歳、現役29年目のプログラマーが、その秘訣を一冊にまとめたもの。 目次 まえがき 35年定年説は本当か 第01章 ソフトウェアは「人」が作る 第02章 プログラマー現役続行 第03章 論理思考力 第04章 読みやすいコードを書く力 第05章 継続学習力 第06章 コンピューターサイエンスの基礎力 第07章 朝型力 第08章 コミュニケーション力 第09章 英語力 第10章 コー
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
