[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(3): 2020/05/18(月)21:54 ID:vXEwffiD(1/7) AAS
IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ
Inter-universal geometry と ABC予想 51
2chｽﾚ:math
Inter-universal geometry と ABC予想 52
2chｽﾚ:math
922: 2020/06/26(金)20:18 ID:oXh3y2j/(1/2) AAS
幻の3ページってもう公開されてる？
どこにある？
923(2): 2020/06/26(金)21:06 ID:JI1vdLJy(1) AAS
外部ﾘﾝｸ[html]:kadobun.jp
924: 2020/06/26(金)21:18 ID:oXh3y2j/(2/2) AAS
>>923
ありがとう
925: 2020/06/26(金)21:18 ID:CINbXt5z(1) AAS
久しぶりに来たら広中先生と広島大学の話しかしてなくてワロタ
926: 2020/06/26(金)21:54 ID:9B7BKdlp(1) AAS
ほれ >>617
927(1): 2020/06/26(金)22:31 ID:ClgA7ekN(1) AAS
>>918
普通の独学ってなんだ？
928: 2020/06/26(金)22:47 ID:adhXN5Kg(1) AAS
>>923
ただのやっかみでワロ
929: 2020/06/27(土)00:36 ID:MrOBer/v(1) AAS
>>927
チート的な上級者のアドバイス無しで読書で勉強することじゃん
930(2): 2020/06/27(土)07:52 ID:wWzRNyRw(1) AAS
ショルツが言ってるから3.12は誤っている可能性が高いとか、
それでも望月先生が正しいといっているから間違っているハズがないとか
そういうことに外野の人たちが口出すのは学問的に不誠実としかいいようがない
フィールズ賞がなんだ 飛び級の天才がなんだ 学問に権威など本来不要です
931(1): 2020/06/27(土)08:23 ID:1gOqeBHS(1/2) AAS
独学でガロア原論文を読めば
基本的なアイデアとは何かを学ぶことができる。
代数方程式の解と対称性と群から
可解群で解ける解けない、
更に素数次方程式がある。
これは微分方程式や数論へ自然に
つながる。
省3
932: 2020/06/27(土)09:27 ID:QuoyYe4+(1/2) AAS
ブンゲンが変な本書いたせいで、変なブンケーがいっぱい寄ってきたんだな
933(1): 2020/06/27(土)09:43 ID:u6WtlkPg(1/2) AAS
>>931
数学の基本的なアイデアは寄せ集めや
定義へ矛盾を集約することではない
ことがわかる。
高みに立とうとして無内容なことを言っている
934(1): 2020/06/27(土)10:09 ID:RosYXiTd(1) AAS
>>933
abc予想の証明についてIUTには基本的なアイデアがないね
935(1): 2020/06/27(土)10:29 ID:H8zRp7Pv(1/2) AAS
>>930
3.12の証明にギャップがあると一部の数学者から指摘があるのに、3.12の証明を理解者の皆様方が書けないのは？
936(2): 2020/06/27(土)11:34 ID:lm4fgWxc(1/5) AAS
＞独学でガロア原論文を読めば
＞基本的なアイデアとは何かを学ぶことができる。
実際は、正規部分群の定義も誤解して、何も学べないｗ
某帝大工学部卒のセタがいい例ｗｗｗ
937: 2020/06/27(土)11:37 ID:lm4fgWxc(2/5) AAS
>>935
理解者が実在せず、理解者と云われてる人が、実はそうではないからでしょう
ブンゲンが理解者でないのは明らか やってることは
ここのセタとかいうトンデモド素人と全く同じ
数学者としてはこっ恥ずかしいレベルｗｗｗ
938: 2020/06/27(土)12:16 ID:XqRz5oW6(1/2) AAS
>>934
基本は上から押さえつけるんじゃないかな
そのために数をp進数にばらして切り裂くイメージ？
あの組み合わせの累乗の説明がおおもとなのかね
939(2): 2020/06/27(土)12:51 ID:QuoyYe4+(2/2) AAS
もっちとM大のFって共通してるね。
どっちも数論幾何専攻で若いころ天才と言われていたが
どっちもディオファントス問題でコケた。
もっちはabcでFの方は総実数体のフェルマー。
Fの方は海外一流誌に投稿してリジェクトされたが
掲載予定としたことで、これが後に問題となる。
もっちは自分のとこで掲載強行しようとしている。
省3
940: 2020/06/27(土)12:55 ID:H8zRp7Pv(2/2) AAS
あのドリーニュでさえ今では定理である予想を否定したし、ワイルズでさえギャップがあった
人っていうのはそれくらい間違えるものだが、権威が助長させてしまったんだろうな
941(1): 2020/06/27(土)13:20 ID:u6WtlkPg(2/2) AAS
>>939
め…名古屋大
942: 2020/06/27(土)13:49 ID:deLH5jBa(1) AAS
>>941
ワロタ
943(1): 2020/06/27(土)14:35 ID:1gOqeBHS(2/2) AAS
>>936
高校数学から怪しい例を上げられても、
同値関係類別からダメな人では。
ふつうは代数の集合群環体を学んで
からガロア理論だろうね。
(アインシュタインの特殊相対論の論文
では、観測と同値関係と群が背景にある
省1
944: 2020/06/27(土)16:42 ID:lm4fgWxc(3/5) AAS
>>939
この人ね
外部ﾘﾝｸ:ja.wikipedia.org
―――
21世紀COEプログラムにおける虚偽申請
FKは、21世紀COEプログラム申請書類の業績欄に研究論文8本を記載したが、
このうち3本は申請と異なり数学専門誌に掲載されていなかった。
省10
945(1): 2020/06/27(土)16:46 ID:lm4fgWxc(4/5) AAS
>>943
＞ふつうは代数の集合・群・環・体を学んでからガロア理論だろうね。
実は>>936の人の場合、集合の∈と⊂ですでに誤解するテイタラク
以前、某所で「a∈b ⇔ a⊂b」とかいう💣発言を平気でやらかしてたｗ
946: 2020/06/27(土)17:34 ID:XUKnJ+XK(1) AAS
>>930
もうある程度以上の研究者は内容で引っ掛かってる段階だよ
ケドラヤやFrenkelにしたってある程度は情報仕入れて言ってるから馬鹿にできたもんじゃない
特に数論幾何や非可換幾何の人は敏感だから、実は2012年から興味を持たれてたし
947(2): 2020/06/27(土)18:19 ID:jJISfmpF(1) AAS
>>945
>「a∈b ⇔ a⊂b」とかいう発言を平気
IUTの世界には、これが成立する世界もある
という意味だよ。
948: 2020/06/27(土)18:25 ID:XqRz5oW6(2/2) AAS
>>947
入れ子の説明はそういうことか
949(1): 2020/06/27(土)18:29 ID:PSQOD1jB(1) AAS
ということは矛盾が導かれるのか
950: 2020/06/27(土)18:50 ID:zL/39Pzq(1/2) AAS
>>949
ZFCに？
951: 2020/06/27(土)18:56 ID:zL/39Pzq(2/2) AAS
矛盾してる可能性なら
もっちー矛盾∧ZFC矛盾
もっちー矛盾∨ZFC矛盾
両方とも否定出来無いでしょ？
３パターンの１つの
「もっちー矛盾」だけに絞れるの？
952: 2020/06/27(土)19:02 ID:lm4fgWxc(5/5) AAS
>>947
いやいや IUTとは全然無関係なスレッドでそう豪語してたｗ
望月はさすがにそんなことはいわないだろｗ
953(2): 2020/06/28(日)01:05 ID:FU5+cX02(1) AAS
今数学物理情報で一番人材が集まるのってどこなの？
954(1): 2020/06/28(日)02:46 ID:ATjxMefg(1) AAS
東大では
数学<物理<情報<<<<<<理三
955(2): 2020/06/28(日)02:51 ID:9IwZE5H3(1/6) AAS
そんな進振り偏差値とか学部平均連中のどんぐりの背比べみたいな序列には何の意味もないと思うが
統一理論やるなら数学か物理しかないし
956(2): 2020/06/28(日)02:51 ID:JVFuVYx4(1) AAS
>>953
国内限定なの?
それとも海外含めたハナシ?
957: 2020/06/28(日)04:20 ID:GNnWSYjY(1/2) AAS
>>953-956
日本の学部入試止まり学部卒止まり馬鹿ロレアは残念無念だから最初から無意味。
958(1): 2020/06/28(日)04:56 ID:9IwZE5H3(2/6) AAS
というか、情報なら強いAIか計算複雑性
物理なら素粒子か非平衡統計力学
数学なら数論か量子幾何かミレニアム
この辺に貢献しなきゃ作業員でしかないし人材も糞もない皆同じ
959: 2020/06/28(日)05:04 ID:GNnWSYjY(2/2) AAS
>>958
層が薄っぺらいのは困る。
受験のプロばかりあつっかましくて。
960: 2020/06/28(日)07:18 ID:pZIGw+Wr(1/2) AAS
>>955
> 統一理論やるなら
高エネルギーの統一理論は物理
アインシュタインもウィッテンも物理、
ζの統一なら数学
オイラーもリーマンも数学、
IUTのように物理数学の混同は
省1
961: 2020/06/28(日)07:32 ID:wQjhRQ0C(1) AAS
>>956
国内と世界両方の視点で
962: 2020/06/28(日)08:10 ID:s9y8etZF(1/7) AAS
情報科学なら、物理も数学も必要ない
数学についていえば、ガロア理論もトポロジーもフーリエ解析も知らなくていい
ただ論理学くらいは知っといてほしいけどね
完全性定理・不完全性定理は常識
機械検証とかやるならもちろん、計算複雑性とかAIとかやるとしてもね
ちなみに医者は、どれもいらないｗ
なんで理?がそんなに難しいのかワケワカラン
963(2): 2020/06/28(日)08:39 ID:pZIGw+Wr(2/2) AAS
>情報科学なら、物理も数学も必要ない
データから推定では逆の問題が必須
情報幾何で曲面多様体が必要
量子情報で物理のEPR現象量子的もつれが必要
情報エントロピーなら熱力学統計力学
の背景が必要
964(1): 2020/06/28(日)09:14 ID:9IwZE5H3(3/6) AAS
>>963
そうそう、数学も物理も必要
まあ程度問題ではあるが、下手したら深層学習の理論にホッジ理論まで使用される
965(2): 2020/06/28(日)10:27 ID:s9y8etZF(2/7) AAS
>>963
＞データから推定では逆の問題が必須
それ統計学だから数学
ちなみに量子云々といっても理論だけなら数学
量子コンピュータを作るのは、もはや物理というか工学
>>964
いつの時代でもハッタリかます人はいる
966(2): 2020/06/28(日)10:35 ID:s9y8etZF(3/7) AAS
ハッタリ屋の例
外部ﾘﾝｸ:www.jstage.jst.go.jp
上記で紹介されてる○木氏は、数学で話題になった理論や成果に
コジつけた論文を出すことでその筋では有名だった
しかしどれもこれもムリヤリ感満載で（技術としてはともかく）
理論としては全然次につながらなかった
ちなみに出身はKOの理工学部で工学系らしい
省3
967(1): 2020/06/28(日)10:45 ID:s9y8etZF(4/7) AAS
情報科学（というか論理学）で数学が必要かもな、と思わせる動き
Homotopy Type Theory
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
もっとも中身を見る限り、数学の証明に情報科学の手法を使ってるみたいだが
（それはそれで面白いからアリ）
968: 2020/06/28(日)12:34 ID:2VTX4WuJ(1/2) AAS
>>965
>量子云々といっても理論だけなら数学
すごいね、
量子論理の公理にしろ測定過程がある
時代にw
969(1): 2020/06/28(日)12:38 ID:9IwZE5H3(4/6) AAS
>>965
967のようにはっきり方向が見えてこないものは全てインチキやハッタリに見えるもんだが
某空間でのホッジ理論が深層学習など神経回路理論に使えるのは間違いないんだけどね
ただ応用上可能であってもそれくらい新しく負荷があるんならもはや数学として研究したほうがいいわけ
数理情報学の研究科でも数理統計学は数学科出身が普通だからな
普通の情報系は基本的には複素解析くらいまでにしといたほうが火傷しないで済む
970(2): 2020/06/28(日)12:58 ID:2VTX4WuJ(2/2) AAS
>>967
情報とは何？
量子力学のEPR現象では光速を超えて
波束が収束する、
なぜデータ通信に使わないのだろうか？
971: 2020/06/28(日)13:15 ID:iuA6Jwjb(1) AAS
>>970
重ね合わせの原理を使う量子コンピュータ、とは別の方式の量子コンピュータを作れるらしいぞ。
972(2): 2020/06/28(日)13:21 ID:s9y8etZF(5/7) AAS
>>969
＞某空間でのホッジ理論が深層学習など神経回路理論に使えるのは
＞間違いないんだけどね
それは離散フーリエ変換並みに役に立つ堅い技術ってことかい？
某空間がどういう空間か分からんから
君が詐欺師でないと判断するには十分ではないが・・・
＞（HTTのようにはっきり方向が見えてこないものは
省13
973: 2020/06/28(日)13:24 ID:s9y8etZF(6/7) AAS
ID:2VTX4WuJ
君、大学の数学も物理も全く知らないド素人だろ？
口臭が実に素人臭い酸っぱいニオイがするｗ
歯磨けｗ
974: 2020/06/28(日)13:30 ID:s9y8etZF(7/7) AAS
ド素人の特徴
・物理学が究極の学問だと思い込んでる
（大抵、抽象化が理解できない具体馬鹿）
・二言目には量子といいたがる
（量子というのが究極の魔法だと思ってるらしい）
・エントロピーという言葉も大好物
（そのくせ対数とか全然分かってないｗ）
省2
975: 2020/06/28(日)13:43 ID:QUvFy6J+(1) AAS
>>970
それが通信に使えないことはノイマンが証明している
976(1): 2020/06/28(日)18:52 ID:Vt3HliZ/(1/2) AAS
望月先生とその一派を貶める意図は全くないのだが、全世界で関心を持っている研究者が数十人しかいない理論に一般人まで沸き立つのは異常だよ
加藤文元先生の本買った奴の9割は線形代数すら（いや、多分高校数学すら）まともに理解してないだろう
つまり、そういう人がこの本を読んだって
・abc予想は難しい
・その難しい問題を望月さんが解いた
という事実すら理解しない
省1
977: 2020/06/28(日)18:52 ID:Vt3HliZ/(2/2) AAS
✕事実すら
○事実しか
978(1): 2020/06/28(日)18:59 ID:9IwZE5H3(5/6) AAS
>>972
その反応でよくわからん理工学部出身の崩れだなというのがわかった
発狂してるけど、要するに複素解析を使う情報科学の理論が思い付かないってことでしょ？
しかも本当にまともな論理学者なら「論理学」なんて一緒くたにしない。どういう論理学かに言及する
せいぜい狭い自分の脳内に閉じ籠って他人を見下してください
979(1): 2020/06/28(日)19:10 ID:oJfWUhgK(1) AAS
学部生とかで「IUT理論を勉強したい」とか言ってるのって、単に「話題のキーワード」に飛びついてるだけで内容理解する気ないから、ぶっちゃけ数学に向いてないよね
980(1): 2020/06/28(日)19:11 ID:9IwZE5H3(6/6) AAS
>>972
必然性があるかって意味ではあるよ。統計学の計量の話だから。だがちゃんと一般化しないと使えない
単純にその情報分野の研究者でそこまで踏み込む人かいないので、全然進んでないけどね
やれないことはなくても面倒な話だからな
981: 2020/06/28(日)22:33 ID:VB7IHKZR(1) AAS
>>976
世界に数十人もいる時点で研究テーマとしてはメジャーもいいとこなんだがそれはそれとして
数学に興味を持つ人たちを増やして裾野を広げるという意味はあるよ
たとえ本人に数学に対する興味がなくともその子供が読んで興味を持つかもしれない
982(1): 2020/06/29(月)01:02 ID:9kxd/LKj(1) AAS
現代数学の系譜ってなんでセタって呼ばれてる？
983: 2020/06/29(月)06:41 ID:GkGJv2T6(1/7) AAS
＞要するに複素解析を使う情報科学の理論が思い付かない
電気関係ならバンバン使うだろうけどね
でも、それは情報科学じゃないよな
984(1): 2020/06/29(月)06:43 ID:GkGJv2T6(2/7) AAS
>>978
＞本当にまともな論理学者なら「論理学」なんて一緒くたにしない。
＞どういう論理学かに言及する
論理学は一つです 論理が無数にあるだけ
これがまともな論理学者の考え方
「俺は●●論理しか正しいと認めない」
というのは●違いです
省2
985: 2020/06/29(月)06:45 ID:GkGJv2T6(3/7) AAS
>>980
何に対する回答？
君、スキゾフレニアかな？
986(1): 2020/06/29(月)06:49 ID:GkGJv2T6(4/7) AAS
>>979
学生だけじゃないけどね アラ還の爺ぃで
「IUT理論を勉強したい」とかいって
シコシコ検索（のみ）して、
蟄居スレに結果を（読まずに）コピペ
しまくってるヤツいるけど
・・・ま、時間の無駄だね
省4
987: 2020/06/29(月)08:44 ID:3cDNJ67t(1/2) AAS
>>966
名前をぼかさずに白木善尚とはっきり書けよ
988(1): 2020/06/29(月)08:48 ID:3cDNJ67t(2/2) AAS
>>984
数理論理学と論理学はハッキリ違う
989: 2020/06/29(月)09:29 ID:swddx96C(1) AAS
>>982
2chｽﾚ:math
> file:///C:/Users/seta/AppData/Local/Temp/1902_Sylow.html
User Name = seta
990: 2020/06/29(月)09:57 ID:s0r2cBjq(1) AAS
>>966
「abc予想とフーリエ向井」とかな。
991: 2020/06/29(月)12:56 ID:dURyYhlp(1) AAS
>>986
IUTが中二病ワードになっているきらいはある
宣伝が成功しているようだね
実は数学のトリックにすぎず現実世界に全く影響を与えないとばれてしまったらどうなるのか
992(1): 2020/06/29(月)13:52 ID:GkGJv2T6(5/7) AAS
>>988
「論理学だが数理論理学でないもの」を具体的に示されたい
993: 2020/06/29(月)15:36 ID:ayvAzJ9x(1) AAS
早く宇宙際メリン変換作ってリーマン予想解決してくれよ
994(1): 2020/06/29(月)15:45 ID:xAqDI8zT(1) AAS
>>992
というかカテゴリーが違う
995: 2020/06/29(月)16:37 ID:GkGJv2T6(6/7) AAS
>>994
回答不能で悶死 成仏しろよ(-||-)
996(1): 2020/06/29(月)17:02 ID:yeAwg3TA(1) AAS
数理論理学は数学の一分野、これは簡単。
論理学は文系の論理学で、たとえば、「女の論理」とか超難しい。
997: 2020/06/29(月)17:09 ID:GkGJv2T6(7/7) AAS
>>996
文系の論理学とは何か 具体的に書き切ってみせろ
998: 2020/06/29(月)17:12 ID:0FXZ9iNy(1) AAS
女は男が好きだ
女は男が嫌いだ
これがマジ両立するのよね！
999: 2020/06/29(月)17:14 ID:IMT8AFcf(1) AAS
昔の論理学は今は論理学と呼ばれないものも論理学で扱っていた
1000: 2020/06/29(月)17:15 ID:pDaNvv2L(1) AAS
1000なら次スレは掲載されてから
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 41日 19時間 21分 26秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.165s*