404 Blog Not Found:書評 - 不完全性定理
2007年02月05日01:00 カテゴリ書評/画評/品評Math 書評 - 不完全性定理 初掲載2007.02.04 脱帽。 不完全性定理 数学的体系のあゆみ 野崎昭弘 もしかして、今まで読んだ数学書の中で最高傑作かも知れない。 著者の野崎昭弘は、「詭弁論理学」の著者にして、「Gödel, Escher, Bach(GEB)」の訳者。安野光雅と「石頭コンピューター」を共著した人でもある。私は「πの話」以来のファンなのだが、その野崎昭弘が不完全性定理にガチで対峙したのが本書だ。 目次 第1章 ギリシャの奇跡 第2章 体系とその進化 第3章 集合論の光と陰 第4章 証明の形式化 第5章 超数学の誕生 第6章 ゲーデル登場 本書は、「不完全性定理とは何か」だけではなく、「公理とは何か」「定理とは何か」をまずきちんと解説した上で、「不完全性定理は人にとってどんな意味があるのか」までを説いている。
Web2.0ナビ: 意外と使われていない「個人用trac」活用のすすめ
いいね！ 6 ツイート B! はてブ 738 Pocket 138 tracをご存知ですか？tracは主にシステム開発系プロジェクトにおいて、バグ管理・バージョン管理・ドキュメント共有に使われる超便利ツールです。これがないと開発なんて出来ないよ！という開発者も多いはず。 そんなtracですが、個人用や家庭用でもカナリ使えるツールなんです。開発をしなくても、「脳をすっきりさせたり」「自分タスクを整理したり」「アイデアを貯めたり」「旅行計画を家族と共有したり」、日常生活という自分プロジェクトの管理ツールとして活用することができます。 tracとは 前述の通り、tracは主にシステム開発で使うプロジェクト管理ツールで、無償ソフトとして配布されているので、誰でも自由にダウンロードして使うことができます。 主に利用できる機能が4つあって ■ wiki 誰でもいつでも編集できるwiki機能があります。
シェルのリダイレクトを「こわいものなし」というくらい完全に理解しよう - 檜山正幸のキマイラ飼育記 (はてなBlog)
「Java BlockingQueueで遊ぶ：パイプラインごっこ」でパイプラインの話をしたので、本来の、つまりUnixのパイプやリダイレクトを少し調べてみました。 たまに話題となる some-command >file 2>&1 と some-command 2>&1 >fileの挙動の違いについて、「シェルはコマンドラインリダイレクトの指定を右から左に解釈実行する」なんて説明が見つかりました。んなバカな！ パージングは左から右にするものですよ。パーズツリーを逆順にたどることはできるけど、そんなことする必然性はなんにもないよ。 次の記事を読むと、「右から左」なんて事情じゃないことが分かるでしょう。 UNIXの部屋 検索: リダイレクト シェルのリダイレクトにまつわる失敗 さてここでは、複雑なリダイレクト処理も完全に理解できる処方箋を示しましょう。例えば、次のコマンドラインが何をするか分かる
わたしが知らないスゴ本は、きっとあなたが読んでいる: この本がスゴい2007
今年「も」沢山のスゴ本と会えたのは、すべてあなたのおかげ。 ありがとうございます、大感謝しています。 たとえば、「この本よかった」とblogに書く すると、「ソレが良いなら、じゃぁ○○なんて、どう?」と教えてくれる じゃぁ、○○を読む なんと、す、スゲぇッ（絶叫） いそいで、「○○はスゴ本」とblogに書く ふたたび、「ソレが良いなら△△どうよ?」 このフィードバックループのおかげで、普段は読まないエリアまで手が伸びる伸びる。 もちろん嗜好の違いによる「ズレ」はあれど、それは単に「面白がって読めなかった」にすぎない。むしろ、そいつを味わうためのキャパ不足を痛感しただけでもめっけもの。その本を面白がって読むことはスキルの一つ。 気の毒なことに、「トシとると面白い本がなくなる」とグチるオッサンがいる。知見の狭さや思考の固さよりも、無自覚な様子が傍目に痛い。ああはなりたくないものだ。「ボクの範囲
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
