Inter-universal geometry と ABC予想 (応援スレ) 74 (881レス)
1-

801
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)21:29 ID:JgP2aXhR(12/14) AAS
>>800
>V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって
>グロタンディーク宇宙の拡大を次々に考えるのが
>IUTのミソなのに(らしいよ?)、
>集合じゃなかったら戯言になっちゃうもんな

1)”V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって”
 は、ノイマン宇宙でも同じでは?
省24
802
(2): 09/06(土)21:42 ID:1Qoa8Sie(5/7) AAS
「∈」の左側にクラスが来られるわけないだろ
どこにそんなことが書いてあるんだよ
人工無脳はコピペするだけで内容は読めねーのな

IUT論文IVにV_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・を実現するために
>Given any set x, there exists a universe V such that x ∈ V.
の公理を使うって書いてあるだろ
「∈」の左側に来るのは集合な
803
(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)21:42 ID:JgP2aXhR(13/14) AAS
>>796
>それで圏論?それで二階論理?何言ってんの?

いやー
マジレスすると
前にも書いたが
下記の 数学セミナー 池上大祐”フェルマーの最終定理はZFCの下で証明できるか?”

私見だが 二つ
省16
804: 09/06(土)21:49 ID:1Qoa8Sie(6/7) AAS
seta数学ではグロタンディーク宇宙が集合でなくなったことにより
宇宙の拡大 V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・を
正当化する根拠もなくなりました

iut論文に重篤な間違いが発見されたようなので
応援スレは無事終了ってことでよろ
805
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)21:54 ID:JgP2aXhR(14/14) AAS
>>802
(引用開始)
IUT論文IVにV_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・を実現するために
>Given any set x, there exists a universe V such that x ∈ V.
の公理を使うって書いてあるだろ
「∈」の左側に来るのは集合な
(引用終り)
省21
806: 09/06(土)22:06 ID:1Qoa8Sie(7/7) AAS
>別の書物には、別のことが書いてある気がするよ

お前の妄想だろ

人工無脳だから処理できないことはなかったことにして無視するんだよな

setaがiut論文に重篤な間違いを発見したようなので
応援スレは無事終了ってことでよろ
807
(1): 09/07(日)06:54 ID:CTxYlvA3(1/14) AAS
>>801
>”V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって”は、ノイマン宇宙でも同じでは?
V_nって宇宙だろ? だったら違うな
ZFCの最小のモデルでは、集合である宇宙が1つもない
モストフスキ崩壊補題とかいう以前の初歩

>>802
>人工無脳はコピペするだけで内容は読めねーのな
省3
808
(1): 09/07(日)07:00 ID:CTxYlvA3(2/14) AAS
>>803
>”フェルマーの最終定理はZFCの下で証明できるか?”
>私見だが(理由)二つ
>1)グロタンディーク宇宙+圏論の力
>2)圏論は 高階論理
>これが効いている気がする
>もちろん、IUTもだ
省9
809: 09/07(日)07:06 ID:CTxYlvA3(3/14) AAS
>>805
望月新一のスタイル

存在しないことを存在したと仮定し
できもしないことをできたと仮定して
いかがわしい成果をアピール

◆yH25M02vWFhPのスタイル

聞きかじった言葉を わけもわからず 検索
省6
810: 09/07(日)07:14 ID:CTxYlvA3(4/14) AAS
不定方程式に標準自然数の解が存在する場合は
直接それが解であることを計算で示せばいいので
当然算術で証明できる

問題は標準自然数の解が存在しない場合

もし、自然数論で証明できない場合
超準自然数解が存在する自然数論のモデルが存在する

例えばゲーデルの第二不完全性定理でいえば、
省13
811: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)07:28 ID:bTpJAS/P(1/33) AAS
新月か。月夜月見にいい詩だなあ。生まれゆくもの、死にゆくもの 悟りを開くもの。
812: 09/07(日)07:43 ID:CTxYlvA3(5/14) AAS
なぜだろう?

最新カキコの名前欄に
「死狂幻調教大師S.A.D.@月と六ベンツ」
とあると萎える・・・
813
(2): 09/07(日)07:48 ID:CTxYlvA3(6/14) AAS
名前欄が
「現代数学の系譜 雑談 ◆yH25M02vWFhP」
の場合の書き込みの特徴

1.大抵(引用開始)引用(引用終り)で検索結果の丸コピペか、過去発言の引用から始まる
2.いずれにしてもその後の当人の文章は、ただの感想文 だいたいナイーブに間違ってる
3.で、シメは「俺は悪くない」「おまえらみんな馬鹿」という趣旨の文章で終わる

結論
省1
814: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)07:56 ID:bTpJAS/P(2/33) AAS
性欲が充足したらまた最新のカキコ。
815: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)07:58 ID:bTpJAS/P(3/33) AAS
子やら弟子の方になんかいってるわけじゃ。
816: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)07:59 ID:bTpJAS/P(4/33) AAS
おっぱいピークを更新したら。
817: 09/07(日)07:59 ID:CTxYlvA3(7/14) AAS
「死狂幻調教大師S.A.D.@月と六ベンツ」の場合
書き込み自体が無意味なので、真とか偽とかいう以前

最強といえば最強(笑)
818: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)08:00 ID:bTpJAS/P(5/33) AAS
性欲が湧くと絞れて増えるわ。
819: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)08:02 ID:bTpJAS/P(6/33) AAS
ある意味信仰で譲られ渡していくサイクルがあるとおっぱい増えるさ。
820: 09/07(日)08:03 ID:CTxYlvA3(8/14) AAS
◆yH25M02vWFhP が 「ポストモダン数学 ◆yH25M02vWFhP」になったら言いそうなセリフ 1

"Don't prove. intuit."
821: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)08:03 ID:bTpJAS/P(7/33) AAS
功徳がありすぎないようにね。女神様。
822: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)08:04 ID:bTpJAS/P(8/33) AAS
まあ夫婦の性的な話題をタブー視しないで。
823: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)08:06 ID:bTpJAS/P(9/33) AAS
点数も月経や生理に関係。
824: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)08:07 ID:bTpJAS/P(10/33) AAS
おっぱい上げとくよ。
825: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)08:09 ID:bTpJAS/P(11/33) AAS
おっぱいピークが上がると多産さ。ある主のエゴと犠牲が大事。
826: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/07(日)15:17 ID:hvfvmXnW(1/6) AAS
>>813
>1.大抵(引用開始)引用(引用終り)で検索結果の丸コピペか、過去発言の引用から始まる
>2.いずれにしてもその後の当人の文章は、ただの感想文 だいたいナイーブに間違ってる

まず 脱線だが
 ”813”か・・・ ラマンジャンのタクシー数の逸話ではないが
下記 怪盗アルセーヌルパンの小説 ”813”を思い出したよ

ところで、下記 多変数関数論の怪人 Professor Siu という人が居て
省22
827: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:21 ID:bTpJAS/P(12/33) AAS
ユナイテッドアローズ原宿店でうちの店舗だけど、コーヒーでも飲めば、デザイン建築、数学のイメージも湧くはずだ。
828: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:23 ID:bTpJAS/P(13/33) AAS
聖堂や神殿、クラブやテナント経営したら、数学者の自我が、肥大化しないよ。やはり文学や文系。
829: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:24 ID:bTpJAS/P(14/33) AAS
モードやブランド、数学をやる意味が…。
830: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:26 ID:bTpJAS/P(15/33) AAS
nyのソーホーやパリでも共同経営してるさ。一緒に仕事します?
831: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:28 ID:bTpJAS/P(16/33) AAS
数学が役に立つかもセンスの問題もある。
832: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:29 ID:bTpJAS/P(17/33) AAS
だから俺は数学者でも値踏みしますよ。
833: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:30 ID:bTpJAS/P(18/33) AAS
文学に数学が交わるとセンスよし。
834: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:31 ID:bTpJAS/P(19/33) AAS
病院経営だけだと精神的に不健康。
835: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:32 ID:bTpJAS/P(20/33) AAS
本当に常にセックスがしたいでしょうか。
836: 09/07(日)15:33 ID:CTxYlvA3(9/14) AAS
>>813
>おれの書く程度の話は
>前提条件がインプットされれば・・、必然 同じ結論に至るだろう
>つまり 命題 P→Q で条件Pと結論Q を 引用として明示すれば、
>「→」の部分は おのずと 各人が思いつくだろう ということ
>(数学なんだものww)

実は、P⇒Qが成り立ってないPとQを、
省20
837
(1): 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:33 ID:bTpJAS/P(21/33) AAS
文系に負うところか大きいと反省なさい。世界が。
838: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)15:34 ID:bTpJAS/P(22/33) AAS
精神病院のあとが大事で浮世離れしないこと。
839: 09/07(日)15:39 ID:CTxYlvA3(10/14) AAS
まあ

東京の有名中高一貫校を出て
東京大学の理科一類に現役合格しても
受けた最初の微分積分学の講義の
冒頭の実数の定義が何言ってるのかチンプンカンプンで
2年で駒場から出られるところを裏表4年やって
結局数学科には入れず
省7
840
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/07(日)15:56 ID:hvfvmXnW(2/6) AAS
>>807
>>”V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって”は、ノイマン宇宙でも同じでは?
>V_nって宇宙だろ? だったら違うな

まあ、学部の数学では 宇宙は まず出てこないし
数学屋の中でも ”宇宙”の定番定義は ないだろうよ
下記の 薄葉 季路 (早大理工)氏 などが、これからの学会標準を作っていくのだろう

さて、ゲーデルの Constructible universe L(下記)がある
省30
841
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/07(日)16:13 ID:hvfvmXnW(3/6) AAS
>>837
>文系に負うところか大きいと反省なさい。世界が。

死狂幻調教大師S.A.D.@月と六ベンツ さん、いつもありがとうございます。
全くですね

1)一般に 数学は きっちりした 定義からはじまるが
2)日常の世界では きっちりした 定義 が決められないことが多い
 例えば 日米関係の討論会があるとして
省10
842: 09/07(日)16:23 ID:CTxYlvA3(11/14) AAS
>>840
ZFCで最小の到達不能基数が存在しないモデルでは
ZFCの集合としての宇宙は存在しないけど
ああ、大学一年の一般教養の数学で落第したから知らない?

だろうね
843: 09/07(日)16:27 ID:CTxYlvA3(12/14) AAS
>>841
政治とか経済とかに興味ある生臭い奴が数学板に来るなよ シッシッ!

日本数学会は数学に興味ある数学ヲタクの会でしかありませんが何か?

ていうかボクちゃん最強っていいたがる奴は
日本なんてちっちぇえ島から出てってアメリカ行けよ
844: 09/07(日)16:28 ID:iCF0z4/i(1) AAS
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね

宇宙の拡大 V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・が
実現できなければ"in loop"のシミュレートもありませんね

setaがiut論文に重篤な間違いを発見したようなので
応援スレは無事終了ってことでよろ
845: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:28 ID:bTpJAS/P(23/33) AAS
シスターみたいな修士もかなり大事な時期かもよ。
846: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:30 ID:bTpJAS/P(24/33) AAS
スポーツで神のゲーム経営。
847: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:31 ID:bTpJAS/P(25/33) AAS
医学部のドクターとか。
848: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:34 ID:bTpJAS/P(26/33) AAS
博士で終わりじゃないし、自分で勉強できるまでなれば学歴の高低は関係ないじゃん。
849: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:37 ID:bTpJAS/P(27/33) AAS
医学部の大学病院名誉教授の教授になるまで出世の機微を。
850
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/07(日)16:38 ID:hvfvmXnW(4/6) AAS
>>808
>ワイルズはグロタンディク宇宙とか使ってないだろ

ド素人だな
ワイルズは、グロタンディクの数学を縦横に使っている
どこにどう グロタンディク宇宙かは 知らないがね

だから 使っていないとは 絶対に言えないよ
というか、いまさら だれも グロタンディクの数学
省16
851: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:38 ID:bTpJAS/P(28/33) AAS
サラリーマンじゃそれがないしさ。
852: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:39 ID:bTpJAS/P(29/33) AAS
医療工学みたいな新分野のほうが空いてるかも。
853: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:41 ID:bTpJAS/P(30/33) AAS
病気や怪我各種障害のデータ管理。
854: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:42 ID:bTpJAS/P(31/33) AAS
マイナンバーで繁殖のデータ。
855: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:44 ID:bTpJAS/P(32/33) AAS
なにか発明することのほうが議論をなぞるよりはいいのでは。
856: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:45 ID:bTpJAS/P(33/33) AAS
プロジェクトは始まってる。
857
(1): 09/07(日)18:40 ID:CTxYlvA3(13/14) AAS
>>850
>>ワイルズはグロタンディク宇宙とか使ってないだろ
>ワイルズは、グロタンディクの数学を縦横に使っている
>どこにどう グロタンディク宇宙かは 知らないがね

グロタンディクの数学だから
グロタンディク宇宙使ってるというのは
典型的な高卒ド素人の妄想
省17
858
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/07(日)21:12 ID:hvfvmXnW(5/6) AAS
>>857
>グロタンディクの数学だから
>グロタンディク宇宙使ってるというのは
>典型的な高卒ド素人の妄想

これだから、無知なド素人には困るw
といっても、私も似たようなもので 圏論は 2冊かじっただけだが ;p)
グロタンディクの数学=圏論 で
省27
859: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/07(日)21:12 ID:hvfvmXnW(6/6) AAS
つづき

(参考)>>840より再録
外部リンク[html]:www.mathsoc.jp
企画特別講演 2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
外部リンク[pdf]:www.mathsoc.jp
省14
860: 09/07(日)21:33 ID:CTxYlvA3(14/14) AAS
>>858
> 圏論は 2冊かじっただけだが
微積や線形代数の教科書も1ページ目から読めんド素人が
なんと馬鹿なことをしたもんだ(嘲)
861
(2): 09/08(月)02:12 ID:eiRVfER4(1) AAS
山下の子供がついに四段昇段
862: 09/08(月)03:08 ID:nOnHkzBY(1/2) AAS
IUT詐欺事件を将棋で誤魔化す
京大数理研ととりまきたち、
863: 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)04:40 ID:w+sJt2kU(1/11) AAS
学生やら生徒たちにいうけれど学校では美醜の問題で差別やいじめがあるかもしれないけど純粋な数学というのはそういうことを超えた客観性の中にあって誰でも取り入れるものですその人なりの数学のスタイルが美しければそれは美しい人と言えるでしょう。心と頭脳が大事なんです。先生を選ぶなら人に流されるべきじゃないね。
864: 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)04:43 ID:w+sJt2kU(2/11) AAS
見てくれだけじゃその人がどういう体験をしているかわかりません。
865: 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)04:45 ID:w+sJt2kU(3/11) AAS
コンプレックスがあっても本質が客観的な先生を選ぶこと。
866: 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)05:21 ID:w+sJt2kU(4/11) AAS
しかも理解できてないとかいうけど嫌なお見合い相手まで理解する必要ありますか。指抜が大事でしょう。
867: 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)05:23 ID:w+sJt2kU(5/11) AAS
俺は頑固なのが最後に勝つと思うけど。
868: 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)05:27 ID:w+sJt2kU(6/11) AAS
嫌な人まで普段は理解しないのに数学になるとすべてを理解したがるのは変したがってすべての数学を理解する必要もない。
869: 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)05:28 ID:w+sJt2kU(7/11) AAS
数学も恋人もよく選んでな。
870: 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)05:30 ID:w+sJt2kU(8/11) AAS
わかり合うなんて社会に押し付けられる嫌なこと。
871: 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)05:33 ID:w+sJt2kU(9/11) AAS
数学者は理想の恋人なのかな。そうでないならほとんどこき下ろしとけよ。
872: 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)05:35 ID:w+sJt2kU(10/11) AAS
こういうところも人格がおかしいのがいくらでもいるがそれは数学でバレるよ。
873: 09/08(月)05:49 ID:cHGHxDDe(1) AAS
IUTに関しては山下剛も被害者
874
(1): 死狂幻調教大師S.A.D.@月と六ベンツ 09/08(月)06:08 ID:w+sJt2kU(11/11) AAS
天文学者は科学的に月を見るけれど文学者は詩的に古文書、古い言い伝えのような月を見るだろう。どちらが正しいとも言えないがどちらが欠けても宇宙の説明ができない。
875
(1): 09/08(月)07:15 ID:Ey9PdG88(1/2) AAS
>>798
>外部リンク:mainichi.jp
>望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」
>毎日新聞
>2020/4/3
>2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、(ショルツ教授からの)再反論もない」

・”反論もしており、(ショルツ教授からの)再反論もない”では、弱い
省2
876
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/08(月)07:28 ID:Ey9PdG88(2/2) AAS
>>874
>天文学者は科学的に月を見るけれど

死狂幻調教大師S.A.D.@月と六ベンツ さん ありがとうございます
昨晩は、月食でしたね 寝てましたが (^^
外部リンク[html]:www3.nhk.or.jp
NHK
約3年ぶりの「皆既月食」8日午前2時半ごろから全国各地で
省13
877: 09/08(月)07:34 ID:nOnHkzBY(2/2) AAS
京都大、霊長類研を解体・再編へ 飼育施設めぐる不正経理など受け
朝日新聞 野中良祐
2021/10/26 17:00

外部リンク[html]:www.asahi.com
878: 09/08(月)07:54 ID:i0HFUsNb(1) AAS
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね

・グロタンディーク宇宙の定義はひとつ
違うというのなら例を挙げよ
・グロタンディーク宇宙は集合
望月も引用元のマクレーンもwikipediaもブルバキもそう言ってる
違うというのならそう言っている例を挙げよ
省6
879: 09/08(月)08:39 ID:a+oQhX0p(1) AAS
>>861 >山下の子供がついに四段昇段
>>876 >【将棋】山下数毅三段が四段昇段を宣言 新ルール適用第1号 目標は故大山康晴15世名人

将棋・チェス板に逝けよ
外部リンク:itest.5ch.net
880: 09/08(月)08:51 ID:Nahpa7mX(1) AAS
>>875
>”(ショルツ教授からの)再反論もない”では、弱い
>「”simplification”は ストローマンであって ”rigorous”な議論ではなくなり、数学の議論では許されない」
>と強く明言してほしい

そもそも
「一般には、E[l]に対してすべての bad multiplicative reduction の有限素点において
標準的な「乗法的部分空間」と「生成元」と一致する
省22
881: 09/08(月)08:57 ID:woWQlcgS(1) AAS
δ関数は通常の意味での関数ではない
しかしながら、シュワルツも佐藤幹夫もそれぞれの方法で
δ関数を数学として意味ある対象として定義した

だから、MSの夢想が直ちに無意味だと言い切ることはできない
しかしながら、MSの論文のやり方では少なくとも定式化に成功していない
ABC予想が真であるとしても、MSの論文はその証明にはなっていない

RIMSは「MSは第二の佐藤幹夫」ということにしたいのだろうが
省1
1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 2.046s*