悪魔の証明ってガチでやるにはどうすりゃいいの？

1 : 2021/11/17(水) 00:37:47.360 ID:LXa3L4t60: 証拠がないは根拠じゃないんだろ
マジで不可能なのか？
ちょっとくらい方法ないのか？
2 : 2021/11/17(水) 00:38:18.598 ID:aRLlfXME0: 幽霊がいないのは証明出来ない
8 : 2021/11/17(水) 00:40:04.354 ID:aYbJG64+0: >>2
幽霊という前提を潰すことでいないと証明したよ
3 : 2021/11/17(水) 00:38:25.721 ID:mXlz27v/0: 551がないとき～
4 : 2021/11/17(水) 00:38:58.660 ID:+EtQ0QwGd: 理論立てて証明すればいける
5 : 2021/11/17(水) 00:38:59.037 ID:TeCS5eRM0: 世界の果てまで1つの漏れもなく全てを調べ上げれば可能
6 : 2021/11/17(水) 00:39:32.985 ID:+EtQ0QwGd: 実際に対象を調べ上げるだけが証明方法ではない
11 : 2021/11/17(水) 00:41:40.372 ID:LXa3L4t60: >>6
普通に納得したわ
7 : 2021/11/17(水) 00:39:38.110 ID:0By4EZbT0: お前が悪魔になれ
9 : 2021/11/17(水) 00:40:30.073 ID:RAwaxm7B0: お前がお前である証明ができる？
10 : 2021/11/17(水) 00:41:31.230 ID:0By4EZbT0: 友達四人で同じ幽霊見たことあるよ写真撮っても映らんかったは
12 : 2021/11/17(水) 00:44:32.169 ID:TeCS5eRM0: 理論立てるのはむしろ真逆じゃね？
「〇〇は××である」って常識に対して「いや例外あるかもしれなくね？」ってのが悪魔の証明のスタンスだし
13 : 2021/11/17(水) 00:44:51.630 ID:+EtQ0QwGd: でも「この世に白いカラスがいないこと」を理論立てて証明するのはほぼ不可能だろうけどな
14 : 2021/11/17(水) 00:47:54.137 ID:+EtQ0QwGd: カラス、白いカラスという物の厳密な定義がなされていることが前提だけど、カラスの取りうる姿の全てを範囲を理論的に明らかにできるなら白いカラスの有無を証明できるけど
そんな芸当は少なくとも現人類には無理
15 : 2021/11/17(水) 00:48:25.741 ID:eMc38rcO0: 白いカラスくらいいるだろ
17 : 2021/11/17(水) 00:50:25.157 ID:+EtQ0QwGd: 数学の証明とかは公理や定義から理論立てて証明するしかないな
例えば三平方の定理を全パターン列挙して証明するのは不可能だし
>>15,16
まあ確かに実際にはいるよな
16 : 2021/11/17(水) 00:48:32.427 ID:vkdcAMO30: 実際アルビノいるから証明不可能だけどな
18 : 2021/11/17(水) 00:50:47.010 ID:+Zm6Q+Ml0: 古代文明から霊的な概念はあるのに、現代に至るまで1件も存在証明ができてない時点で、不在証明と見なす

不在証明の研ぎ澄ましという手法
19 : 2021/11/17(水) 00:51:17.035 ID:vkdcAMO30: すまんね不毛なツッコミして
「透明なカラス」とでも言えば万全かな？
20 : 2021/11/17(水) 00:52:14.341 ID:+EtQ0QwGd: >>19
いいねそれ
21 : 2021/11/17(水) 00:52:38.732 ID:LXa3L4t60: >>19
うおーたしかに
頭いい
22 : 2021/11/17(水) 00:54:04.521 ID:lf6clvcp0: そもそもが悪魔の定義が不足しているのでテキトーに肉付けしたら終わりそうなもんだけどね
23 : 2021/11/17(水) 00:58:00.041 ID:UjYKoIhN0: 数学なら排中律でいけるのになあ
24 : 2021/11/17(水) 01:03:45.561 ID:6xzN29q90: 悪魔が実在するなら世界中探して連れてくればいいだけだがいないことを証明するのは探し方が足りないて言われるだけで反論される
26 : 2021/11/17(水) 01:07:48.726 ID:y/HrrHnRd: >>24
この万物の理論が完成すれば悪魔の不在証明もできるようになる
27 : 2021/11/17(水) 01:08:01.219 ID:y/HrrHnRd: >>26
☓この
30 : 2021/11/17(水) 01:10:00.200 ID:aYbJG64+0: >>24
そもそも悪魔の成立前提が破綻してるから
25 : 2021/11/17(水) 01:06:43.414 ID:NQ8PETFd0: 悪魔を連れてくればいいだけとは言うがその連れてきたものが悪魔って証明はどうするの？
31 : 2021/11/17(水) 01:10:59.711 ID:Oy/QT+TU0: >>25
なんか動物でも人間でもない変なの連れてきてそいつが悪魔だって言ってんだから「悪魔」の定義そのものをそれに合わせていいんじゃね？
28 : 2021/11/17(水) 01:09:29.044 ID:y/HrrHnRd: 超大統一理論が完成し、多体問題の解析解が出るならいけるか？
32 : 2021/11/17(水) 01:13:00.130 ID:UjYKoIhN0: 悪魔の証明の悪魔って例えだからね？
わかるよね？
33 : 2021/11/17(水) 01:15:13.245 ID:rDpVMOn9r: 存在を証明できないという属性を悪魔が持っているとしたらどうだろう
34 : 2021/11/17(水) 01:17:45.513 ID:UjYKoIhN0: 形式主義のガチガチの公理系でも真とも偽とも証明できない命題すら存在するからね