[過去ﾛｸﾞ] Inter-universal geometry とABC 予想48 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
574(1): 2022/04/13(水)21:42 ID:cxjLeouM(1/2) AAS
>>572
普通の数学ではない言語体型で普通の数学では許されてない推論則による証明だという事やろ
もちろん自分達独自の言い回し、推論則で論文書くのは構わないが、それならそれで普通の数学に翻訳可能である事をあらかじめ確認しておかないといけない
まぁ言い訳やろ
実際には確かに批判は尤もで自分らの論理に“普通の数学では許されない論述”が入ってる事は認めた上で、しかしそれを「我々の理論は普通の推論則では書かれているわけではない」と開き直る事で面目丸潰れになるのを回避しただけやろな
そうでないならその“新しい言語体系、新しい推論則による数学”を示して見せてそれが普通の数学の“別の表現”に過ぎない事を示して見せればいい
まぁやらんやろ
加藤先生はここらが引き時と思ったんやろ
589(1): 2022/04/14(木)06:28 AAS
>>574
＞加藤（文元）はここらが引き時と思ったんやろ
望月新一本人はいつ引くんだろな
京大数解研もペテン師雇って恥ずかしくないのかね？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s