[過去ログ] Inter-universal geometry と ABC予想 33 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
661
(2): 2018/10/23(火)16:08 ID:PmmZ0QQo(2/2) AAS
>>658
>IUTT主論文を「分かり易く」書くことはこれ以上無理だろう。

これは数学の文章について成立するいいわけではないよ。
やろうと思えば数学の文章は小学生でも正しいことが確認出来る文章に出来る。
しかし普通そんなこと要求されないのは、実際にはそんな要求は全く生産的ではないからだ。
そこまでしなくても読み手に十分行間を読む力と知識があれば、そこまでしなくても伝わるから。
しかし現時点で、この理論はショルツレベルの人でさえその正しさを確認できていない、つまり伝わってない。
省1
663
(2): 2018/10/23(火)16:23 ID:42ctqsNJ(7/13) AAS
>>661
なんか論点が決定的にズレていると思うんだけど、
ショルツは「分からない」と言っているの?それを匂わす個所でもあるの?
その箇所を引用してくれないかな
673: 2018/10/23(火)20:57 ID:7Wx3noR8(1/5) AAS
>>661
>これは数学の文章について成立するいいわけではないよ。
>やろうと思えば数学の文章は小学生でも正しいことが確認出来る文章に出来る。

ほんとこれ。
数学の証明はやろうと思えば「小学生でも正しいことが確認できる」。もしくは、
「プリンピキア・マティマティカ」のレベルまで詳しく書き下せるはず。
つまりどんな証明であっても、それが正しいものであるならば、事実上要求する側が満足するレベルまで、
省3
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.049s