Inter-universal geometry とABC 予想55 (434ﾚｽ)
上下前次1-新
1(1): 04/13(土)15:22 ID:uEUP/Qtj(1/3) AAS
未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です
415(2): 05/02(木)09:26 ID:OKS868Zd(1/3) AAS
普通にやろうと思えば集合論の範囲でできそうだけどね。
それでできないなら何か問題がある。
416: 05/02(木)09:33 ID:QhmUzXll(2/3) AAS
論文ならできそうとかいらない
417(1): 05/02(木)09:42 ID:MGx3IZdS(3/8) AAS
>>415
>普通にやろうと思えば集合論の範囲でできそうだけどね。
x∈xは正則性の公理に反します ご存知？
正則性の公理を外せばもちろん構いませんがね
418: 05/02(木)09:43 ID:MGx3IZdS(4/8) AAS
一般の数学者は、数理論理学も集合論も大して理解してない、というのは本当です
まあ、数理論理学や集合論の技って、他の分野ではまず使わないから当然ですが
419(1): 05/02(木)09:47 ID:OKS868Zd(2/3) AAS
>>417
そうやって無理に集合のネストをすることに意味がないだろうって言ってんだけど
420: 05/02(木)09:50 ID:MGx3IZdS(5/8) AAS
>>415
>普通にやろうと思えば集合論の範囲でできそうだけどね。
>>419
>無理に集合のネストをすることに意味がないだろうって言ってんだけど
「何を」普通にやるのか、一切書かないから誤解される
a∈a、いらなくね って書けば一発でわかる
文章書けない馬鹿なの？
421(1): 05/02(木)09:58 ID:OKS868Zd(3/3) AAS
単遠アーベル幾何の構成についてだけど？
そのくらい当たり前に理解できないかな？
422: 05/02(木)10:27 ID:u4DjJzRY(3/3) AAS
Alianは単遠アーベル幾何学？IUTT？
矛盾する星と望月新一
>>59
423(1): 05/02(木)10:48 ID:AJ4PeYOp(1) AAS
>>414
>>395
必要ではなくて、∈-loops になるところがある。
だから、iut-?の§3に、基礎の公理についてのセクションを書いた。>>320
北大の論文では、極限の解析ならば、、、の条件かあるよ。
424(2): 05/02(木)10:57 ID:QhmUzXll(3/3) AAS
コレはなんで必要なのかサッパリわからないね
推察するに初期の頃に「iut論文の話全部認めるなら∈ループ出てくるからダメ」みたいなのがあったんじゃないの？
で望月先生もそれ認めて反論したとかじゃない？
こんなんばっか
425(4): 05/02(木)11:15 ID:D4jdpvN5(1/4) AAS
>>410
>F_1のところだけど、フロベニオイドのとこだよね。
１）F_1は、下記の2003年九大と北大の講演で出てくる意味は
明らかに、一元体のF1の意味ですよ （>>394より 一元体 https://ja.wikipedia.org/wiki/%E4%B8%80%E5%85%83%E4%BD%93 ）
２）”信州大(2008)の講演資料 https://www.kurims.kyoto-u.ac.jp/~motizuki/taguchi-san-no-nooto.pdf”
ではなく、そこは 下記の九州大学 2003年7月 田口さんのノートのことですよ
で 田口さん＝田口 雄一郎氏で、現在東工大教授ですね（彼は同時九大です（下記））
３）おっしゃる通り”フロベニオイドは望月新一（2008）によって導入された”が
2003年当時は、F1=一元体を考えていた
一元体だから、本来は元aしかない、つまり「a∈F1」しかないｗ
省36
426: 05/02(木)11:19 ID:D4jdpvN5(2/4) AAS
>>425 タイポ訂正
で 田口さん＝田口 雄一郎氏で、現在東工大教授ですね（彼は同時九大です（下記））
↓
で 田口さん＝田口 雄一郎氏で、現在東工大教授ですね（彼は当時九大です（下記））
427: 05/02(木)11:24 ID:MGx3IZdS(6/8) AAS
>>421
>単遠アーベル幾何の構成についてだけど？
>そのくらい当たり前に理解できないかな？
書かれてないことは妄想できない
（完）
428: 05/02(木)11:27 ID:MGx3IZdS(7/8) AAS
>>423
>∈-loops になるところがある。
どういうわけで？
>>424
>なんで必要なのかサッパリわからないね
おっしゃる通り
429: 05/02(木)11:29 ID:MGx3IZdS(8/8) AAS
>>425
>…F1=一元体を考えていた
>一元体だから、本来は元aしかない
>つまり「a∈F1」しかない
>だれが考えても、元aの1個ではどうしうもない！
>そこで、”a∈a∈a∈a・・”と妄想したのかも
それってあなたの妄想ですよね？ SET Aさん
430(1): 05/02(木)11:42 ID:D4jdpvN5(3/4) AAS
>>425 補足
>https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
>望月新一 出張・講演
>https://www.kurims.kyoto-u.ac.jp/~motizuki/taguchi-san-no-nooto.pdf
>[9] 数論的 log scheme の圏論的表示 （九州大学 2003年7月）. 田口さんのノート
(引用開始)
P1
これは新しい幾何の世界への入口である。
但し、scheme論では上の等式によりaffine schemeを貼合せることが出来たが、
ここでは通常のscheme論を安易にまねて貼合せをするのではなく、
省25
431: 05/02(木)11:45 ID:wOeeTgQW(1) AAS
>>424
iutでフロベニオイド使っている。それはない。
432: 05/02(木)11:48 ID:D4jdpvN5(4/4) AAS
>>430
>それってあなたの妄想ですよね？ SET Aさん
・SET Aさん？ 私は ”１３２人目の素数さん”＝名無しさん
です ；ｐ）
・妄想→推測ですよ。根拠もつけた>>430と>>425です
なお、”a∈a∈a∈a・・”は最終のIUT論文本体では出てこない！
（基礎論やぶりの言いがかりやめて）
・当時、望月新一氏がどう考えていたか？
それは、望月新一氏に聞くのが一番早い。ZEN大学へどうぞｗ
433: 05/02(木)12:17 ID:2SgEedok(1) AAS
基礎論は破ってるよ
望月先生の論文は何言ってるかわからない
どっかでショルツが自分の論文の検証をLeanで出来るかやってみてくださいとLeanのコミュニティに持ち掛けた話がある
もちろんLeanの中の人は基礎論、計算論が専門で数論幾何だ台数幾何だはまったくの素人
それでもキチンとショルツの論文をLeanで検証可能な言語に変換して検証作業をおこなって、なんと若干のギャップがあることを発見できたのこと
でもこれはむしろ出来て当たり前の話、現代数学のルールはそれに従っていれば、その論文が自分たちしか使わないような専門用語のオンパレードであったとしても、正しく現代数学のルールに従っていればその正しさを確認できるように作成されている
望月論文では不可能、何言ってるかわからない、そしてそれは「望月先生が天才で現代数学のルールの思わぬ盲点を突いたちょっと正しいとは気づきにくい表現をつかってるから」ではない
逆転狙うならLeanなりCoqなりで検証可能なコード出すぐらいじゃないともう見向きもされないやろ
434: 05/02(木)12:53 ID:Yb2nVnx3(1) AAS
パーフェクトイドも圏の同値の商か。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.271s*