[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(5): 10/31(金)11:36 ID:0+I+3mSE(1/18) AAS
（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 76
2chｽﾚ:math
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
2chｽﾚ:math
＜IUT最新文書＞
About the study of IUT by Ivan Fesenko 外部ﾘﾝｸ[pdf]:ivanfesenko.org 外部ﾘﾝｸ:ivanfesenko.org
外部ﾘﾝｸ:www.kurims.kyoto-u.ac.jp
望月新一＠数理研
省23
2(4): 10/31(金)11:37 ID:0+I+3mSE(2/18) AAS
つづき
math_jinさん 情報早いな
外部ﾘﾝｸ:x.com
math_jin
ICM2030招致委員会
ICM2030 (International Congress of Mathematicians 2030) の招致・開催に向けて設置されました．本ページでは招致に向けた活動について情報共有を行います．
外部ﾘﾝｸ:mathsoc.jp
午前11:26 · 2025年7月30日
(参考)
応援スレ67 2chｽﾚ:math
省15
13(6): 10/31(金)11:46 ID:0+I+3mSE(13/18) AAS
つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
外部ﾘﾝｸ:www.amazon.co.jp
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
省30
14(5): 10/31(金)11:47 ID:0+I+3mSE(14/18) AAS
つづき
＜“big picture”＞
外部ﾘﾝｸ:terrytao.wordpress.com
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
外部ﾘﾝｸ:terrytao.wordpress.com
Career advice Terence Tao
謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)ｗ これでしょうね ；ｐ）
(参考)＜いまリンク切れだが＞
省17
48(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/02(日)17:22 ID:PmfdHnoP(3/9) AAS
さて、ここは中高一貫校生も来る可能性があるから
公理的集合論について、下記のVitali set
と フルパワー選択公理との関係を書いておく
外部ﾘﾝｸ:ja.wikipedia.org
ヴィタリ集合
ルベーグ非可測な実数集合の基本的な例である[1]
構成と証明
有理数体 Q は実数体 R の普通の加法についての部分群を成す。なので加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群) は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。この群の任意の元はある r ∈ R についての Q + r として書ける。
R/Q の元は R の分割の1ピースである。そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。R/Q の元はどれも [0, 1] と交わっており、選択公理によって [0, 1] の部分集合で、R/Q の代表系になっているものが取れる。このようにして作られた集合がヴィタリ集合と呼ばれているものである。
外部ﾘﾝｸ:en.wikipedia.org
省10
80(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/03(月)20:44 ID:RGcnI1b5(4/10) AAS
>>67
>> 2）池上大祐の答えは「現状では グロタンディーク宇宙は必要」
>> ということだった
>これはその人が言ったことですか？
いいから、池上大祐を読め
>>70
>前提なしに意味のある論理的思考はできない
>これ豆な
>人の論理的思考は、一階述語論理＋「公理の集まり」という公理系で表せる
>これ豆な
省14
91(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/03(月)21:33 ID:RGcnI1b5(8/10) AAS
>>89
>望月先生の責任を追求する方法は確かに存在しない。それを処世術というならそれも仕方ない。しかしそれは学者の人生としては完全に失敗やな。まぁもう引き返すこともできんやろし、このまま汚名が残ってもそれを恥いる家族もおらんみたいやからそれはそれで諦めつくんかもな。
>まぁこれしか逃げ場はないんやろな
ヒキコモリ数学者の基礎論君な
1）望月先生の責任を追求する方法は確かに存在するぞ
それは、君が IUTを数学的に論破することだよ
2）具体的には、100万ドル懸賞の応募の数学論文を書くこと
100万ドルが貰える貰えないは別として、論文を出せ！
だが、君にはそれだけの数学力が無いことは
みなさん、まるっと お見通しだ！ｗ （＾＾
省5
234(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)20:40 ID:yzUd5nV9(4/9) AAS
スレ主です どうもです （＾＾；
>>225
>>死狂幻調教大師S.A.D.@月と六ベンツさん
>この人はセタと呼ばれている人の別アカなの？
”セタと呼ばれている人”が 誰なのか？
正確には知らない
だが、数学以外のものを持ち出して
自分たちの劣勢を糊塗しようという態度を見ると
こいつら 数学的に終わったな
と思うよ
省27
243(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)22:18 ID:yzUd5nV9(6/9) AAS
>>235-238
ふっふ、ほっほ
一句”不勉強 オチコボレのさばる 便所板”（字余り）
不勉強、言い訳だけは、いちょまえ
オチコボレ、言い訳だけは、一流だ （追加）
>つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず
数学セミナー 2025年3月号 池上大祐
を、書棚の肥やしの中から引っ張り出してきた （＾＾
池上大祐の書いている趣旨は
1）フェルマーの最終定理には、グロタンディーク宇宙を仮定した
省13
250(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)10:13 ID:K/Lr81ky(2/12) AAS
つづき
（追加）>>247より
外部ﾘﾝｸ:mathoverflow.net
How strong a set theory is necessary for practical purposes in sheaf theory?
asked May 14, 2020 user158035
Is it known how much of ZFC is actually necessary for the basic, familiar constructions and theorems in sheaf theory, along the lines of section II.1 (and its exercises) in Hartshorne's "Algebraic Geometry" textbook?
1 Answer
Colin McLarty has looked into this
The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) pp. 296--325, doi:10.1017/S1755020319000340, 外部ﾘﾝｸ[1773]:arxiv.org
with abstract (emphasis added):
省5
252(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)11:01 ID:K/Lr81ky(4/12) AAS
>>249 追加
>Founded on Finite-Order Arithmetic
日本語では 有限階算術（あるいは高階算術か） とでもいうのか？
Second-order arithmetic、2階算術は 日本語であるようですが
”Finite-Order Arithmetic”は、不勉強で初耳です
英語検索でも、”Finite-Order Arithmetic”は あまりヒットしないす ；ｐ）
でも、私は 高階論者でして
「人の思考は 一階論理に縛られない」と思っています （＾＾
そういう意味で、
(参考)
省12
306(3): 11/05(水)21:54 ID:FFxAuNzB(5/11) AAS
セタへの問題
>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
のとき
>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
の自由変数をすべて書け
308(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)22:00 ID:BZV1IQOW(3/5) AAS
>>297
>数板で思考実験を披露するのは勝手だが
>明白に事実に反した破綻してる虚偽を押し付けるのは許されないね。
激しく同意
それ、PETER SCHOLZEにも言える（下記）
(参考)
前スレより
2chｽﾚ:math
フィールズメダリストでなんであれ 下記の
”This will involve certain radical simplifications”
省16
313(11): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)23:27 ID:BZV1IQOW(4/5) AAS
>>306
(引用開始)
セタへの問題
>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
のとき
>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
の自由変数をすべて書け
(引用終り)
ふっふ、ほっほ
あのな、それよりか
省10
329(5): 11/06(木)06:04 ID:yNffKouK(8/12) AAS
御免、328の文章間違った（笑）
正しくは以下
「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、YがYを●●するときそのときに限る」
この否定は
「ある特定のXがいて、任意のYに対して、XがYを●●するのは、YがYを●●しないときそのときに限る」
ここで、YがXだとすると、
「XがXを●●するとのは、XがXを●●しないときそのときに限る」
となって矛盾する
要するに、ラッセルパラドックスとは
「一階述語論理における、基本的な定理の否定文」
省4
341(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)10:09 ID:9MLt2+C6(2/17) AAS
>>329
必死の連投 ご苦労さん ；ｐ）
>わかったかな カラスの世田君
ふっふ、ほっほ
非数学ネタに逃げた時点で、数学の議論での非勢を認めたってことだ
なので、こちらは ”ふっふ、ほっほ”です （＾＾
因みに、私の名前については、否定も肯定もしない
もし、否定しても 別の名前を持ち出すだろう。そうすると、その名前の人が迷惑だから
もし、肯定しても 同じ姓の人がいると、「お前だろう」などとその名前の人が迷惑だからｄ
まあ、がんばってくれ
省1
343(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)10:53 ID:9MLt2+C6(4/17) AAS
>>341 タイポ訂正
もし、肯定しても 同じ姓の人がいると、「お前だろう」などとその名前の人が迷惑だからｄ
↓
もし、肯定しても 同じ姓の人がいると、「お前だろう」などとその名前の人が迷惑だから
さて
>>329
>要するに、ラッセルパラドックスとは
>「一階述語論理における、基本的な定理の否定文」
>なので、一階述語論理が確立された現在では
>その気になれば誰でも分かって当然なのである
省25
370(3): 11/06(木)15:45 ID:j8xkVDrd(11/12) AAS
>>352
相変わらず意味不明
>まず、人は ”一階述語論理”そのものでは、思考していない！
「一階述語論理で思考する」と「一階述語論理を用いる」の違いは何？ 同じ？
同じだとすると
>古代ギリシアの昔からね それを認めよう
古代ギリシャ時代に一階述語論理を用いてないのは当然 明治時代以降に確立されたんだから 何が言いたいのか不明
>次に、一階述語論理が向いている分野が 沢山ある
>特に 理系の分野な。
理系に限らないし学問に限らない。
省6
411(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/07(金)10:54 ID:yoeUrdl8(3/13) AAS
>>405
>>あなたはショルツという人がそのようなことをしていると断言できるくらいにはIUTを理解しているのでしょうか？
>なぜ「完全にアウト」と判断したのか
ショルツ 「完全にアウト」の理由は 二つ
１）下記 “Why ABC is still a conjecture”中 の
”2.1.Glossary: IUTT-terminologyandhowwemaythinkoftheseobjects.
This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
ここで ”radical simplifications”が、ストローマンでアウト！
（政治ディベートでは ストローマンは常套手段だが、数学では許されない！）
２）Scholze Review で(google訳)”重要な系 3.12 を除いて、読者は数行を超える証明を見つけることはありません。典型的な証明は「系 2.3 のさまざまな主張は、これらの主張の文で引用されている定義と参考文献から直接導かれる」と書かれており、数学的な内容の量と一致しています。”の部分が、下記 遠アーベル幾何学の流儀
省12
428(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/07(金)17:10 ID:yoeUrdl8(9/13) AAS
>>419
>> This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
>> ここで ”radical simplifications”が、ストローマンでアウト！
>どうしてそう判断できたのでしょう？
「どうしてそう判断できた」？ なにを仰るウサギさん ；ｐ）
１）ショルツエ自身が、”radical simplifications”やってますと 自白しているｗ
２）下記のワイルズ フェルマーの最終定理の例を、百回音読してね
３）証明へのダメ出しは、”ギャップを指摘すること”！ それ以外にはありえない！！（反例提示を除いては）
もし、”radical simplifications”を許すならば
今から ど素人の私が、ワイルズ証明を ”radical simplifications”と称して 書きなおして「矛盾起きた」とできるぜよｗ
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.095s