買ったはいいがキツそうな「コンピュータは数学者になれるのか？」

内容はともかくタイトルが良かったので売れた本ってありますよね．「さおだけ屋はなぜ潰れないのか」なんかその筆頭ではなかったかと思います．

タイトルのせいで売れる本と決めつけてしまっては筆者の照井一成氏に申しわけないが、数学の解説本にしてはこのタイトルはカッコイイんじゃね？と思って買ったのがこれです．題して、

「コンピュータは数学者になれるのか？」

数理論理学というジャンルの本だそうです．べつにAIについて書かれた本じゃないんだけどこういうナイスなタイトルなんですね．

数理論理学って云われたってなんのコトやら不明ですが、「ゲーデルの不完全性定理」ってのは聞いたコトがありますが、それも数理論理学に入るそうです．
本の中身をパラパラと見て、数式：文章＝１：９ぐらいであり、トポロジーよりかは判りやすそうだったのでじっくり読めば理解できそうなので買いました．がっ、じっくりと読んでいる暇があるかどうかは不明．入院でもすりゃぁ読めるんだがなぁと思います．

この本の帯の文句がちょいとカッコイイです．「人工知能」という文字がありますが、繰り返しますがAIの本じゃありません．



渋谷のジュンク堂の書棚でこの本の隣に置かれていたのがやたらと軟派な右の本、ブルーバックスです．「コンピュータは数学者になれるのか？」よりも１００倍は読みやすいだろうから、肩慣らしなどと思って購入．

半分ぐらい読んだところだけれど、
とある公理系において正しい命題であっても中には証明不可能な命題がある
というようなコトをゲーデルさんはおっしゃったらしい．（この表現は間違っているかもだが）

それって、その公理に元からあった不備を突いてしまった命題なんじゃね？ というのが現状のわたしの感想でありますから、１００倍簡単な本なんかいくら読んでも結局のところ何も理解できんわっていう、ブルーバックスで陥るいつもの虚しさを感じているところあります．

というわけで、「コンピュータは数学者になれるのか？」をじっくりと読むには入院が不可欠である、という命題が真であるか偽であるかは、ひとえにわたし自身の克己心に委ねられているのであった．

＃チューリングの映画が今まさに公開中なんですよね．BDが出たら借りようと思ふ．

エイメン


人気ブログランキングへ