C# と VB.NET の質問掲示板

わんくま同盟

ASP.NET、C++/CLI、Java 何でもどうぞ

C# と VB.NET の入門サイト


(過去ログ 38 を表示中)
■19167 / )  Re[6]: 中の人が外を認識できるか?
□投稿者/ れい (563回)-(2008/05/20(Tue) 17:23:41)
No19161 (凪瀬 さん) に返信

物理における証明の強弱について、少し混乱しているように見えます。

> 単純に、外に世界がないと矛盾するという事象を見つければ、外に世界があることが確信できるわけですよ。

世界がないと矛盾する、という事象を見つけるというのは「強い証明」です。

矛盾を発見するまでいかなくとも、
「外に世界があると考えたほうが合理的ある」ということがわかったら
それはある程度の強度で「外に世界がある」と考えてもよいと言えます。
こっちが「弱い証明」です。

ですので、

> 「重力の弱さについて説明できる」という点で外に世界があると仮定しているわけですね。

これは弱い証明です。

膜と膜の間ではまともに情報を伝えることができないという理論が一般的ですので、
その理論が正しければ強い証明は不可能です。
どんな証拠も、弱い証明の材料となるだけです。

太陽は地球の周りを回っている理論でもいいのです。
金星は太陽の周りを回っているのではなく、
地球の周りを複雑な軌道で回っているという理論でもいいのです。

でも、それだと理論から新たな事実を導出できない。
より汎な、より合理的なものを「正しい」としてきただけです。

別に、「神様が創った」でも、間違いはないのです。
返信 編集キー/


管理者用

- Child Tree -