[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
143: 2020/04/04(土)23:34:01.25 ID:3A0p3doi(14/14) AAS
コンピューターで数学ができるかどうかはソフトウェアの問題であってハードウェアの問題じゃないよ
>>142
そりゃそうだけど別々の公理系では意味論が違うんだから翻訳できなきゃ同一視できないでしょ
要するに高次の理解がないと具体的に結びつけられない
IUTでも似たような話は出てくる
408: 2020/04/05(日)23:55:28.25 ID:hhbZ//Dr(1) AAS
>>405
何このスッキリしない表現は
本当に納得していたら自らショルツに説明してもいいくらいなのに。
460: 2020/04/06(月)09:45:44.25 ID:oa8vV0vE(1) AAS
>>438
＞既存の公理体系の中の理論です
4章はほぼカットかな
グロタンディークの真似事をしたかったんだろうけど、よく知らないのにそれっぽいことを書いて滅茶苦茶言ってたしな
659: 2020/04/06(月)19:33:41.25 ID:vl1NP+/7(7/7) AAS
>>496
IUTも理解者はこの時点でいる
詭弁を弄しないようにな
937: 2020/04/07(火)08:04:40.25 ID:I5SB4qpl(2/4) AAS
結論ありきで予算や人事を先行したが為に
失敗が判明しても引き返せなくなった構図はSTAP細胞騒動と変わらん。
故意でなくてもRIMSは指摘された矛盾点も理解できない無能集団ですとなるから
ショルツの再々反論に対応出来なきゃ権威は失墜する。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s