[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 33 (1002ﾚｽ)
上
下
前
次
1-
新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
673
: 2018/10/23(火)20:57
ID:7Wx3noR8(1/5)
AA×
>>661
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
673: [sage] 2018/10/23(火) 20:57:51.41 ID:7Wx3noR8 >>661 >これは数学の文章について成立するいいわけではないよ。 >やろうと思えば数学の文章は小学生でも正しいことが確認出来る文章に出来る。 ほんとこれ。 数学の証明はやろうと思えば「小学生でも正しいことが確認できる」。もしくは、 「プリンピキア・マティマティカ」のレベルまで詳しく書き下せるはず。 つまりどんな証明であっても、それが正しいものであるならば、事実上要求する側が満足するレベルまで、 詳しく書き下せるはずなのだ。 ショルツを満足させないどころか、「定義から自明」からすこしも説明しない「証明」などあるべきはずがない。 いかに狂信者であっても現時点では望月がABC予想の証明を得ていないのは認めざるをえないであろう（と信じたい）。 http://rio2016.5ch.net/test/read.cgi/math/1539459427/673
これは数学の文章について成立するいいわけではないよ やろうと思えば数学の文章は小学生でも正しいことが確認出来る文章に出来る ほんとこれ 数学の証明はやろうと思えば小学生でも正しいことが確認できるもしくは プリンピキアマティマティカのレベルまで詳しく書き下せるはず つまりどんな証明であってもそれが正しいものであるならば事実上要求する側が満足するレベルまで 詳しく書き下せるはずなのだ ショルツを満足させないどころか定義から自明からすこしも説明しない証明などあるべきはずがない いかに狂信者であっても現時点では望月が予想の証明を得ていないのは認めざるをえないであろうと信じたい
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 329 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.028s