パスワードを忘れた? アカウント作成
546730 journal

Ledの日記: ゲーデルの哲学&ゲーデルは何を証明したか

日記 by Led

ちょっとNOVAに哲学系の人が来ているのだが、
それらしい名前を出してやらないと話を聞いてくれそうにない。
哲学系に有名な人は山ほど居るが、自分に合いそうなのはどれだ。

とおもってふとAmazonで買ったのがこの二冊。
もともと数学屋さんなんだし、何言ってるかは分りやすいだろう。

さて、「ゲーデルの哲学」からとりかかる。
著者の高橋昌一郎氏は哲学畑の人か、そうすると・・・・・・・
ううむ?この人の書き方は逆に分らん。
ベタの文で論理展開されても読みづらいなー
記号で書いてくれないものか。

読み進めると、この話はアルゴリズム屋さんにかなり近いようだ。
選んで正解だったか。面白い。

この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。
typodupeerror

未知のハックに一心不乱に取り組んだ結果、私は自然の法則を変えてしまった -- あるハッカー

読み込み中...