[過去ログ]
Inter-universal geometry と ABC予想 33 (1002レス)
Inter-universal geometry と ABC予想 33 http://rio2016.5ch.net/test/read.cgi/math/1539459427/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
673: 132人目の素数さん [sage] 2018/10/23(火) 20:57:51.41 ID:7Wx3noR8 >>661 >これは数学の文章について成立するいいわけではないよ。 >やろうと思えば数学の文章は小学生でも正しいことが確認出来る文章に出来る。 ほんとこれ。 数学の証明はやろうと思えば「小学生でも正しいことが確認できる」。もしくは、 「プリンピキア・マティマティカ」のレベルまで詳しく書き下せるはず。 つまりどんな証明であっても、それが正しいものであるならば、事実上要求する側が満足するレベルまで、 詳しく書き下せるはずなのだ。 ショルツを満足させないどころか、「定義から自明」からすこしも説明しない「証明」などあるべきはずがない。 いかに狂信者であっても現時点では望月がABC予想の証明を得ていないのは認めざるをえないであろう(と信じたい)。 http://rio2016.5ch.net/test/read.cgi/math/1539459427/673
674: 132人目の素数さん [sage] 2018/10/23(火) 21:03:36.87 ID:7Wx3noR8 つまり現時点での擁護派と懐疑派の論点は、 IUT理論には今だ望みがあるか、それともトートロジーで全く見当はずれなのかの争いと見たい。 ABC予想は証明されていないわな。さすがに。 IUTに望みがあるというのなら、ABC予想以外のuntrivialな結果を出すこと。 3.12は自明であるというのなら、それは公理なのか、数学的に位置づけを明らかにすべきである事。 が必要であると思う。 http://rio2016.5ch.net/test/read.cgi/math/1539459427/674
684: 132人目の素数さん [sage] 2018/10/23(火) 23:27:57.77 ID:7Wx3noR8 >>680 その通り 残念ながらこのスレの参加者の大多数がわかるのは ショルツスティックスは、3.12が論証されたとは考えていない事 それに対し望月らは、3・12の論証を試みているのではなく「SSの誤解に基づく」と反論していることがわかるくらい。 どう考えてもショルツスティックスを満足させるような論証はないと考えられる。 で >>678が、 >望月がIUTTを「分かり易く」書き直したらショルツが満足するとでも本気で思ってるの? と書くのは、>>678が、ショルツがもはやハナから望月の方向性を信用していない(誤解している?)のが読み取れるからだろう。 だからと言って望月の側の「3.12はもはやこれ以上説明できない」という態度が正当化ができるとは思わないけどね。 http://rio2016.5ch.net/test/read.cgi/math/1539459427/684
685: 132人目の素数さん [sage] 2018/10/23(火) 23:29:59.25 ID:7Wx3noR8 上の>>680は>>679の間違いね。 >>679のいうことはもっとも。 http://rio2016.5ch.net/test/read.cgi/math/1539459427/685
687: 132人目の素数さん [sage] 2018/10/23(火) 23:55:09.21 ID:7Wx3noR8 >>686 ラベルの管理とか、俺には全く意味が分からんわw つまりショルツの条件下では、3・12は成り立つ成り立たない以前に、意味を持たない、ということですか? http://rio2016.5ch.net/test/read.cgi/math/1539459427/687
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.044s