ヒルベルト「数学で証明出来ない事は無い！」ゲーデル「！！」ｼｭﾊﾞﾊﾞ

1 ：風吹けば名無し：2018/02/09(金) 15:37:47.88 ID:v9dcUqPW0.net

ゲーデル「自然数論を含む帰納的に記述できる公理系が、無矛盾であれば自身の無矛盾性を証明できないぞ」

2 ：風吹けば名無し：2018/02/09(金) 15:38:31.79 ID:imM5CZm6d.net

若干滑ったな

3 ：風吹けば名無し：2018/02/09(金) 15:38:40.25 ID:6Wg8/9u70.net

ワイ「はえ〜」

4 ：風吹けば名無し：2018/02/09(金) 15:38:40.42 ID:5tIIJWwG0.net

日本語喋れゲェジ

5 ：風吹けば名無し：2018/02/09(金) 15:39:02.18 ID:bmscVKIl0.net

これほんま笑うよな
数学信者皆殺し

6 ：風吹けば名無し：2018/02/09(金) 15:39:10.22 ID:AzkoZljQa.net

命題「この命題は証明できない」

7 ：風吹けば名無し：2018/02/09(金) 15:39:39.40 ID:AzkoZljQa.net

嘘つき「私は嘘つきです」
こいつは存在しない

8 ：風吹けば名無し：2018/02/09(金) 15:40:48.41 ID:6Wg8/9u70.net

証明できない事がある事を証明したんか
でもこれって数学というか文法的な話やろ？
まぁ数論って文法が無きゃ表現出来ないんやからあれやけど

9 ：風吹けば名無し：2018/02/09(金) 15:41:46.22 ID:AzkoZljQa.net

自己言及型の命題の中には真でも偽でもないものが存在するんやろ

10 ：風吹けば名無し：2018/02/09(金) 15:42:32.87 ID:apdGJ9aC0.net

証明できない問題があるってこと？
永遠に結論の出ない

11 ：風吹けば名無し：2018/02/09(金) 15:42:51.50 ID:nG/hleNBa.net

よく分からんが一般化するとそうなるだけであって小中高で扱う程度の数学なら矛盾出ないんだろ？

12 ：風吹けば名無し：2018/02/09(金) 15:42:58.42 ID:3UoCXIXX0.net

ん？

13 ：風吹けば名無し：2018/02/09(金) 15:43:46.34 ID:/lK4JErE0.net

ヒルベルトシステムの彼？

14 ：風吹けば名無し：2018/02/09(金) 15:44:07.77 ID:AzkoZljQa.net

A「私は嘘つきです」
Aは嘘つきでも正直者でもない

15 ：風吹けば名無し：2018/02/09(金) 15:44:08.77 ID:PFPPcuU70.net

まずイッチの日本語がおかしいやん
数学以前に現代文勉強した方がええで

16 ：風吹けば名無し：2018/02/09(金) 15:44:30.66 ID:9wE1mYhoa.net

もっとわかりやすく

17 ：風吹けば名無し：2018/02/09(金) 15:44:47.46 ID:nG/hleNBa.net

>>14
それ数額関係するのか？

18 ：風吹けば名無し：2018/02/09(金) 15:44:53.47 ID:apdGJ9aC0.net

ヒルベルトの無限ホテルがいまだに納得できない

19 ：風吹けば名無し：2018/02/09(金) 15:45:11.17 ID:xv6Hb0t4d.net

>>11
別に無矛盾な構文論を構築できないとは言ってないぞ

20 ：風吹けば名無し：2018/02/09(金) 15:45:43.51 ID:AG+wgvSf0.net

しかもゲーデルはヒルベルトの弟子というね

21 ：風吹けば名無し：2018/02/09(金) 15:46:58.08 ID:AzkoZljQa.net

命題「この命題は偽である」

真だと仮定すると偽になって
偽だと仮定すると真になるので
真でも偽でもない

命題「この命題は証明不可能である」

証明可能と仮定すると証明不可能になり
証明不可能と仮定すると証明可能になる

22 ：風吹けば名無し：2018/02/09(金) 15:47:06.18 ID:bLQCdDNFd.net

すまん、つまり何が言いたいんや？🤔

23 ：風吹けば名無し：2018/02/09(金) 15:47:25.19 ID:AzkoZljQa.net

>>17
簡単に言うとこういうことや 数学は数字を扱う学問ではなく論理を扱う学問やで

24 ：風吹けば名無し：2018/02/09(金) 15:47:25.47 ID:nG/hleNBa.net

>>19
具体例がなくてボンヤリする

25 ：風吹けば名無し：2018/02/09(金) 15:47:47.13 ID:6o5AGHpk0.net

全然理解して無いけど
図書館のたとえで図書館全ての書籍を記した本があって、だけどその本にはその本自身が記されているのか、みたいな

26 ：風吹けば名無し：2018/02/09(金) 15:48:10.36 ID:G1jDyZaZK.net

出来ないことを証明したの？

27 ：風吹けば名無し：2018/02/09(金) 15:48:12.10 ID:AzkoZljQa.net

>>21
後半打ち間違えたがどっちにしろ証明不可能になる

28 ：風吹けば名無し：2018/02/09(金) 15:48:25.56 ID:g5lNwSNba.net

脳みそが爆発した