見る地味だけど非常に面白かった。見る突然だけどこの本面白かった。新しいものが古いものから一定の規則によって出現する過程のことである。そのような過程には、びっくりすることがたくさんあるように思われる。哲学ゲーデル・エッシャー・バッハの第2章。この章ではpqシステムという簡単な形式システムを使って「意味と形式」の違いについて説明している。成る非常に簡単な形式システム。コンピュータと人...数学における意味と形2008-03-16ウロボロス(Ouroboros)哲学ラブレス夫人も、バッベジ*1に劣らずはっきりと気づいていたことであるが、解析機関の発明によって、ことに解析機関が「自分の尻尾を食べること」(機械が自分自身の記憶されているプログラムに手をつけ変更するときに作り出される不思議の環を表現したバッ...ウロボロス(Ouroboros)2008-03-09自己言及の定理(ゲーデル)哲学ゲーデル・エッシャー・バッハの3人目の重要人物はK・ゲーデル。ゲーデルは不完全性定理の証明の過程で自己言及のパラドックスをうまく回避しつつ自己言及を可能にするテクニックを編み出しました。自己言及は時にとんでもないパラドックスを引き起こします...自己言及の定理(ゲーデル)2008-03-08無限の可視化(エッシャー)哲学ゲーデル・エッシャー・バッハの2人目の重要人物はM・C・エッシャー。不思議な絵を描くことで有名な人です。私も高校の教科書でエッシャーの絵を初めて知り仰天した覚えがあります。不思議の環の概念に内在するのは無限の概念だ。いうのも、環は無...無限の可視化(エッシャー)2008-03-02無限に上昇するカノン(バッハ)哲学ゲーデル・エッシャー・バッハの序論を読む。バッハのフーガ、エッシャーの絵画、ゲーデルの定理をもとにこれらの背後にある「不思議の環」という概念を考えましょうという内容。見る久しぶりに面白い本を読んだ。見る瀬名さんと土井さんの対談集です。見る瀬名秀明さんの新作がついに出た。人工知能からどんどん離れてしつこくなってきたけどエリザベトのつっこみ(2005/7/24)の続き。非物質的なものに物質を動かしたり動かされたりする能力を認めることはそんなに難しいことなのだろうか?たとえば、炎は存在するのだろうか?私は小学生のころ炎...炎は存在するか?2005-07-24エリザベトのつっこみ哲学コンピュータウィルスはパソコンを破壊できるか?(2005/7/22)の続き。デカルトは二元論者で精神と身体は独立したものだとした。ここに突っ込みを入れたのがエリザベト王女だ。破壊?できるに決まってるジャン。フリーズさせたり、ハードディスクの内容消したり、システム起動できないようにしたり・・・・・・ここでいう破壊はそういう意味じゃない。パソコンを物理的に破壊できるか?という意味*1。経験主義(2005/7/12)の続き。17〜18世紀のヨーロッパの哲学は、大陸合理主義とイギリス経験主義が対立していた。この対立を解消し、統合したのがカントという哲学者。名前「だけ」は聞いたことあったなぁ。今日も『ソフィーの世界』の続きを読む。考えさせられたり、連想が広がったりする話題が多くて興味が尽きない。バークリはものの存在を疑った。今日は経験主義者ロックのところを読む。ロックは、私たちが持っている観念(=概念?)は、私たちがかつて感覚したことのあるものの反映にすぎないと考えたそうだ。続いて『ソフィーの世界』を読む。なんかはまってきたぞ。今日は、経験主義という考え方を知った。合理主義と経験主義の意味から。真の認識は経験に基づかないア-プリオリ(生得的)な理性的認識であるとする考え。見る素晴らしい本を見つけた...ソフィーの世界2005-05-30「自己」複製のパラドックス哲学2050年、人間は「不死身」に=脳の中身をPC保存(2005/5/26)の続き。自己複製は自分で自分を複製することだけどここで言ってるのはそれじゃない。「自己」の複製のこと。哲学プラトンの哲学の中にイデア論というのが出てくる。Wikipediaでイデアを調べてみると下のように説明されている。イデアとは最高度に抽象的な完全不滅の真実の実在的存在であり、感覚的事物はその影であるとする。イデアが存在しているのがイデア界(本質界...プラトンのオブジェクト指向講座2005-04-26哲学のエッセンス哲学というシリーズ本が新聞で紹介されてたので買ってみた。最近、高い本ばかり買ってるからすごくお得に感じる。心理学とかAIの哲学関係の本を読むときの基礎知識になりそう。融合法という推論規則について調べた。推論を機械化できるのはすごい。何も考えなくても記号を組み合わせるだけで結論を出せるのは驚きだ。古い人工知能は物理記号システム仮説を基礎においていると習ったことがある。哲学もし微分方程式を解く動物がいたら知能をもっていると見なされるだろうが、微分方程式を解くコンピュータは知能的とはいえない。