1: ジオろぐ 2022/02/15(火) 23:21:14.11 ID:PJ1No3iX0
< グリムの定理 >
定義：　すべての真理を知る無矛盾な存在を”神”とする。

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

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

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

これは仮定と矛盾する。

よって神は存在しない。

2: ジオろぐ 2022/02/15(火) 23:22:03.72 ID:yEyM/XrW0
勝手に神の定義決められても

5: ジオろぐ 2022/02/15(火) 23:22:21.84 ID:PJ1No3iX0
>>2
じゃあ正しい定義を言えよ

11: ジオろぐ 2022/02/15(火) 23:24:29.23 ID:u7tBda1ca
>>5
負けてて草

14: ジオろぐ 2022/02/15(火) 23:24:57.93 ID:nSxeTlJK0
>>5
神のみぞ知るんや😌

3: ジオろぐ 2022/02/15(火) 23:22:13.58 ID:d6xTAAXU0
神なんか必要ねぇんだよ！

6: ジオろぐ 2022/02/15(火) 23:22:37.48 ID:K2bTgi100
数学とやらは「その程度」なのかい？

7: ジオろぐ 2022/02/15(火) 23:22:48.58 ID:gEHNyWy9a
深海に魚はいない！と言ってるようなもんやで
アホちゃう

13: ジオろぐ 2022/02/15(火) 23:24:54.33 ID:PJ1No3iX0
>>7
大丈夫か？
「深海に魚はいない」→数学的に真偽を断定する事はできてない
「神はいない」→数学的に真偽を断定できる

16: ジオろぐ 2022/02/15(火) 23:25:28.33 ID:cPPysS2+0
>>13
深海魚おるやん

21: ジオろぐ 2022/02/15(火) 23:26:46.91 ID:PJ1No3iX0
>>16
大丈夫か？
「数学的」→この文字が見えないか？

17: ジオろぐ 2022/02/15(火) 23:25:31.96 ID:u7tBda1ca
>>13
言う程数学的か？

8: ジオろぐ 2022/02/15(火) 23:22:53.62 ID:k6jZU6X80
数学は事実
宗教は本質

9: ジオろぐ 2022/02/15(火) 23:23:41.03 ID:PJ1No3iX0
>>8
事実として存在しえないものが本質なわけないだろ

15: ジオろぐ 2022/02/15(火) 23:25:10.27 ID:3PqWu0LUd
>>9
ほなら虚数は本質やないんか？

18: ジオろぐ 2022/02/15(火) 23:25:49.01 ID:ZFqQ5wvm0
なお不完全性定理のゲーデルは晩年神の存在証明に躍起になっていた模様

19: ジオろぐ 2022/02/15(火) 23:25:58.01 ID:u7tBda1ca
なんで神がすべてを知ってる前提なんや？

25: ジオろぐ 2022/02/15(火) 23:28:35.57 ID:K2bTgi100
>>19
西洋人の指す神はだいたいヤハウェだから

26: ジオろぐ 2022/02/15(火) 23:28:43.32 ID:CzgKs+NX0
神を試すな定期

30: ジオろぐ 2022/02/15(火) 23:29:05.47 ID:O0KNf/CMM
自然数論が不完全で終わりだろ

31: ジオろぐ 2022/02/15(火) 23:29:08.28 ID:RbSx8GpH0
その数学を作り出したのが神なんだが？

37: ジオろぐ 2022/02/15(火) 23:29:45.49 ID:/I77wlj90
神なんぞ無数におるし

39: ジオろぐ 2022/02/15(火) 23:30:15.21 ID:KRpMvLTW0
真偽不明は人間には理解不能であって神様には自明の理なんやぞ

40: ジオろぐ 2022/02/15(火) 23:30:28.58 ID:e/gtO9gl0
不確定性原理てなんやねん量子がランダムだから不確定なんだよ～とかどうせ言ってるでしょってイメージだったわ

41: ジオろぐ 2022/02/15(火) 23:30:30.35 ID:szuy/IOf0
「定義がわからない」で完結しとるやん
わからないモノはわじゃらない
ただそれだけ

44: ジオろぐ 2022/02/15(火) 23:30:57.79 ID:Vlt05ma10
それ数学関係なく定義がすべてやん

48: ジオろぐ 2022/02/15(火) 23:31:54.35 ID:TgERZLOh0
人の言葉で神を語るな😡

60: ジオろぐ 2022/02/15(火) 23:34:13.63 ID:PJ1No3iX0
>>48
今は理性至上主義の時代だ

53: ジオろぐ 2022/02/15(火) 23:32:35.63 ID:/+KdKu1J0
神って虚数みたいに便宜的なもんやな

56: ジオろぐ 2022/02/15(火) 23:33:17.34 ID:+PhVtOWZ0
神というものをそういう「人の力を超えているもの」とかんがえるなら
人間の考えた数学だの論理だのていどで存在を否定も肯定もできないだろ

59: ジオろぐ 2022/02/15(火) 23:33:41.76 ID:w0KfChDk0
神もいっぱいおるんやで
八百万の神や
それらは全知全能とは限らんのや

63: ジオろぐ 2022/02/15(火) 23:35:10.40 ID:8HooYQ0L0
カントがちゃんと　神の有無とか宇宙の果てとか考えても証明できないって言ってたで

67: ジオろぐ 2022/02/15(火) 23:35:38.41 ID:ZFqQ5wvm0
西洋の唯一神は前提として全知全能、完全、大きい存在とか色々極端な定義やから論理学に組み込みやすいんよ

68: ジオろぐ 2022/02/15(火) 23:36:00.15 ID:JAqMNYbD0
これは「真理を知る」の意味がミソやな
「真偽の判定が可能な命題について真偽を判定できること」なら仮定とは矛盾しない

76: ジオろぐ 2022/02/15(火) 23:38:32.62 ID:J24o/Caq0
ここの奴ら数学詳しそうだから聞きたいんやけど、大学の数学独学したいんやが何からやればええ？
解析は解析概論、線形代数は東京出版のやつ、数論は雪江って人のをやる予定なんやが他にやっといた方がええもんあったら教えてくれ
ゆくゆくは有名な証明問題とかを自分で考えてみたいんや

87: ジオろぐ 2022/02/15(火) 23:40:56.57 ID:qpGq+kDu0
>>76
裳華房の多様体入門とルーベグ積分入門

89: ジオろぐ 2022/02/15(火) 23:41:17.60 ID:4dlEs/i8r
>>76
基本はそれでええと思うけど
内田とかの集合位相入門ってやつ、いわゆる集合論と位相数学はどの数学でも大事やから忘れんように まあ数学科入ればすぐやるが
あと数学は諦めん事が大事やからそれ念頭にな

79: ジオろぐ 2022/02/15(火) 23:38:59.01 ID:li5SbDvz0
数理神学（mathematics theology）とかいう謎の学問領域が存在する事実
まあ神学からも数学からも科学哲学からもトンデモ扱いされてる鬼子らしいけど

75: ジオろぐ 2022/02/15(火) 23:37:55.74 ID:F9PuHT5Q0
神は存在するぞ
実在はしないけどな




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