数学の正しさを数学では証明出来ないらしい

1 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:39:37.449 ID:1wKTT+w30NIKU.net

数学は完璧じゃないね

2 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:40:13.803 ID:Yis4CNMHdNIKU.net

完璧なものってなんだ

3 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:40:18.798 ID:HvgGzSbGdNIKU.net

哲学の世界になるからな

4 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:40:31.325 ID:HvgGzSbGdNIKU.net

物理もそう

5 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:41:03.743 ID:asyjF9pV0NIKU.net

お前だってお前の正しさを証明できないだろ？

6 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:41:32.543 ID:oQuBj7l8dNIKU.net

自己言及のパラドックスか

7 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:42:18.450 ID:VzTH5bFbaNIKU.net

ゲーデルの不完全性定理を文庫本で読んだのか
なんかういういしいな

8 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:42:28.217 ID:INyJ+9+idNIKU.net

「数学の正しさを数学では証明できない」って事は何で証明してるの？

9 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:42:36.519 ID:zxThSXcK0NIKU.net

完璧があると信じて目指すものが数学

10 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:43:21.455 ID:asyjF9pV0NIKU.net

>>9
数十年古いわ

11 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:44:05.181 ID:vjhLNiXJ0NIKU.net

数学のベースとしてる基本定理を変えても成り立っちゃったんだっけ

12 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:44:20.336 ID:VzTH5bFbaNIKU.net

この問い10代の頃を思い出す
そういえばあの頃はおいらもういういしくみずみずしかった

13 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:44:29.199 ID:pIt5r6E60NIKU.net

>>8
厳密にはZFCからCon(ZFC)が証明出来ないことをメタ階層で証明してる

14 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:44:35.923 ID:fwxLalH6dNIKU.net

>>9
これだな
ゲーデル自身がまさにそのタイプ

15 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:45:12.607 ID:VzTH5bFbaNIKU.net

>>9
ヒルベルトさんたちもかつてそう思ってた

16 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:46:06.511 ID:zxThSXcK0NIKU.net

結局現代でも数学は極められていないから完璧を目指すスタンスなのは大昔から変わっていない

17 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:46:20.721 ID:ytKA7qJWdNIKU.net

身分証明は他人にやってもらわないとダメってことか

18 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:46:24.434 ID:fwxLalH6dNIKU.net

>>15
というよりは論理主義を妥協したのがヒルベルトプログラムだな

19 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:50:00.726 ID:VzTH5bFbaNIKU.net

>>18
数学専攻のアニキですか？お詳しいですね。
オイラは工学専攻だったから文庫本レベルの知識しかありません。
文系で文庫本レベルの本読んで数学はしょせん不完全だから哲学こそ至高
とかいっちゃってる人って10年くらい前にいっぱいいましたね。

20 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:51:12.083 ID:RClqUixGdNIKU.net

尾田がどれだけワンピの方が面白いと言っても作者の発言だけでは鬼滅より面白いことを証明出来ない的な？

21 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:55:02.703 ID:P1DPRCPl0NIKU.net

ゲームを作っている論理はプレイヤーの行動原理と関係無い

22 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 12:55:37.292 ID:P1DPRCPl0NIKU.net

物理法則は生物の行動原理とは無関係

23 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 13:04:31.665 ID:XgHDeNDc0NIKU.net

我思うゆえに我ありっていうのは勘違いされがちだが
そういう大前提を言った言葉なんだよな
あらゆることはただの勘違いかもしれないけど
自分自身が考えているということは自分がいるということは確かだろうと
そこから理論を組み立てていきましょうと

24 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 13:09:20.977 ID:00JU4r+hMNIKU.net

？

25 ：以下、？ちゃんねるからVIPがお送りします：2020/12/29(火) 13:13:54.074 ID:KfXSD4o30NIKU.net

ある前提から導かれた結論は正しいよ
キッズどもが勘違いしたこと言ってるけど