[過去ログ]
Inter-universal geometry と ABC予想 33 (1002レス)
Inter-universal geometry と ABC予想 33 http://rio2016.5ch.net/test/read.cgi/math/1539459427/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
673: 132人目の素数さん [sage] 2018/10/23(火) 20:57:51.41 ID:7Wx3noR8 >>661 >これは数学の文章について成立するいいわけではないよ。 >やろうと思えば数学の文章は小学生でも正しいことが確認出来る文章に出来る。 ほんとこれ。 数学の証明はやろうと思えば「小学生でも正しいことが確認できる」。もしくは、 「プリンピキア・マティマティカ」のレベルまで詳しく書き下せるはず。 つまりどんな証明であっても、それが正しいものであるならば、事実上要求する側が満足するレベルまで、 詳しく書き下せるはずなのだ。 ショルツを満足させないどころか、「定義から自明」からすこしも説明しない「証明」などあるべきはずがない。 いかに狂信者であっても現時点では望月がABC予想の証明を得ていないのは認めざるをえないであろう(と信じたい)。 http://rio2016.5ch.net/test/read.cgi/math/1539459427/673
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 329 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.011s