1: ジオろぐ 2022/02/16(水) 23:01:51.69 ID:4D+0jzsE0
< グリムの定理 >
定義：　すべての真理を知る無矛盾な存在を”神”とする。

神が存在すると仮定する。

定義より神がすべての真理を知っている。

不完全性定理より、自然数論における公理系が無矛盾であれば、真偽不明な問題が存在する。

これは仮定と矛盾する。

よって神は存在しない

2: ジオろぐ 2022/02/16(水) 23:02:28.49 ID:ZzqlL9iAa
詭弁では？

3: ジオろぐ 2022/02/16(水) 23:02:48.12 ID:NT/EU++x0
定義が真であるかどうかが既に怪しい

4: ジオろぐ 2022/02/16(水) 23:03:32.34 ID:4D+0jzsE0
>>3
ヤハウェやアッラーの話や

9: ジオろぐ 2022/02/16(水) 23:05:01.27 ID:NT/EU++x0
>>4
その神と他の神の定義は違うのに神で括ってええんか？
これはヤハウェやアッラーの不在証明でしかないやろ

6: ジオろぐ 2022/02/16(水) 23:04:09.85 ID:1rTXaJqt0
不完全性定理は真偽不明な命題の存在をいう定理じゃねえんだよなあ

10: ジオろぐ 2022/02/16(水) 23:05:37.71 ID:4D+0jzsE0
>>6
自然数論を含む公理系である場合無矛盾かつ完全であることはありえない

14: ジオろぐ 2022/02/16(水) 23:07:41.03 ID:1rTXaJqt0
>>10
それはあくまで決まった手順で証明できないってだけだから、自然数論そのものっていうより証明方法の不完全さを言ってるんよ
神がもっと超越的に真偽を判断できるんだったらそれはそれで矛盾しない

18: ジオろぐ 2022/02/16(水) 23:08:46.04 ID:T55SaZ9T0
>>14
本物っぽいやつが来た
逃げるで！

20: ジオろぐ 2022/02/16(水) 23:09:37.39 ID:1rTXaJqt0
>>14
もっというと、それは自然数論を特徴づける公理系を満たす別のモデルが存在するってことと同値だから、結局公理系がまずいってことにしかならない、神の存在とは根本的に関係ない

21: ジオろぐ 2022/02/16(水) 23:09:55.01 ID:4D+0jzsE0
>>14
もっと噛み砕いて言うと
「うんちって言葉のみで完全かつ無矛盾な形で世界の全てを語れ　出来ないならうんちって言葉のみで完全かつ無矛盾な形で世界の全てを語る方法を知らないんだから全知全能じゃないやん」って話

8: ジオろぐ 2022/02/16(水) 23:04:38.67 ID:thRK3LjCM
もっと簡単なやつあったやろ

神は全知全能である
故に神は「存在する」という能力を持っている
QED

11: ジオろぐ 2022/02/16(水) 23:06:01.27 ID:b0Om6Adc0
神は文系やから理系の理屈は通用しないぞ

13: ジオろぐ 2022/02/16(水) 23:07:04.20 ID:4D+0jzsE0
>>11
神学って理系寄りやろ

19: ジオろぐ 2022/02/16(水) 23:09:33.78 ID:R2T7BfHV0
>>11
哲学や思想はむしろキリスト教に配慮して論理組み立てたりしてたんやで

12: ジオろぐ 2022/02/16(水) 23:06:42.44 ID:CiDJMkUJM
なんで神が全知全能であるって前提なんや
神だって知らないことあってええやん
人間の都合押し付けるなよ

17: ジオろぐ 2022/02/16(水) 23:08:19.23 ID:4D+0jzsE0
>>12
アッラーやヤハウェの神

22: ジオろぐ 2022/02/16(水) 23:10:07.27 ID:S6ogGRUi0
>>12
トイレの神様とかは知らんかもしれんな

15: ジオろぐ 2022/02/16(水) 23:07:55.95 ID:jEwg+ujP0
パスカルの賭けやろ

5: ジオろぐ 2022/02/16(水) 23:03:58.63 ID:Uf6AAPC1d
屁理屈やな




引用元：https://swallow.5ch.net/test/read.cgi/livejupiter/1645020111/