Inter-universal geometry と ABC予想 (応援スレ) 74 (919ﾚｽ)
上下前次1-新
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
880(1): 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
δ関数は通常の意味での関数ではない
しかしながら、シュワルツも佐藤幹夫もそれぞれの方法で
δ関数を数学として意味ある対象として定義した
だから、ＭＳの夢想が直ちに無意味だと言い切ることはできない
しかしながら、ＭＳの論文のやり方では少なくとも定式化に成功していない
ＡＢＣ予想が真であるとしても、ＭＳの論文はその証明にはなっていない
ＲＩＭＳは「ＭＳは第二の佐藤幹夫」ということにしたいのだろうが
省1
882(1): 09/09(火)03:05 ID:ExKCFzwk(1) AAS
To appear AnnalsとIUTカルト
同じ分野なのは偶然なのか、日頃の横暴さ尊大さが人をモンスターに変えてしまったのか
883: 09/09(火)05:36 ID:rAfE1efC(1/2) AAS
悔しかったら論文書け
884(1): 09/09(火)06:59 ID:DOqIl8q0(1/2) AAS
>>882
同感です
IUT Challenger Prize
貰えるか否かは別として
アンチIUT論文書いて、投稿しな
論文が掲載されたら、アンチの主張にも一理あるだろうし
うまくいけば、100万ドルゲット！
省6
885(1): 09/09(火)07:14 ID:DOqIl8q0(2/2) AAS
>>880
>存在しない！
>が、仮に存在する（！！）と仮定しよう」とか
>「しかし、今度は次のような突拍子もない（！）ことを考えたくなる。
それ、高等数学では 普通の考え
・方程式とは？ もし解があるとして それを未知数として文字xで表すと・・ こうなるという
そこから、方程式論が始った
省17
886(1): 09/09(火)07:22 ID:fCKVa47H(1) AAS
>>884
>アンチIUT論文書いて、投稿しな
>うまくいけば、100万ドルゲット！
金が欲しいなら、数学者にはならないこった
887(1): 09/09(火)07:26 ID:rK+rCxve(1/2) AAS
>>885
>それ、高等数学では 普通の考え
>こういう高等数学のメンタルピクチャーは
>オチコボレさんには 理解できないだろう
何をほざいても、負けたら意味がない
弱小日本軍と同じ
888(1): 09/09(火)07:30 ID:rK+rCxve(2/2) AAS
結局のところ、存在しないものをいかに別の形で存在するといえるかがカギ
そして、ＭＳは１０００ページも書いたのにちっとも成功しなかった
これが事実
ご愁傷様
889(1): 09/09(火)08:02 ID:OBedh8Z2(1/2) AAS
破綻した人工無脳名乗らなくなったんかｗｗｗ
890(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/09(火)10:47 ID:mSmF3uVl(1) AAS
>>886
>金が欲しいなら、数学者にはならないこった
まあ、数学に限らず
アカデミックの学者などは
金儲けが目的でなるものではないだろうが
しかし、数学においても最近は 賞金額があがった
望月拓郎先生 米ブレークスルー賞 3億円 外部ﾘﾝｸ[html]:www.asahi.com
省19
891: 09/09(火)11:05 ID:vni1uKnI(1) AAS
>>890
>(賞金が)貰えるなら 貰っておくのがいいでしょうね
素人には無縁だよ
金がほしいならビジネスで頑張りな
>何をもってIUTが負けていると定義しているか不明だが
>優勢だよ ＩＵＴ。
>形勢判断ができない人たちだね
省7
892: 09/09(火)14:04 ID:5QJSkWGE(1) AAS
その周なんたらには推論則がのってるのかね？言語則がのってるのかね？IUT の何が問題視されてるのか理解できてるのかね？知能あるのかね？
893: 09/09(火)19:38 ID:OBedh8Z2(2/2) AAS
>>890
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね
・グロタンディーク宇宙の定義はひとつ
違うというのなら例を挙げよ
・グロタンディーク宇宙は集合
望月も引用元のマクレーンもwikipediaもブルバキもそう言ってる
省14
894: 09/09(火)20:29 ID:rAfE1efC(2/2) AAS
ぶっちゃけ、loop云々はもっちーのフカしっぽいので
マジメにきくのはバカバカしいかも
895: 09/09(火)20:48 ID:l71bGYss(1) AAS
ブンゲンくんはモッチーダシにして
贅沢しまくり豪遊の日々だろうね
数学捨てても人生満喫してますなぁ
896: 09/10(水)07:51 ID:EVlPpL6d(1) AAS
◆yH25M02vWFhP とかいう高卒オチコボレは
「有理数の個数は超準自然数で表せる！
だからヴィタリ集合の測度はその逆数で表せる！」
と妄想するが、
「じゃあ、有理数の個数っていくつだい？」
と尋ねると、答えられない
述語論理も無限集合も実数・数列の収束・関数の連続性の定義も分からん
省1
897(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)11:17 ID:+PMnxHB8(1/4) AAS
>>875 追加
(引用開始)
・”反論もしており、（ショルツ教授からの）再反論もない”では、弱い
・強く「数学では、”simplification”は ストローマンであって ”rigorous”な議論ではなくなり
公式の議論では許されない」と明言してほしい
(引用終り)
ディベート的にいえば、”反論もしており、（ショルツ教授からの）再反論もない”
省8
898(1): 09/10(水)11:32 ID:EM57T3O/(1) AAS
>>897
数学はディベートじゃねぇよ
高卒レベルの９割の馬鹿を口先三寸で誑かしても意味ない
899(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)14:38 ID:+PMnxHB8(2/4) AAS
>>898
>数学はディベートじゃねぇよ
それは、まさに正しい
「数学はディベートじゃない」は正しい
一方で、世の中の現実を 数学で扱うとき
なんらかの ”simplification” を 採らざるを得ない
例えば、ニュートン力学による 皆既月食の計算だが
省23
900: 09/10(水)15:16 ID:9SZ3T+Dk(1) AAS
>>899
＞数学は現実は切り離した 理想状態の純粋にロジックの議論
だろ？
しかし、望月新一はそのロジックの構築に完全失敗した
ショルツェは、望月新一の１０００ｐ超の記述は全くロジックとして解釈できないこと
そして、もし、ロジックとして解釈できるようにするには ”simplification”が必要であり
その ”simplification”を行うとロジックとして矛盾することを示した
省7
901(1): 09/10(水)16:13 ID:BGfw74h6(1) AAS
IUTプライズは事実上の休止状態だよ
（関係者は黙りこくってるが）
902(1): 09/10(水)17:23 ID:+PMnxHB8(3/4) AAS
例えば、ある論文の証明で
定理１、定理２、定理３（これが結論）
レンマ１、レンマ２、レンマ３
とあったとすると
各定理と各レンマで ギャップを示すか 反例を示すかを すればいいだけ
”simplification”は、全く不要
また、定理１、定理２、定理３（これが結論）
省3
903(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)17:29 ID:+PMnxHB8(4/4) AAS
>>901
>IUTプライズは事実上の休止状態だよ
>（関係者は黙りこくってるが）
まあ、9月17日を待て
>>727より再録
（参考)
外部ﾘﾝｸ:x.com
省10
904: 09/10(水)18:15 ID:dndCZNQa(1/4) AAS
>>902
実数の定義も分からんで大学１年の微積落第した高卒が何イキってんだ？
905: 09/10(水)18:16 ID:dndCZNQa(2/4) AAS
>>903
国籍しか自慢できない人生の負け犬国粋野郎が何イキってんだ？
906(3): 09/10(水)19:33 ID:2odKrGmh(1/5) AAS
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね
いい加減自分のデマカセを補強するために
事実を捻じ曲げたり他人の発言を曲解するのをやめような
グロタンディーク宇宙は集合だし他の（同値でない）定義などない
wikipediaもマクレーンもSGA4も望月もそう言ってる
そうでないってんのならお前の妄想以外で例を挙げてみろよ
省3
907: 09/10(水)20:03 ID:dndCZNQa(3/4) AAS
>>906
◆yH25M02vWFhPは述語論理が理解できないサルだから人間の数学は全く理解できない
大学は人間に思考させるところであって、思考できないサルに芸を仕込む場所ではない
工学部は大学ではなく職業訓練のための専門学校だから構わんがね（嘲）
908: 09/10(水)20:07 ID:dndCZNQa(4/4) AAS
東京大学で、大学と呼んでいいのは
文学部・理学部・教養学部（後期課程）だけ
法学部 ＝法律専門学校
経済学部＝商業専門学校
教育学部＝教育専門学校
工学部 ＝工業専門学校
農学部 ＝農業専門学校
省2
909(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)21:11 ID:u0x0EfOw(1/5) AAS
>>906
>グロタンディーク宇宙は集合だし他の（同値でない）定義などない
>wikipediaもマクレーンもSGA4も望月もそう言ってる
基礎論おバカが、なんか言っているねｗ ；ｐ）
まず、雪江 代数の教科書の用語から
『永田の可換体論では体，可換体という用語だが，今となっては「体」とは日本語ではほとんどの場合可換体を意味するようになっていると思うので，可換な体を最初から体と呼び，必ずしも可換でない体を可除環と呼ぶことにした.』
外部ﾘﾝｸ:www.math.kyoto-u.ac.jp
省32
910(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)21:12 ID:u0x0EfOw(2/5) AAS
つづき
では、グロタンディーク宇宙Uは 何者か？
宇宙であることは間違いない
それは、薄葉 季路氏もPDF中でも そう書いてある
クラスか？ ノイマン宇宙Vのクラスを集合として含むから クラスとも呼べないだろう
では 集合か？ L ⊂ V ⊂ U の Uに限れば、ノイマン宇宙Vを含むから 普通の集合ではない
実際、下記 強到達不能基数 κと関連して u(κ)などとも される
省24
911(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)21:14 ID:u0x0EfOw(3/5) AAS
>>906
>グロタンディーク宇宙は集合だし他の（同値でない）定義などない
>wikipediaもマクレーンもSGA4も望月もそう言ってる
基礎論おバカが、なんか言っているねｗ ；ｐ）
まず、雪江 代数の教科書の用語から
『永田の可換体論では体，可換体という用語だが，今となっては「体」とは日本語ではほとんどの場合可換体を意味するようになっていると思うので，可換な体を最初から体と呼び，必ずしも可換でない体を可除環と呼ぶことにした.』
外部ﾘﾝｸ:www.math.kyoto-u.ac.jp
省36
912: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)21:16 ID:u0x0EfOw(4/5) AAS
>>911
もとい
再投稿
>>910 タイポ訂正
が 定義上は集合で しかい ノイマン宇宙Vより大
↓
が 定義上は集合で しかし ノイマン宇宙Vより大
913(1): 09/10(水)21:36 ID:2odKrGmh(2/5) AAS
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね
いい加減自分のデマカセを補強するために
事実を捻じ曲げたり他人の発言を曲解するのをやめような
グロタンディーク宇宙は集合だし他の（同値でない）定義などない
wikipediaもマクレーンもSGA4も望月もそう言ってる
そうでないってんのならお前の妄想以外で例を挙げてみろよ
省19
914(1): 09/10(水)21:46 ID:2odKrGmh(3/5) AAS
早く「グロタンディーク宇宙が集合でない」って言ってる文献出せよ
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね
915(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)23:06 ID:u0x0EfOw(5/5) AAS
>>913-914
基礎論おバカが、なんか言っているねｗ ；ｐ）
>>909 再録
薄葉 季路 (早大理工) 集合論の宇宙 —Universe と Multiverse—
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
P3
集合の宇宙
省31
916: 09/10(水)23:09 ID:2odKrGmh(4/5) AAS
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね
いい加減自分のデマカセを補強するために
事実を捻じ曲げたり他人の発言を曲解するのをやめような
専門用語の用法が変わったら当然それを書いてる文献があるよな
ある文献で専門用語を使う際はその文献に定義が書いてあるよな
（ただし、その分野の基礎文献（例えばマクレーンとかｗ）に
省2
917: 09/10(水)23:12 ID:2odKrGmh(5/5) AAS
なあsetaさんよう
人の言ってること捻じ曲げるのをやめような
数学の講演者がスライドの中で明確な注意もなしに
専門用語の定義変えるわけないだろ
＞L ⊂ V ⊂ U
こんな電波飛ばしてんのはお前だけ
違うというのなら例を出せよ
省1
918: 09/10(水)23:43 ID:uWaGqrb4(1) AAS
>>915
>ノイマン宇宙V 、グロタンディーク宇宙Uで
>L ⊂ V ⊂ U
はい、大間違いです。
反例１
グロタンディーク宇宙の定義により{}はグロタンディーク宇宙であり、U={}のときUにはいかなる元も属さない。
一方ノイマン宇宙の定義により{{}}=V1⊂Vだから{}∈V。
省5
919: 09/11(木)00:03 ID:aIDeaB24(1) AAS
>>915
>狭い ノイマン宇宙V では クラスだが
>グロタンディーク宇宙U では 集合だとなる
何がクラスで何が集合と言ってんの？
日本語すらまともに書けんのか？ 言語障害？
>つまりは 公理の取り方で 集合 vs クラスの考えは変わるよ
何の公理をどう取るとどうなるのか具体的に言って。
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s