ここでは虹裏imgのかなり古い過去ログを閲覧することができます。
20/10/07(水)14:52:28 No.734642320
不完全性定理って何
1 20/10/07(水)14:59:11 No.734643536
ググれカス
2 20/10/07(水)15:13:11 No.734646043
一定以上の数学ができる矛盾のないシステムは自分自身の無矛盾性を証明できないし 他にも証明も反証もできない命題が出てきたりするって定理だよ
3 20/10/07(水)15:27:46 No.734648615
ダンケ
4 20/10/07(水)15:28:12 No.734648689
数学の限界がないことを示した つまりどんなに数学者が頑張ってもその外側に正しいとも間違ってるとも言えないものがある それを説明できても別の何かがある
5 20/10/07(水)15:31:19 No.734649266
神が存在するとして数学的証明をしようにも証明ができないことを証明した 同様に存在しないことも証明できないんやけどな
6 20/10/07(水)15:33:00 No.734649564
天才が認める天才貼るな
7 20/10/07(水)15:49:43 No.734652294
当時ヒルベルトプログラムに参加してた数学者は驚愕だったろうなぁ
8 20/10/07(水)15:55:45 No.734653223
どこもかしこも思考の迷路みたいなもんに詰まってた状態を弾けさせたの？
9 20/10/07(水)15:57:55 No.734653582
ゲーデルとハイゼンベルグのどっちだろう
10 20/10/07(水)15:58:19 No.734653646
調べたら最後は人間不振から餓死していて圧倒された
11 20/10/07(水)16:00:31 No.734653985
>どこもかしこも思考の迷路みたいなもんに詰まってた状態を弾けさせたの？ 数学の完全性を証明しようと奮闘してたら不完全性を証明されたみたいな感じ
12 20/10/07(水)16:04:34 No.734654693
>数学の完全性を証明しようと奮闘してたら不完全性を証明されたみたいな感じ 当時の数学者は頭抱えただろうな
13 20/10/07(水)16:07:48 No.734655209
まあゲーデルのおかげで公理ってなんぞや？みたいな基本に立ち戻って現代数学基礎論が発展していったから数学者にとっても悪い話ばかりではない
14 20/10/07(水)16:07:57 No.734655236
１＋１が１００だとしてもそれに則った算式で理論体型作ればちゃんとした理論体型ができる そしてその理論体型の矛盾を証明することは不可能
15 20/10/07(水)16:11:05 No.734655734
ミル貝にアメリカ永住権を得る際の面接でアメリカが独裁国家になる可能性を指摘して 同席していたアインシュタインが驚いて取り繕ったと書かれてて笑った アインシュタインも人の子なんだな
16 20/10/07(水)16:12:18 No.734655912
数学は人類が作り上げた物のはずなのに人類にも手に負えなくなってるのか…
17 20/10/07(水)16:14:55 No.734656330
人類の作った物だから正しさの証明不可能な不完全な存在なんだぞ
18 20/10/07(水)16:16:29 No.734656579
>アインシュタインも人の子なんだな 元々役人だしなそこら辺は弁えてたんだろう
19 20/10/07(水)16:17:32 No.734656728
矛盾しててもその矛盾を正しくできる定理をいくらでも作れるから矛盾の有無が正しさの証明にならないだけよ
20 20/10/07(水)16:21:46 No.734657427
BASTARDの「神の正しさを誰が証明するんだ？」って台詞を思い出した
21 20/10/07(水)16:31:31 No.734659130
>そしてその理論体型の矛盾を証明することは不可能 矛盾であることは証明できても無矛盾であることはその公理内では証明できないって話じゃ無いの
22 20/10/07(水)16:34:13 No.734659674
この世界が矛盾がないことを証明するためにはここより高位の世界から見なければいけないので それが神だとも言える