[過去ログ]
Inter-universal geometry と ABC予想 39 (1002レス)
Inter-universal geometry と ABC予想 39 http://rio2016.5ch.net/test/read.cgi/math/1559125072/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
1: 132人目の素数さん [sage] 2019/05/29(水) 19:17:52.31 ID:O5hfrFeF IU幾何やABC予想に関する会話のサロンとして使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 38 http://rio2016.2ch.net/test/read.cgi/math/1556364289/ http://rio2016.5ch.net/test/read.cgi/math/1559125072/1
983: 132人目の素数さん [sage] 2019/07/05(金) 23:37:16.33 ID:K9VxBE6D 上でロバーツの一文についての補足なんですが、もちろん、 「望月が圏論の概念を(部分的に)使っているからと言って、彼が圏論をやっているわけではない」という意味です リテラルに読めばそうなります。しかし、ここでなぜcomputer scientistを例に持ち出したのかということですね まあ、私の深読みだと思うのですが・・・ http://rio2016.5ch.net/test/read.cgi/math/1559125072/983
984: 132人目の素数さん [] 2019/07/06(土) 00:58:55.79 ID:yKHKprzS >>979 kwsk http://rio2016.5ch.net/test/read.cgi/math/1559125072/984
985: 132人目の素数さん [] 2019/07/06(土) 09:17:02.47 ID:+Ho8rao1 専門を考えたら、単遠アーベル的復元/構成から、 先に考えてたのじゃないの? http://rio2016.5ch.net/test/read.cgi/math/1559125072/985
986: 132人目の素数さん [] 2019/07/06(土) 15:51:42.23 ID:SzxByl/K 結論ありきで辻褄合わせやってるうちにめちゃくちゃな議論でデタラメな結果になってしまうのはよくあること藁 http://rio2016.5ch.net/test/read.cgi/math/1559125072/986
987: 132人目の素数さん [sage] 2019/07/06(土) 16:01:31.87 ID:5dvSg4jK >>986 査読してても長大な技術的な論文で結果が間違っていると直感しても 間違いを指摘できないことはありますからね やっと間違いを指摘したら今度はまた長い修正論文を送ってきたりするし (事情があって)さっさとrejectできない場合は辛い http://rio2016.5ch.net/test/read.cgi/math/1559125072/987
988: 132人目の素数さん [] 2019/07/06(土) 16:56:47.74 ID:SzxByl/K 取り巻きとつるんで開き直って広告活動や政治工作打たれたりするとなおさらね。 もう痛みを伴う手荒な解決しか残されていないと自分はおもっています。 慎重に判断すべき、理解には時間がかかると煙に巻く癖に、予算や人事の権力闘争には勇み足、すべてこれが真実を物語っているのだと思います。 R*msがいつ引導を渡すのか、注目ですね。 2020に多額の税金をつぎ込んだ大規模プロジェクトがあるわけで、 当然その分の説明責任と成果に対する責任があるわけだから、そこが一つの転換期となるでしょう。 ここで詰め間違えたらR*msは数学界や日本国民からの信用を大きく失い失望させることになるでしょう。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/988
989: 132人目の素数さん [sage] 2019/07/06(土) 17:02:07.79 ID:JQlwrsWC >>988 多額wwんな規模じゃねーよww http://rio2016.5ch.net/test/read.cgi/math/1559125072/989
990: 132人目の素数さん [sage] 2019/07/06(土) 17:09:47.08 ID:lQHJNu5p 方向やアイデアはある種自然で正しい(とも思える) ただそれを今の数学の枠組みでやるには無理があるしギャップがうまれる だから遠回りでも望月か周辺が基礎付けをやるしかない http://rio2016.5ch.net/test/read.cgi/math/1559125072/990
991: 132人目の素数さん [] 2019/07/06(土) 17:47:23.95 ID:vf7Keayn IUT論文を取り下げ 書き直して再提出するべき、と言われてきたのにさ。 「修正」の上書きを繰り返しているうちに 外堀が埋まった感じがする。 圏論のこの点を指摘されたら更にどうなんだろ?と何となくわかるようになったw http://rio2016.5ch.net/test/read.cgi/math/1559125072/991
992: 132人目の素数さん [sage] 2019/07/06(土) 18:04:16.97 ID:5dvSg4jK >>655 // 1 . {. . .ヽ. . ヽ. . ',. .ヽヽ / .:/ ハ: :!: :.:ト、:.:. :\:...l:.. :}: : |_⊥ 、 j . {: .:{ :l、:l、: :.ト-ヽ、_:..`ヽ、j__イ_つノ l 1:ハ.::{ゝl=くヽ:.ヽ トィjr}Tァ┬ァ:.:´| |ハ :ヽlァ{トィrj \i ー_'っ /:.イ-、:。:| ヽ。ハ^rぅ' 丶 ` ノ', く } }:.ol゚ o 。 `ハ 。 {ァ´ヽ ,ー o':.へl お客様の中にIUTを修正できる方は ゚ ´ノi\ ー' ィ:;:.ィ/|/゚ 。 いらっしゃいませんか?? 。 o 。 ゚ハヘ;:>ー--<_rv〈、_ / ̄ヽ \/ll }l}`'^'ト、 / ::Y77l j l !_`7 l, ---::、〉 jl l ハゝ-i ヽ Vi } ,' ノ, ー_ヽ } , -‐ァl ノ / レ´,.- j j イ !l / / ハ -,.く! http://rio2016.5ch.net/test/read.cgi/math/1559125072/992
993: 132人目の素数さん [] 2019/07/06(土) 18:49:16.01 ID:EErN+KeY この飛行機に 単遠アーベルを直せる客は、乗ってません orz http://rio2016.5ch.net/test/read.cgi/math/1559125072/993
994: 132人目の素数さん [sage] 2019/07/06(土) 18:53:56.27 ID:1Jk9ck24 無限ループにありがちな自己同型矛盾の問題と可能性は●●だか教えてやらん http://rio2016.5ch.net/test/read.cgi/math/1559125072/994
995: 132人目の素数さん [] 2019/07/06(土) 18:59:08.79 ID:Sde7L8On ダメなの! 死にそうだから●●を教えて! お・ね・が・い http://rio2016.5ch.net/test/read.cgi/math/1559125072/995
996: 132人目の素数さん [sage] 2019/07/06(土) 21:00:30.51 ID:mexKV3lm 結局偉そうに批判している連中もショルツ様が言うまで自分では何も言えなかったモブ http://rio2016.5ch.net/test/read.cgi/math/1559125072/996
997: 132人目の素数さん [sage] 2019/07/06(土) 21:35:50.04 ID:VjsFe2sY >>981 実際には、宇宙際の関係は集合と要素という関係よりもラベルによる種の管理はHigherだから構わないと、 つまりZFCとは特に矛盾しないという言い方に落ち着きましたね。宇宙Uを各々「言語」と見なすと、 これは個人的には、存在論的には確かに面白い性質にはなっていると思います ここで宇宙が言語であるといっても、一次言語は絶対遠アーベル幾何学的な共通語になっている それを通じて任意の宇宙は別の宇宙を内部から解釈することができる それについてラベルを導入するというのも含めて、要は計算機科学的というのはここでは構成的、 直観主義論理的な考えとして相性は良いのかもしれない。拝中律は直観主義では統制的な縛りではないが、 同じようにIUTでは圏論的な普遍性というのは階層性の見方次第で縛りではなくなるのかもしれない ただ、スキーム論的な情報も実解析的な情報も下部構造である位相群の同型に依存しているはずなんですけどね どちらかというと、狙い通りにするための強引な構成と、色々な要素をぶっこんで万能感を満たしたい欲求が 見て取れるような気はしますけどね、意地悪かもしれませんが >>996 というか、それまで真剣に読んでた人がどれだけいたのかもよくわからんからね ショルツはディオファントス幾何が専門ではないのにさすが勉強熱心だった http://rio2016.5ch.net/test/read.cgi/math/1559125072/997
998: 132人目の素数さん [sage] 2019/07/06(土) 21:37:42.77 ID:VjsFe2sY ↑ZFCと矛盾しないという言い方に落ち着いた、ではなく「という感じに落ち着いた」です つまり単なる印象で具体的なエビデンスの話ではない http://rio2016.5ch.net/test/read.cgi/math/1559125072/998
999: 132人目の素数さん [sage] 2019/07/06(土) 22:23:23.41 ID:VjsFe2sY SSがクンマー理論の自然同型云々と言っているのは、結局フロベニウス射とも密接な関係があるんだけども、 スキーム論的なデータを復元するための基本的な算法構造、一次言語が何なのかという事 おおざっぱに言えば結局「同じ素材」でできているものだが、そこで全域定義されているはずの写像が何故 精妙な非同型として区別された非自明な特異性を持ちうるのか? フロベニウス射と遠アーベル幾何を無理やり使っても自明な全域写像しか成立しない かといって、IU形式主義というのも実は必ずしもラベル云々の議論を必然的には導かない 色々無理をして何とかABC予想の証明に結び付く例の不等式が構成されたわけだ http://rio2016.5ch.net/test/read.cgi/math/1559125072/999
1000: 132人目の素数さん [] 2019/07/06(土) 22:23:52.66 ID:vd7YBARF >IUTでは圏論的な普遍性というのは階層性 の見方次第で縛りではなくなるのかもしれない トンデモかも? http://rio2016.5ch.net/test/read.cgi/math/1559125072/1000
1001: 1001 [] Over 1000 Thread このスレッドは1000を超えました。 新しいスレッドを立ててください。 life time: 38日 3時間 6分 0秒 http://rio2016.5ch.net/test/read.cgi/math/1559125072/1001
1002: 1002 [] Over 1000 Thread 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。 運営にご協力お願いいたします。 ─────────────────── 《プレミアム会員の主な特典》 ★ 5ちゃんねる専用ブラウザからの広告除去 ★ 5ちゃんねるの過去ログを取得 ★ 書き込み規制の緩和 ─────────────────── 会員登録には個人情報は一切必要ありません。 月300円から匿名でご購入いただけます。 ▼ プレミアム会員登録はこちら ▼ https://premium.5ch.net/ ▼ 浪人ログインはこちら ▼ https://login.5ch.net/login.php http://rio2016.5ch.net/test/read.cgi/math/1559125072/1002
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.008s