[過去ログ] Inter-universal geometry と ABC予想 33 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
673: 2018/10/23(火)20:57 ID:7Wx3noR8(1/5) AAS
>>661
>これは数学の文章について成立するいいわけではないよ。
>やろうと思えば数学の文章は小学生でも正しいことが確認出来る文章に出来る。

ほんとこれ。
数学の証明はやろうと思えば「小学生でも正しいことが確認できる」。もしくは、
「プリンピキア・マティマティカ」のレベルまで詳しく書き下せるはず。
つまりどんな証明であっても、それが正しいものであるならば、事実上要求する側が満足するレベルまで、
省3
674: 2018/10/23(火)21:03 ID:7Wx3noR8(2/5) AAS
つまり現時点での擁護派と懐疑派の論点は、
IUT理論には今だ望みがあるか、それともトートロジーで全く見当はずれなのかの争いと見たい。
ABC予想は証明されていないわな。さすがに。
IUTに望みがあるというのなら、ABC予想以外のuntrivialな結果を出すこと。
3.12は自明であるというのなら、それは公理なのか、数学的に位置づけを明らかにすべきである事。
が必要であると思う。
684
(1): 2018/10/23(火)23:27 ID:7Wx3noR8(3/5) AAS
>>680
その通り
残念ながらこのスレの参加者の大多数がわかるのは
ショルツスティックスは、3.12が論証されたとは考えていない事
それに対し望月らは、3・12の論証を試みているのではなく「SSの誤解に基づく」と反論していることがわかるくらい。
どう考えてもショルツスティックスを満足させるような論証はないと考えられる。


省4
685: 2018/10/23(火)23:29 ID:7Wx3noR8(4/5) AAS
上の>>680>>679の間違いね。
>>679のいうことはもっとも。
687
(1): 2018/10/23(火)23:55 ID:7Wx3noR8(5/5) AAS
>>686
ラベルの管理とか、俺には全く意味が分からんわw
つまりショルツの条件下では、3・12は成り立つ成り立たない以前に、意味を持たない、ということですか? 
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.032s