したっぱプログラマーの日記(The diary of a minor programmer)

史上最高の小説と言われる「カラマーゾフの兄弟」を！
単行本の1巻を買って、数ヶ月。
ずっと積ん読かれてましたが、読みたい本が手元になくなったんで読み始めた。

どふとえふすきー、っと聞くと、何か難解そうなイメージがあり、そのイメージのせいで今まで積ん読かれたところもあるのですが、いざ読んでみると、全然読みやすい。
とりあえず、1巻読了。 どこら辺が史上最高なのかは未だわからず。もしかすると、僕の読解力じゃ最後まで読んでもわからんかもしれん。

明日には、Amazonから2〜5巻が届くはず。

ちょっと前に読んだ苫米地英人という人が書いた本の中で、ゲーデルの不完全性定理の話が出てきて、不完全性定理というものに興味を持ったので購入。
不完全性定理によって神の存在が証明されたり証明されなかったりするってんだから、おもしろい。

読んでみて、正直言って大部分は良くわからんかった。
かろうじて、不完全性定理のイメージを説明した第1章は理解できた（つもりにはなった。）。
もっと、じっくり時間を掛けて読めば理解は深まるのかもしれない。

しかし、まぁ、入門書の割にむずい。著者が、非常に丁寧にわかりやすく話しかけてくれるのだけれど、数学者の抽象的思考には、なかなかついてゆけず。思えば、数学の証明って、高校レベルの数学でも抽象のオンパレード。大学受験の時は、「任意の整数ｎってなんやねん！」って思ったもんです。

不完全性定理も、かなり抽象的。

第一不完全性定理

・システムSが正常であるとき、Sは不完全である。

第二不完全性定理

・システムSが正常であるとき、Sは自己の無矛盾性を証明できない。

「システムS」が抽象的だし、「正常」っていう概念も抽象的だし、「不完全」って言葉も抽象的だし…。こないだ読んだ本には、抽象的な思考は前頭葉がつかさどるって書いてあったのを思い出した。こんな定理を理解するには、前頭葉をめっちゃ使わなあかんのだろうなぁと思った。

著者は具体例を挙げて、この定理の説明を行ってくれている。しかし、その具体例でも、僕の前頭葉が理解するには、まだまだ抽象度が高かった。もう一段、抽象度を下げて説明していただけたら、もっと理解しやすかったのだけれど…。

さて、この不完全性定理を用いて、1991年、哲学者のパトリック・グリムという方が、神の非存在論を導いたそうな。
その定理とは、

定義

・すべての真理を知る無矛盾な存在を「神」と呼ぶ。

グリムの定理

・「神」は存在しない。

というもの。
これを証明すると、

定義により、すべての真理を知る「神」は、もちろん自然数論も知っているはずであり、無矛盾でもある。ところが、不完全性定理により、ゲーデル命題に相当する特定の多項方程式については、矛盾を犯すことなく、その真理を決定できないことになる。したがって、すべての真理を知る「神」は、存在しないことになる。

うんうん。まぁ、なんとなくわかった気がする。

苫米地英人氏の本では、抽象的思考能力を鍛えることを強調していたが、なるほど、この本を読むと頭の良さというものは、つまりはどれだけ抽象的なことを考えられるかということなのかも、と思えてきた。そこが人間と他の動物を決定的に分けている点でもあるし、僕も抽象的な思考をする能力を高めたいなと思った。

この本に書かれていることの1割も理解できなかった気がするけれども、やっぱり数学って面白いなぁという数学熱というか数学愛みたいなものが芽生えました（というより、これはゲーデル萌えだな。おそらく）。
他にも、いろいろと思うところの多く、早く飲み会で誰かに熱く語りたいです。

Tech総研で連載中の「我らクレイジー★エンジニア主義」を書籍化したもの。
ネットでも見ることができるけれども、書籍の方が見やすいので購入。

文章版プロジェクトXのような感じ。
読んでると、「僕も頑張らねば」って思うのは、この手の本ではよくあること。
この本も、読後はエンジニア魂が燃え上がる。

それは、さておき、印象的だったのはハードよりの人が多いこと。
ソフト系の人が極端に少ない。うすうす思っていたけど、日本人ってソフトでは、なかなかアメリカに敵わないのね。
この本でインタビューを受けてる技術者の方も、そのようなことを述べていたし。
ただ、逆に日本人はハードは得意なんだそうな。

うむー、もうちょっとハードの勉強しとけば良かった…。

最近、全然小説を読んでなかった。しかし、Amazonから次に読む書籍が届くまでに間が空いてしまったので、積ん読状態になっていたディールメーカーを読んだ。
企業買収をテーマにした小説。熱烈におすすめはしないけれども、そこそこ面白かった。

これを買ったのは、以前読んだ『ヒルズ黙示録『の中に、この本のことが出てきたから。（たぶん。うる覚え。）
『ヒルズ黙示録』を読んでたときは、
「やばい！M＆Aってめっちゃエキサイティング！もっとこんな話を読みたい！」
と思っていたので、即購入。しかし、すぐに興味は外交の方へ（『国家の罠』）。よって即積ん読。

企業買収の話と言うことで、専門用語がいっぱいで難解なものをイメージしていたが、全然そんなことはなかった。
レバレッジドバイアウトとかホワイトナイツとか専門用語は出てくるけれども、これの前に『ヒルズ黙示録』を読んでいたためか、すぐに理解できた。
むしろ、もっと複雑な状況を期待していただけに、ちょっと拍子抜けだった。

そして、またしばらくは、小説を読まないような気がする…。
明日読む予定なのは、『ゲーデルの哲学』という本。
これは、ちょっと前に読んだ苫米地英人という人が書いた本の中で、ゲーデルの不完全性定理の話が出てきて、不完全性定理というものに興味を持ったので購入。

1冊本を読むと、興味の対象が増えて、読みたい本が増える。
このサイクルだと、一生掛かっても、読みたい本を読み切らん。困った。

オタキングこと岡田斗司夫さんが、1年間で50kg痩せたというダイエット方について書いた本。
タイトルが良かったので衝動買いしてしまった。

ってか、帯の写真にびびった！
誰だこいつは！？

まるっきり人相が違う。
僕の知ってる岡田斗司夫さんは、もっとまるまるとしてチャーミングだった。
しかし、写真に写ってる岡田さんは、すっきりとした顔立ちで、むしろ頬が痩けて見える。

いままでのデブオタなイメージとは打って変わって、知的な評論家風情になっていた！
太ってる時代のチャーミングな顔が好きだった僕としては、なんかちょっと悲しい。
ってか、あれね。人間太ってると、若く見えるのね。
もうすぐ５０歳なはずですが、太ってたときは30代っぽかったのが、痩せられて、やっと年相応に見えてきました。

この本の肝は、人間、自分の行動を記録するだけで、結構変わることができるもんですよ。ってこと。
実際、岡田さんは、ダイエットを始めて最初の5ヶ月は、自分の食べたものを正確にメモすることしかしていない。
しかし、それだけでも10kg痩せたそうな。

とりあえず、記録するってことは偉大だね。っと思いました。
これは、今後、自分の自己啓発に活かせそう。