[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
Inter-universal geometry と ABC予想 39 http://rio2016.5ch.net/test/read.cgi/math/1559125072/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
1: １３２人目の素数さん [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
922: １３２人目の素数さん [sage] 2019/07/01(月) 18:38:05.31 ID:MGEAluK/ 全部はったりじゃ具合悪かろう http://rio2016.5ch.net/test/read.cgi/math/1559125072/922
923: １３２人目の素数さん [] 2019/07/01(月) 18:39:55.64 ID:YT3DF9jp そもそもあの業績で、肝心のサーベイもクソの役にも立たず、それであそこのパーマネだからな。本人も流石に居心地悪いし後悔してるんじゃね？ http://rio2016.5ch.net/test/read.cgi/math/1559125072/923
924: １３２人目の素数さん [sage] 2019/07/01(月) 18:59:32.25 ID:JCTMUZTg クソ偉そうに罵倒とプロパガンダを繰り返すのが仕事だと思ってる院生と相性いいんじゃないの http://rio2016.5ch.net/test/read.cgi/math/1559125072/924
925: １３２人目の素数さん [sage] 2019/07/01(月) 19:05:08.38 ID:Fri2mAfi あの丸写しサーベイで科研費３百だか５百もらったんならBより時間単価高いよな 監修経費で高級焼肉に流用させたのか http://rio2016.5ch.net/test/read.cgi/math/1559125072/925
926: １３２人目の素数さん [] 2019/07/01(月) 19:14:19.80 ID:c1HN02P5 院生の本音 ttps://search.yahoo.co.jp/image/search;_ylt=A7dPgoMQzBlddAsANmWJBtF7?p=%E4%BB%96%E4%BA%BA%E3%81%AE%E9%87%91%E3%81%A7+%E7%84%BC%E8%82%89&fr=top_ga1_sa&ei=UTF-8#mode%3Ddetail%26index%3D0%26st%3D144 http://rio2016.5ch.net/test/read.cgi/math/1559125072/926
927: １３２人目の素数さん [] 2019/07/01(月) 19:40:23.98 ID:isDUtUwn この時間帯って内部者らしき擁護厨の工作員いないのな さては生活苦におわれてコンビニバイトとはごくろうなこったｗｗ 生活苦と引き換えに魂まで売り飛ばすとかＡＶ嬢かよ http://rio2016.5ch.net/test/read.cgi/math/1559125072/927
928: １３２人目の素数さん [sage] 2019/07/01(月) 20:56:42.70 ID:YZhdX5+W >>883なんかそうだが、 フーリエ変換とかテータ関数や乗法理論はわかるけどメリン変換が全くわからないなんてあるか？ 前者を代数幾何学的な設定で考えたら俺ならアイデア出せるよ 数学的視点から見てもよくわからないんだよな。何か書けるだろ http://rio2016.5ch.net/test/read.cgi/math/1559125072/928
929: １３２人目の素数さん [sage] 2019/07/02(火) 07:13:16.29 ID:8EzjP+CR 誰にでもすぐ右翼左翼のレッテルを貼って まともな政策論争ができないネット民に 似ているね、すぐ擁護派だの反対派だの いう奴。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/929
930: １３２人目の素数さん [sage] 2019/07/02(火) 07:20:59.06 ID:rXRTVteh 論点が明らかなのに明確な反論ができないからだろ 一部のフーリガンは証明された、されたの連呼だし 理性派？は反論できず新しい数学だとか可能性だとかで逸脱するし なにが新しいのかキチンと訴求すれば http://rio2016.5ch.net/test/read.cgi/math/1559125072/930
931: １３２人目の素数さん [] 2019/07/02(火) 12:05:32.00 ID:m+NrFT6e IUT周辺にはおもしろいネタがあるけど、 御本尊がIUTの (細かい)改良しか許さないの だろう http://rio2016.5ch.net/test/read.cgi/math/1559125072/931
932: １３２人目の素数さん [sage] 2019/07/02(火) 13:00:40.87 ID:BOcgD3xc 山のようなパッチが当たった、動くかどうかわからないプログラム、みたいな？ http://rio2016.5ch.net/test/read.cgi/math/1559125072/932
933: １３２人目の素数さん [] 2019/07/02(火) 14:30:07.21 ID:21EU+IlN >>931 周辺は自分たちのやりたいように勝手にやればいいと思うがな 「御本尊が(細かい)改良しか許さない」数学なんてすぐ潰れる http://rio2016.5ch.net/test/read.cgi/math/1559125072/933
934: １３２人目の素数さん [sage] 2019/07/02(火) 15:43:35.20 ID:CaFoTM5d >>931 まったく逆だと思う。むしろいじり倒して欲しいけど、周りが手をつけられないだけ。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/934
935: １３２人目の素数さん [sage] 2019/07/02(火) 15:49:59.62 ID:nzRoO8NL ＞御本尊がIUTの (細かい)改良しか許さないのだろう 何言ってんだこいつ(´･ω･`) http://rio2016.5ch.net/test/read.cgi/math/1559125072/935
936: １３２人目の素数さん [] 2019/07/02(火) 16:44:15.45 ID:2gT6mNci >>932 証明のプログラムなら 裏付けに論理の完全性 定理も必要だし、 IUTによる証明はIUT形式を含むんだよね http://rio2016.5ch.net/test/read.cgi/math/1559125072/936
937: １３２人目の素数さん [sage] 2019/07/02(火) 16:46:20.94 ID:IBtJIl6U うーん、メリン変換とスピンって言ったら一応ちゃんと一定の方向で模索はしてるのはわかるが 何か書いて出せよとw 特にIUTとモチーフとの関連は一本間違いなく書ける。でも、どうせアクセプトされないか http://rio2016.5ch.net/test/read.cgi/math/1559125072/937
938: １３２人目の素数さん [sage] 2019/07/02(火) 16:50:22.66 ID:IBtJIl6U とはいえArxivにどんどんプレプリント出すべきだよね あれだけの膨大な理論を理解して三年間一本も書けないとかありえないよ。全体的に無能としか思えないね http://rio2016.5ch.net/test/read.cgi/math/1559125072/938
939: １３２人目の素数さん [] 2019/07/02(火) 20:02:10.27 ID:EM+k0btj このスレでバカみたいなイチャモンつけるやつが多過ぎる。なぜだろう？ http://rio2016.5ch.net/test/read.cgi/math/1559125072/939
940: １３２人目の素数さん [sage] 2019/07/02(火) 21:09:10.63 ID:UDherhKq 研究室周辺が特異点なだけ http://rio2016.5ch.net/test/read.cgi/math/1559125072/940
941: １３２人目の素数さん [sage] 2019/07/02(火) 21:40:40.78 ID:pYbbnTiu 今回だってＢの非数学徒人気を利用して世論を扇動し、ゴリ押しで掲載させようとしたんだろうが世間はそんなに甘くない 脳内妄想全開だからＮスペもポシャるのさ Ｂだって密約のポストがゲットできないと笛吹になるかもよ あの理解度なら普通は厳しいだろうけど http://rio2016.5ch.net/test/read.cgi/math/1559125072/941
942: １３２人目の素数さん [sage] 2019/07/02(火) 23:54:03.15 ID:0FhYomiN IUTで所望の不等式を得て愛友亭で所望の地位を得る 東京の焼肉はうまくないのか http://rio2016.5ch.net/test/read.cgi/math/1559125072/942
943: １３２人目の素数さん [] 2019/07/03(水) 04:53:17.51 ID:jzO7LrN9 韓国政府から金貰ってる民団が組織的にもっちーを誹謗中傷する書き込みをしているのか。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/943
944: １３２人目の素数さん [] 2019/07/03(水) 08:10:59.09 ID:tlbTB8gt >>941 そういう陰謀論的なことを平気で書いてると、まともな批判とは 受け取られないよ。逆効果だからやめとき。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/944
945: １３２人目の素数さん [sage] 2019/07/03(水) 14:45:30.86 ID:0iHXX/7/ まともな批判と受け取ったことなんかあったっけ http://rio2016.5ch.net/test/read.cgi/math/1559125072/945
946: １３２人目の素数さん [] 2019/07/03(水) 14:55:30.44 ID:g6rILCt+ M月と取り巻きは説明責任を果たしていない、で終わりの話。 いつまでダラダラやるつもりよ？ http://rio2016.5ch.net/test/read.cgi/math/1559125072/946
947: １３２人目の素数さん [sage] 2019/07/03(水) 15:46:13.89 ID:iFK4d7Zh >>941 そうだよ。エディタ会議に物わかりのいい人が入ると大変なんだから。 コトによるけど退任責任の署名付きならいいんじゃないの。 事前に騒動の顛末は分かってるわけだし。 論文の掲載後に誤りが見つかることはよくあるといってもPRIMSの権威を左右する。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/947
948: １３２人目の素数さん [] 2019/07/03(水) 16:59:59.25 ID:pPcD8P3K 伝家の宝刀サーベイを見ろが通用しなくなったからなあ 当時から応援してた奴は知ったかぶり http://rio2016.5ch.net/test/read.cgi/math/1559125072/948
949: １３２人目の素数さん [] 2019/07/03(水) 18:18:08.27 ID:RzIG4v0m >>946 俺もそう思うわ。 K藤さん一般向けの解説書まで出して勇み足だよ。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/949
950: １３２人目の素数さん [] 2019/07/03(水) 18:20:18.18 ID:RzIG4v0m 圏論の連中は怪しいと言ってるけどね＞IUT 俺は解析屋だから詳細は追えないが。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/950
951: １３２人目の素数さん [] 2019/07/03(水) 19:25:56.85 ID:dqLWAG/2 2600 ふうL@Fu_L12345654321 学コン1傑いただきました！ とても嬉しいです！ https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg https://twitter.com/Fu_L12345654321/status/1144528199654633477 https://twitter.com/5chan_nel (5ch newer account) http://rio2016.5ch.net/test/read.cgi/math/1559125072/951
952: １３２人目の素数さん [sage] 2019/07/03(水) 22:36:21.98 ID:gmfcCeF+ まあ有耶無耶に逃げ切るっていうのはもう無いからね 文元が出した啓蒙本のせいで、アクセプトか誤魔化しか、動きがあったら必ず日本のマスコミは反応する 今年度中には何か起こるだろう http://rio2016.5ch.net/test/read.cgi/math/1559125072/952
953: １３２人目の素数さん [sage] 2019/07/03(水) 23:13:33.63 ID:cBOT5KQf 論文に対してのスタンスや総合的な情勢の解釈を間違えたから挽回はできないだろう 急先鋒のFでさえ大人しくなってるのに http://rio2016.5ch.net/test/read.cgi/math/1559125072/953
954: １３２人目の素数さん [] 2019/07/03(水) 23:17:11.42 ID:tlbTB8gt >>945 まともな批判と受け取られなくてもいいと開き直ってるのなら、 フェイクニュースだろうがなんだろうがお好きにどうぞ。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/954
955: １３２人目の素数さん [] 2019/07/03(水) 23:39:46.67 ID:CFWFpfGx 言葉って便利だよな 批判と誤りを履き違えて平然としてるのもどうかと思うが http://rio2016.5ch.net/test/read.cgi/math/1559125072/955
956: １３２人目の素数さん [] 2019/07/04(木) 00:00:03.04 ID:e0s7SjJC >>953 そういや何やってんだろうなあいつ笑 存在を忘れてたわ http://rio2016.5ch.net/test/read.cgi/math/1559125072/956
957: １３２人目の素数さん [] 2019/07/04(木) 08:50:15.13 ID:uq4SM7D9 >>950 > 圏論の連中は怪しいと言ってるけどね＞IUT なるほどやはりそうですか http://rio2016.5ch.net/test/read.cgi/math/1559125072/957
958: １３２人目の素数さん [sage] 2019/07/04(木) 12:16:24.43 ID:WVvlIGKU 論点はある程度明確なのだから少なくとも形式的に書き下せば認識のズレみたいな今の状況は進展するとは思うが形式的に書き下せないみたいな事を暗に望月さん言っちゃってるしなw IUTを形式化するところがまず今後やるべき事なんでしょう http://rio2016.5ch.net/test/read.cgi/math/1559125072/958
959: １３２人目の素数さん [sage] 2019/07/04(木) 12:25:48.56 ID:r9BoI4Q1 lepergeやDupuyも今年は足繁くMのもとに通ってるらしいし、今年後半にはノッティンガムから南出が戻ってくんだろ？特定助教でw あとは共同研究してるフェセンコの院生が特定研究員かもなww Mファミリーwwww http://rio2016.5ch.net/test/read.cgi/math/1559125072/959
960: １３２人目の素数さん [sage] 2019/07/04(木) 13:14:59.23 ID:q50OUQFv 俺は数学できないけどIUTやってみた。 したがって、”教授のメンツとそれらから定まる予算の計算の仕組み”を保つものが存在すれば、所望の研究所が得られるはずだということです。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/960
961: １３２人目の素数さん [] 2019/07/04(木) 13:39:25.72 ID:CsQjDDgF STOP IUT はありま〜す http://rio2016.5ch.net/test/read.cgi/math/1559125072/961
962: １３２人目の素数さん [sage] 2019/07/04(木) 13:44:36.47 ID:uvSAa4Sp 身内評価永久機関の試み http://rio2016.5ch.net/test/read.cgi/math/1559125072/962
963: １３２人目の素数さん [] 2019/07/04(木) 14:14:34.42 ID:pMW0ZGlk >>958 要は本人も単なるまやかしだと認めているわけだ藁 http://rio2016.5ch.net/test/read.cgi/math/1559125072/963
964: １３２人目の素数さん [sage] 2019/07/04(木) 14:40:29.79 ID:6LGlUzx7 ことここに至ればもう何らかのハードランディングしか残ってなさげ http://rio2016.5ch.net/test/read.cgi/math/1559125072/964
965: １３２人目の素数さん [] 2019/07/04(木) 14:46:22.23 ID:pMW0ZGlk 大理論、難解、真偽判定には時間がかかると銘打って 取り巻き連で結託すれば人事予算とやりたい放題になるという悪しき前例を作ってしまったよね、r*msは。 慎重に判断すべきと煙に巻くのに、この手の話に勇み足なのはなんでだろう http://rio2016.5ch.net/test/read.cgi/math/1559125072/965
966: １３２人目の素数さん [] 2019/07/04(木) 15:44:32.78 ID:3ZhQIMPA 完成してないのがわかってるからアクセプト➡ 予算獲得➡優秀な人材を多数確保➡拡張と 確定を狙ったんだろう http://rio2016.5ch.net/test/read.cgi/math/1559125072/966
967: １３２人目の素数さん [sage] 2019/07/04(木) 15:50:54.08 ID:u7Swe+1+ 姑息だよね〜 >>959 特定助教や特定研究員とはいっても採用に際して現状の指摘事項に 対するレポートや多少の質疑応答は必須だよねえ http://rio2016.5ch.net/test/read.cgi/math/1559125072/967
968: １３２人目の素数さん [sage] 2019/07/04(木) 16:43:07.71 ID:FVoBAriS >>966 それでご本尊や取り巻き連中がダンマリ戦法なのか http://rio2016.5ch.net/test/read.cgi/math/1559125072/968
969: １３２人目の素数さん [sage] 2019/07/04(木) 16:52:01.94 ID:chXgx/+D だったら何なんだよ、お前らは女性が化粧してたら怒り出すのか http://rio2016.5ch.net/test/read.cgi/math/1559125072/969
970: １３２人目の素数さん [sage] 2019/07/04(木) 16:59:29.02 ID:x00U3Nsp 誰か意訳して http://rio2016.5ch.net/test/read.cgi/math/1559125072/970
971: １３２人目の素数さん [] 2019/07/04(木) 17:40:28.51 ID:NlSu9whV ここは鮮人が多過ぎる。 組織的な書き込みのよう。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/971
972: １３２人目の素数さん [sage] 2019/07/04(木) 18:06:50.80 ID:PYOSW5iJ もういい加減次スレ建てるのやめようぜ オーバードクターの鬱憤晴らしの場になっているだけ http://rio2016.5ch.net/test/read.cgi/math/1559125072/972
973: １３２人目の素数さん [] 2019/07/04(木) 19:08:01.46 ID:opHQDpJX 出鱈目な内容のIUTへ毅然とした姿勢で 対応し ノーと発信すべき。 このスレで大切なことは 記録に残す http://rio2016.5ch.net/test/read.cgi/math/1559125072/973
974: １３２人目の素数さん [sage] 2019/07/04(木) 19:20:04.64 ID:24BqSlfM もし誤りだったら前代未聞の稀有なハプニングなので、単なるストレス発散の叩きと片付けるのは無理がある どうせ今年度が山なら適当に行っちゃっていいんじゃないか。落ちないし http://rio2016.5ch.net/test/read.cgi/math/1559125072/974
975: １３２人目の素数さん [] 2019/07/04(木) 22:06:13.01 ID:pMW0ZGlk 朝日スッパ抜きといい、誰かが入れ知恵してるのはまず間違いないからな。 とうの昔に被害妄想や批判者へのレッテルばりで片付けられる問題じゃないわ。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/975
976: １３２人目の素数さん [sage] 2019/07/05(金) 08:53:27.78 ID:0oh2mTfH 朝日すっぱ抜きのおかげで予算が付いて人員も増えるってウハウハだもんな http://rio2016.5ch.net/test/read.cgi/math/1559125072/976
977: １３２人目の素数さん [] 2019/07/05(金) 14:27:29.18 ID:SMgdAclR F藁先生はIUTをどう評価しているのか、ご存知の方はいますか？ 面識のある方はちょっと尋ねてみてください。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/977
978: １３２人目の素数さん [sage] 2019/07/05(金) 14:55:44.95 ID:L48BejiI 遺伝的アルゴリズムが近いってのに異論はないんだけど、もっと近い感じだと 「遺伝情報理論的遠アーベル幾何学」って感じだねw 凄くしっくり来る たまたま情報理論めくっててそう思ったよ。宇宙際の理屈もそうだけど、雰囲気は情報科学っぽいね。雰囲気は http://rio2016.5ch.net/test/read.cgi/math/1559125072/978
979: １３２人目の素数さん [] 2019/07/05(金) 20:43:02.58 ID:Q+m44D4z >>977 さては知ってて、あえて訊いてるだろ http://rio2016.5ch.net/test/read.cgi/math/1559125072/979
980: １３２人目の素数さん [] 2019/07/05(金) 23:07:14.93 ID:2LcLaaDX 次スレ Inter-universal geometry と ABC予想 40 https://rio2016.5ch.net/test/read.cgi/math/1562335430 http://rio2016.5ch.net/test/read.cgi/math/1559125072/980
981: １３２人目の素数さん [sage] 2019/07/05(金) 23:21:24.35 ID:K9VxBE6D >>978 望月がループ式入れ子宇宙を作ろうと考えた時、“simulate ∈-loops”から最初は基礎の公理に違反すると考え、 恐らくですが、anti-foundation axiomsやNon-well-founded set theoryを考えたのだろうと思うのですよ つまり、最初期の発想は計算機科学者のそれにかなり近い これは、IUT構想初期の講演原稿から読み取れます。その時点でラベルの使用も考えています しかし、さすがに基礎の公理に反するのはマズいと考えて、種と突然変異を持ち出したのでしょう
ね で、そのような宇宙はどうやって成立するかと考えて出来たのが充満多重同型であり、それをどうやって構成するのかというのが 単遠アーベル的復元/構成です(実際は手続きであり復元可能性であるので、クンマー理論とくっつける必要がある) さらに、充満多重同型のようなフラフラしたヌエ的な同型（もどき）にはラベルが「必要とされる」と ロバーツがMOで意味深なことを書いていましたね。望月は圏論をやってないし、高次圏も使ってないとしたうえで、 ttps://mathoverflow.net/questions/331349/anabelian-geometry-higher-category-theory ＞Just
because a computer scientist uses natural numbers, it doesn't mean they are doing number theory. ロバーツもIUTの動機付けや理論構築過程をよく分かっているのでしょう 遠アーベルの専門家じゃないヤツに用はない、と邪険に扱われていましたが・・・ http://rio2016.5ch.net/test/read.cgi/math/1559125072/981
982: １３２人目の素数さん [sage] 2019/07/05(金) 23:22:17.77 ID:K9VxBE6D >>980 スレ立て、乙です http://rio2016.5ch.net/test/read.cgi/math/1559125072/982
983: １３２人目の素数さん [sage] 2019/07/05(金) 23:37:16.33 ID:K9VxBE6D 上でロバーツの一文についての補足なんですが、もちろん、 「望月が圏論の概念を（部分的に）使っているからと言って、彼が圏論をやっているわけではない」という意味です リテラルに読めばそうなります。しかし、ここでなぜcomputer scientistを例に持ち出したのかということですね まあ、私の深読みだと思うのですが・・・ http://rio2016.5ch.net/test/read.cgi/math/1559125072/983
984: １３２人目の素数さん [] 2019/07/06(土) 00:58:55.79 ID:yKHKprzS >>979 kwsk http://rio2016.5ch.net/test/read.cgi/math/1559125072/984
985: １３２人目の素数さん [] 2019/07/06(土) 09:17:02.47 ID:+Ho8rao1 専門を考えたら、単遠アーベル的復元/構成から、 先に考えてたのじゃないの？ http://rio2016.5ch.net/test/read.cgi/math/1559125072/985
986: １３２人目の素数さん [] 2019/07/06(土) 15:51:42.23 ID:SzxByl/K 結論ありきで辻褄合わせやってるうちにめちゃくちゃな議論でデタラメな結果になってしまうのはよくあること藁 http://rio2016.5ch.net/test/read.cgi/math/1559125072/986
987: １３２人目の素数さん [sage] 2019/07/06(土) 16:01:31.87 ID:5dvSg4jK >>986 査読してても長大な技術的な論文で結果が間違っていると直感しても 間違いを指摘できないことはありますからね やっと間違いを指摘したら今度はまた長い修正論文を送ってきたりするし （事情があって）さっさとrejectできない場合は辛い http://rio2016.5ch.net/test/read.cgi/math/1559125072/987
988: １３２人目の素数さん [] 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: １３２人目の素数さん [sage] 2019/07/06(土) 17:02:07.79 ID:JQlwrsWC >>988 多額wwんな規模じゃねーよww http://rio2016.5ch.net/test/read.cgi/math/1559125072/989
990: １３２人目の素数さん [sage] 2019/07/06(土) 17:09:47.08 ID:lQHJNu5p 方向やアイデアはある種自然で正しい(とも思える) ただそれを今の数学の枠組みでやるには無理があるしギャップがうまれる だから遠回りでも望月か周辺が基礎付けをやるしかない http://rio2016.5ch.net/test/read.cgi/math/1559125072/990
991: １３２人目の素数さん [] 2019/07/06(土) 17:47:23.95 ID:vf7Keayn IUT論文を取り下げ 書き直して再提出するべき、と言われてきたのにさ。 「修正」の上書きを繰り返しているうちに 外堀が埋まった感じがする。 圏論のこの点を指摘されたら更にどうなんだろ？と何となくわかるようになったw http://rio2016.5ch.net/test/read.cgi/math/1559125072/991
992: １３２人目の素数さん [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 !_｀７ l, ---::､〉 jl l ハゝ-i ヽ Vi } ,' ﾉ, ｰ_ヽ } , -‐ｧl ノ / ﾚ´,.- j j イ !l ／ / ﾊ -,.く! http://rio2016.5ch.net/test/read.cgi/math/1559125072/992
993: １３２人目の素数さん [] 2019/07/06(土) 18:49:16.01 ID:EErN+KeY この飛行機に 単遠アーベルを直せる客は、乗ってません orz http://rio2016.5ch.net/test/read.cgi/math/1559125072/993
994: １３２人目の素数さん [sage] 2019/07/06(土) 18:53:56.27 ID:1Jk9ck24 無限ループにありがちな自己同型矛盾の問題と可能性は●●だか教えてやらん http://rio2016.5ch.net/test/read.cgi/math/1559125072/994
995: １３２人目の素数さん [] 2019/07/06(土) 18:59:08.79 ID:Sde7L8On ダメなの！ 死にそうだから●●を教えて！ お・ね・が・い http://rio2016.5ch.net/test/read.cgi/math/1559125072/995
996: １３２人目の素数さん [sage] 2019/07/06(土) 21:00:30.51 ID:mexKV3lm 結局偉そうに批判している連中もショルツ様が言うまで自分では何も言えなかったモブ http://rio2016.5ch.net/test/read.cgi/math/1559125072/996
997: １３２人目の素数さん [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: １３２人目の素数さん [sage] 2019/07/06(土) 21:37:42.77 ID:VjsFe2sY ↑ZFCと矛盾しないという言い方に落ち着いた、ではなく「という感じに落ち着いた」です つまり単なる印象で具体的なエビデンスの話ではない http://rio2016.5ch.net/test/read.cgi/math/1559125072/998
999: １３２人目の素数さん [sage] 2019/07/06(土) 22:23:23.41 ID:VjsFe2sY SSがクンマー理論の自然同型云々と言っているのは、結局フロベニウス射とも密接な関係があるんだけども、 スキーム論的なデータを復元するための基本的な算法構造、一次言語が何なのかという事 おおざっぱに言えば結局「同じ素材」でできているものだが、そこで全域定義されているはずの写像が何故 精妙な非同型として区別された非自明な特異性を持ちうるのか？ フロベニウス射と遠アーベル幾何を無理やり使っても自明な全域写像しか成立しない かといって、IU形式主義とい
うのも実は必ずしもラベル云々の議論を必然的には導かない 色々無理をして何とかABC予想の証明に結び付く例の不等式が構成されたわけだ http://rio2016.5ch.net/test/read.cgi/math/1559125072/999
1000: １３２人目の素数さん [] 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 このスレッドは１０００を超えました。 新しいスレッドを立ててください。 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.5
ch.net/login.php http://rio2016.5ch.net/test/read.cgi/math/1559125072/1002
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.604s*