ゲーデルの不完全性定理って何😡

[0001 風吹けば名無し 2022/05/19(木) 21:03:49.83 ID:CImS5qSDa]

名前はかっこいいけどこれそんなにすごいの🤔

[0002 風吹けば名無し 2022/05/19(木) 21:04:12.48 ID:CImS5qSDa]

何が不完全なの😡

[0003 風吹けば名無し 2022/05/19(木) 21:05:06.68 ID:p6Iegba40]

停止問題

[0004 風吹けば名無し 2022/05/19(木) 21:05:19.03 ID:TydRwgIQ0]

完全性が証明できないことの証明じゃなかったっけ

[0005 風吹けば名無し 2022/05/19(木) 21:06:19.17 ID:uf1uYdBu0]

あれって実際ゲーデルがいなかったら見つけられなかったレベルのものなん？
ノイマンとか見つけそうやん

[0006 風吹けば名無し 2022/05/19(木) 21:07:05.99 ID:t8UcJj9U0]

なんかマリーチが発狂するんやろ
おりがみで見た

[0007 風吹けば名無し 2022/05/19(木) 21:08:10.17 ID:p6Iegba40]

>>5
ゲーテル数ぐらいなら考えつきそうよな

[0008 風吹けば名無し 2022/05/19(木) 21:08:22.09 ID:1gpOSpph0]

数学では数学のことを完全に証明できないって証明してしまったんや

[0009 風吹けば名無し 2022/05/19(木) 21:09:11.33 ID:nGwIUopid]

ざっくり言うと
「この定理は証明できない」
↑これは証明も反証もできない
ってことや

[0010 風吹けば名無し 2022/05/19(木) 21:12:26.78 ID:HWw1LXtk0]

>>5
コロンブスも言ってるけど思いつくことは別にすごくない1番初めに思いつくことがすごい

[0011 風吹けば名無し 2022/05/19(木) 21:13:27.02 ID:In4G7v1Ha]

>>8
ならもっと強い数学が必要なんか？