[過去ログ]
Inter-universal geometry と ABC予想 36 (1002レス)
Inter-universal geometry と ABC予想 36 http://rio2016.5ch.net/test/read.cgi/math/1546010649/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
211: 132人目の素数さん [sage] 2019/01/09(水) 10:40:59.49 ID:3VBVysYA >>208 まず数的な意味では理解されつつある、ということは普通にありえるよ 次に、意味的にもこれだけ大きな造語だらけの理論だと証明のモチーフすら見えにくいわけだから、 後追いする人間が証明の意味論的モチーフと部分的な証明を把握しつつあることもありえる そのどちらも触れるレベルではないとしたら、大変まずい状況である http://rio2016.5ch.net/test/read.cgi/math/1546010649/211
213: 132人目の素数さん [sage] 2019/01/09(水) 11:32:32.17 ID:3VBVysYA 何を言ってんだこいつは…はあ http://rio2016.5ch.net/test/read.cgi/math/1546010649/213
215: 132人目の素数さん [sage] 2019/01/09(水) 17:56:36.38 ID:3VBVysYA >>214 じゃなくて、理論のシステムを理解するのがそもそも難しいって話 前にrealified Frobenioidがわからなかったみたいなレスがあったろ?色々、IUTがまず何を論じているのかを ちゃんと理解しなきゃならないのが既に障壁なわけだ 実際にはある程度わかってしまえば、ワイルズの理論より遥かに難しいとは言えないものではあるし 論文自体は結構わかりやすく書かれているから、受容の妥当な期間はとっくに過ぎているわな http://rio2016.5ch.net/test/read.cgi/math/1546010649/215
216: 132人目の素数さん [sage] 2019/01/09(水) 17:59:03.05 ID:3VBVysYA つまり、普通に違和感を与えるような問題があるのだ、と見なすのが妥当ってわけだ http://rio2016.5ch.net/test/read.cgi/math/1546010649/216
221: 132人目の素数さん [sage] 2019/01/09(水) 18:42:35.79 ID:3VBVysYA >>220 失礼な事言ってるからはっきり言うと、あんたはアスペのアホだよね 文章の文脈が全然読めない。だから直観やアイデアの重要性もわからない 論文から簡単にわかるのに、realfied Frobenioidの意味も言われないとわからない まあそんな人にデタラメ扱いされても何のダメージもない http://rio2016.5ch.net/test/read.cgi/math/1546010649/221
222: 132人目の素数さん [] 2019/01/09(水) 18:46:12.18 ID:3VBVysYA 別に意味を普通にモデル理論的に考えたっていいんじゃないの? 勝手に意味論を変えるとかなんとか馬鹿丸出しなんだよなあ 大体どういう意味論を採用したいかは論文からわかるわけ。それを議論すればすむ話 形式体系とは違う場所を認めないアスペにはそれが理解できないわけだ http://rio2016.5ch.net/test/read.cgi/math/1546010649/222
223: 132人目の素数さん [sage] 2019/01/09(水) 18:48:45.85 ID:3VBVysYA わかるかな?「モデルから離れて妥当なモデルを論じる」のがこういう新しい理論を論じるってことだ ABC予想がZFCだからとか関係ないんだよ http://rio2016.5ch.net/test/read.cgi/math/1546010649/223
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.181s*