[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 45 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
98
:
現代数学の系譜 雑談 ◆e.a0E5TtKE
2020/05/05(火)15:38
ID:dnbV/fKk(24/45)
AA×
>>932
ID:B4L1lDg4
ID:zuve741i
2chスレ:math
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
98: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 15:38:12 ID:dnbV/fKk 本スレから 下記、機械検証をやるのは、みんな自由だし、例えば欧州数学会が、機械検証やって、「IUTアウト!」もありじゃない? そしたら、RIMS側は、その機械検証の検証をやることになりますよね 決着早くなるから、大賛成ですよw(^^; Inter-universal geometry と ABC予想 51 https://rio2016.5ch.net/test/read.cgi/math/1587468367/932-938 932 名前:132人目の素数さん[] 投稿日:2020/05/05(火) 14:33:36.01 ID:B4L1lDg4 [7/7] 擁護派って、もうだいぶ前から、数学的真理の擁護じゃなくて 望月とRIMSの強弁をいかに擁護するかの「弁護士の論理(小保方の論理)」になってるよね。 だから、たとえば3.12だけでも「機械検証ができないか」って水を向けられたら、 機械検証からいかに逃れるかの理屈が返って来るw もはや数学的真理などどうでもいのだろう。 938 名前:132人目の素数さん[] 投稿日:2020/05/05(火) 14:53:12.59 ID:zuve741i [3/3] >>932 >「機械検証ができないか」 It's a great idea! どれだけ時間がかかるかわかりませんが 是非実施すべきでしょう 拒む理由は全くありません http://rio2016.5ch.net/test/read.cgi/math/1588552720/98
本スレから 下記機械検証をやるのはみんな自由だし例えば欧州数学会が機械検証やってアウト!もありじゃない? そしたら側はその機械検証の検証をやることになりますよね 決着早くなるから大賛成ですよ と 予想 名前132人目の素数さん 投稿日火 擁護派ってもうだいぶ前から数学的真理の擁護じゃなくて 望月との強弁をいかに擁護するかの弁護士の論理小保方の論理になってるよね だからたとえばだけでも機械検証ができないかって水を向けられたら 機械検証からいかに逃れるかの理屈が返って来る もはや数学的真理などどうでもいのだろう 名前132人目の素数さん 投稿日火 機械検証ができないか どれだけ時間がかかるかわかりませんが 是非実施すべきでしょう 拒む理由は全くありません
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 904 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.038s