[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
32: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/01(土)15:15:53.89 ID:i+EantH6(6/13) AAS
>>29
(引用開始)
Inter- を常に〜際と訳すなら
Interface 面際
Internet 網際
Interact 動際
Interview 見際
Intercontinental 大陸際
intercollege 大学際
(引用終り)
省25
61(1): 11/02(日)21:39:02.89 ID:kHsCJN3F(7/7) AAS
>公理的集合論の外（素朴集合論）から見ると
公理的集合論の外の意味が全く不明だが（笑）
>実数Rの有理数Qによる同値類R/Qを考えることは可能であり
少なくとも有理数Ｑ全体の集合が存在し
有理数Ｑの部分集合の全体集合が存在する
と前提しないなら「可能」とは言えんな
>また、同値類R/Qの代表を考えることは可能である
省21
235(1): 11/04(火)20:52:43.89 ID:54iK+QXE(1/4) AAS
>>234
>君が真っ先にやるべきことは、下記の
>数学セミナー 2025年3月号の
>池上大祐「集合論の雑学――無限についてのおはなし
>フェルマーの最終定理はZFCの下で証明できるか？／
>グロタンディーク宇宙と到達不可能基数」
>を 読んで 内容を確認することだ
あなは確認してないんですね
つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず
あなたがそう信じているというだけです
省3
239(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)21:26:03.89 ID:yzUd5nV9(5/9) AAS
>>233
前スレの連投も含めて
運営に 君のアク禁依頼を出したので
首を洗って待て
253: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)11:15:26.89 ID:K/Lr81ky(5/12) AAS
>>252 補足
用語について
・高階算術
・finite order arithmetic
・Higher-order logic
・Higher order arithmetic by Colin McLarty自身 2014 mathoverflow
(参考)
外部ﾘﾝｸ[pdf]:www.aichi-gakuin.ac.jp
高階算術における抽象論
井澤 昇平
省30
363: 11/06(木)13:37:20.89 ID:DQBl6cvL(1/6) AAS
>>341
>非数学ネタに逃げた時点で、数学の議論での非勢を認めたってことだ
あなたのことですね？
373: 11/06(木)16:13:53.89 ID:TCfjtHJT(2/3) AAS
誤 私には数学的に反論できない
正 私には数学的反論が理解できない
まあ、正方行列なら正則行列、ってドヤっちゃう人には
大学１年レベルの数学的反論も理解できないよね（笑）
384: 11/06(木)17:40:30.89 ID:DQBl6cvL(3/6) AAS
>>383
>>その方が「数学的に反論できない」こととはあなたの書いたどのことですか？
これが何であるかは教えていただけないのですね
つまり
あなたの頭の中にのみ存在することであると
ということは
「その方が数学的に反論できない」
ということもあなたの頭の中にだけ存在しているわけです
これはつまり
>>366
省2
494: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)10:53:00.89 ID:P9qVEF++(8/25) AAS
>>491
>そもそも一階述語論理は思考法ではないが、そこから分かってないセタが
>>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
そもそもが、人の日常は 論理だけでは 成り立たない
例えば、下記のドジャース ロバーツ監督 ”逆王手をかけた「5つの神采配」”（下記）
決して 論理だけでは これは 成り立たない！
20世紀は、このような人のもつ能力を殺すことを ”厳密”と称して 数学教育としてきた きらいがある
そこらの反省が 21世紀には出てきたのでは？
>>13-14 数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
"多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
省9
540(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)23:38:57.89 ID:P9qVEF++(24/25) AAS
>>538
ヒキコモリ数学基礎論くんか
いつも、きみは、キバッテいるねぇ〜！ｗｗｗ ；ｐ）
まあ、頑張ってくれｗ
551: 11/09(日)07:11:02.89 ID:CA6TFgJW(2/64) AAS
>>538
＞＞望月論文が理解されないのは
＞＞決定的な瑕疵があるから
＞＞にきまってるやん？
>>539
＞はずれですよ
”悔しさによる脊髄反射”は🐎🦌のすること
感情を制御できないと・・・死ぬよ
＞その話は、下記・・・を、音読してね
＞・・・は、出てこないよ
省10
561(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/09(日)08:48:41.89 ID:QrKJGO9s(2/26) AAS
>>544
>>abc予想が解決したことになってないだろ
>という現状で進めるのではどんどん評判落とすことになりましょう
いやいや 間違っていますよ
”数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。
岡潔 『一葉舟』角川ソフィア文庫”
多分、数学は 最先端は常に難しいが、先に進めば 難しかった定理の証明に 簡明な別証が見つかったり するものだと
そして、万一 望月IUTのabc予想証明に ギャップが見つかったとしても、それも数学の進歩というものです
そのギャップを、他の人が埋めるか
あるいは、新しい証明を考えるか、それも 数学の進歩というもの
省17
625(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/09(日)16:02:39.89 ID:QrKJGO9s(15/26) AAS
つづき
In the case of the geometric Langlands conjecture, the proposed one-to-one correspondence is between two very different sets of objects, analogous to these spectrums and waves: on the spectrum side are abstract algebraic objects called representations of the fundamental group, which capture information about the kinds of loop that can wrap around certain complex surfaces; on the “wave” side are sheaves, which, loosely speaking, are rules assigning vector spaces to points on a surface. Gaitsgory has dedicated much of the last 30 years to the geometric Langlands conjecture. In 2013 he wrote an outline of the steps required for a proof, and after more than a decade of intensive research in 2024 he and his colleagues published the full proof, comprising over 800 pages spread over 5 papers. This is a monumental advance, expected to have deep implications in other areas of mathematics too, including number theory, algebraic geometry and mathematical physics.
2025 New Horizons in Mathematics Prize
Sam Raskin, Yale University
For contributions to the geometric Langlands program, including the theory of the Whittaker model and the proof of the geometric Langlands conjecture in characteristic 0.
外部ﾘﾝｸ:people.mpim-bonn.mpg.de
Proof of the geometric Langlands conjecture
This page contains five papers, the combined content of which constitutes the proof of the (categorical, unramified) geometric Langlands conjecture.
This is a collaborative project of D. Arinkin, D. Beraldo, J. Campbell, L. Chen, J. Faergeman, D. Gaitsgory, K. Lin, S. Raskin and N. Rozenblyum.
Papers:
省7
655(1): 11/09(日)17:39:57.89 ID:wauc0h2b(29/42) AAS
仏陀は中道を説いた 何事も極端は良くない 理想主義者・原理主義者の思想は極端
まあ俺は仏教を1ミリも信じてないんだがｗｗｗ
768(2): 11/11(火)14:57:01.89 ID:SNA+12OI(2/2) AAS
ばかばかしい
818: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/12(水)18:34:49.89 ID:ALZYQ4aC(9/9) AAS
>>815 ついでに
ラベルの話
『i と -i が本質的に区別できない』
『複素数の対数には2πiの整数倍を足す自由度がある．したがって複素数の対数は，虚軸に平行な直線上に等間隔2πiで整然と並んでいるのである*1．』
『高校数学でも，「方程式 x^3 =1 の1でない解のひとつをω とする」といった表現を見かけるが，このω の使い方に似ている』
望月IUTのラベルが 該当するかどうか 不知だが
数学には、人為的なラベルが 必要な事例はある！ （＾＾
(参考)
動画ﾘﾝｸ[YouTube]
【虚数】i と -i が本質的に区別できない理由
省19
877(2): 11/14(金)08:08:12.89 ID:xAWag2SY(1/15) AAS
>>「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論
難しい
949: 11/14(金)21:41:57.89 ID:iHfr5kmW(18/26) AAS
>>947
けれどもしかしたらもう出ていっているかも？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.051s