動機１０ | 世界一ついているアイデアマンの天上天下唯我独尊

100万ポイント山分け！1日5回検索で1ポイントもらえる

155345

ホーム | 日記 | プロフィール

【フォローする】【ログイン】

フリーページ

比べる

< 新しい記事

新着記事一覧(全721件)

過去の記事 >

2003年10月28日

今日の一文

みんながめいめい自分の神様がほんたうの神さまだといふだろう。
けれどもお互いほかの神さまを信ずる人たちのしたことでも
涙がこぼれるだろう。
それから僕たちの心がいいとかわるいとか議論するだろう。
そして勝負がつかないだろう。

けれどもし、おまえが本当の考えと嘘の考えとを分けてしまえばその実験の方法さえきまれば
もう信仰も科学と同じようになる

宮沢賢治

以下は「不思議の国のアリス」の内容の一部をまとめたものです。

アキレスは、のろまな亀にある命題が理論的に正しいということを証明しようとしていました。

前提1　A=B　前提2　B=C　よって結論　A=C　である。

アキレス：わかった？だから、A=Cになるんだよ。
亀：う～ん、A=B　Ｂ＝Ｃはわかったけど、どうしてA=Cってなるの？
アキレス：だから、A=B　Ｂ＝Ｃが正しければA=Cになるんだよ。
亀：そんなのいってくれないとわかんないよ、ちゃんと追加してよ。

前提1　A=B　前提2　B=C　前提3　A=B　Ｂ＝Ｃが成り立つ　よって結論　A=C　である。

アキレス：どう、今度こそわかった？
亀：う～ん、前提1，2，3はわかったけど、じゃあ、前提1，2，3が成り立つってことをいってくれないとわかんないよ。
アキレス：・・・・・。

結局のところ、理論性とは暗黙の了解によって成り立っており、理論的思考というものは一種の証明不可能な思いこみである。
つまり、「だから、成り立つんだってば」というような飛躍部分があって初めて理論は成り立つのである。

この理論の正当性の問題はゲーデルの登場によって、完全にとどめを刺されたことになる。

続く

お気に入りの記事を「いいね！」で応援しよう