Ledの日記: ゲーデルの哲学&ゲーデルは何を証明したか
日記 by
Led
ちょっとNOVAに哲学系の人が来ているのだが、
それらしい名前を出してやらないと話を聞いてくれそうにない。
哲学系に有名な人は山ほど居るが、自分に合いそうなのはどれだ。
とおもってふとAmazonで買ったのがこの二冊。
もともと数学屋さんなんだし、何言ってるかは分りやすいだろう。
さて、「ゲーデルの哲学」からとりかかる。
著者の高橋昌一郎氏は哲学畑の人か、そうすると・・・・・・・
ううむ?この人の書き方は逆に分らん。
ベタの文で論理展開されても読みづらいなー
記号で書いてくれないものか。
読み進めると、この話はアルゴリズム屋さんにかなり近いようだ。
選んで正解だったか。面白い。
ゲーデルの哲学&ゲーデルは何を証明したか More ログイン