[過去ﾛｸﾞ]
Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
Interｰuniversal geometryとABC予想(応用スレ)51 http://rio2016.5ch.net/test/read.cgi/math/1610452199/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
702: １３２人目の素数さん [] 2021/02/19(金) 07:56:59.30 ID:G/gMneGZ >>697 補足 まとめておくと 1．ショルツェ氏は、「Cor3.12までは、自明なことしか書いていない。だが、Cor3.12の証明が追えないのだ〜！」と言った 2．SS文書：「こういうモノドロミーを考えると、IUTは矛盾している」（”こういうモノドロミー＝おれさまモノドロミー”ですね） 3．woitブログでのDupuy氏の説明は、「”おれさまモノドロミー”は、IUTの外です。外で矛盾が起きても、IUT内部では矛盾なし」と 4．woitブログでのショルツェ氏の説明は、（Dupuy氏の説明の）「ホッジ劇場を数学的に解釈するのが困難だ」という 5．あれあれ？ 「Cor3.12までは、自明なことしか書いていない」の主張は、どこに？ 「Cor3.12の証明が追えないのだ〜！」というけれど、それだとIUTの結構最初の部分が追えないってことでしょ！？ 6．はてさてどうなることか？ それは、今後のお楽しみ！ 今年の4本の国際会議を見ていれば、また新たな展開があるでしょう。乞うご期待！ 以上 http://rio2016.5ch.net/test/read.cgi/math/1610452199/702
703: １３２人目の素数さん [sage] 2021/02/19(金) 08:07:55.83 ID:46Fge3L7 >>701 な、全然理解できないだろ？ コピペしても、全然心が満たされず、空しいだろ？ くれぐれも自分の心に嘘はつくなよ 気が狂うから http://rio2016.5ch.net/test/read.cgi/math/1610452199/703
704: １３２人目の素数さん [sage] 2021/02/19(金) 08:17:46.59 ID:46Fge3L7 >>702 まとめ間違ってるね ＞2．SS文書：「こういうモノドロミーを考えると、IUTは矛盾している」 正しくない 正しいのは以下 「IUTのリンクの扱いが定義できてない 定義できてないので常識的に考えると モノドロミーが発生して矛盾する モノドロミーを避けると自明な式しか導けず Cor3.12は導けない」 ＞3．woitブログでのDupuy氏の説明は、 ＞「”モノドロミー”は、IUTの外です。 ＞ 外で矛盾が起きても、IUT内部では矛盾なし」 ＞と 正しくない 正しいのは以下 「”モノドロミー”は、IUTの外 上手くやれば、もしかしたらモノドロミーを回避して Cor3.12と矛盾しないようにできるかもしれないだろ」 DupuyもIUTについては何も言及してない（できない） 単にCor3.12を救いたいだけ ＞4．woitブログでのショルツェ氏の説明は、 ＞（Dupuy氏の説明の）「ホッジ劇場を数学的に解釈するのが困難だ」という ＞5．あれあれ？ 「Cor3.12までは、自明なことしか書いていない」の主張は、どこに？ つまり、IUTはホッジ劇場すら定義できてない。これが真相 この点についてDupuyも何も弁解できない 「だからってCor3.12が矛盾するとは言えないだろ！」の一点張り Dupuyにとって大事なのはCor3.12であってIUTではないｗ ＞「Cor3.12の証明が追えないのだ〜！」というけれど、 ＞それだとIUTの結構最初の部分が追えないってことでしょ！？ いや、IUTが肝心なことについて何も決めてないってこと ＞6．はてさてどうなることか？ 3/11 IUT 京都にて死す http://rio2016.5ch.net/test/read.cgi/math/1610452199/704
705: １３２人目の素数さん [sage] 2021/02/19(金) 08:21:51.47 ID:46Fge3L7 率直にいって整数論に興味がないので ABC予想とかいっても「フーン」って感じだし ショルツやワイルズやファルティングスが 何をやったのかも全然わからん ま、そんなこといったら ペレルマンがポアンカレ予想を解決したっていっても どうやって解決したかは全然分からんし ドナルドソンがエキゾチックR^4の存在を示したっていっても どうやって実現したかも全然分からんが http://rio2016.5ch.net/test/read.cgi/math/1610452199/705
706: １３２人目の素数さん [sage] 2021/02/19(金) 08:25:50.89 ID:46Fge3L7 数学の話で日本人とか国籍持ち出すヤツって 正真正銘の🐎🦌野郎だと思うんだよな 中身が重要なんでどこの馬の骨がやったかなんてどうでもいいだろ 所詮どこの人の数万年前の祖先はアフリカにいたんだから 人類なんてアフリカ以外では最も有害な外来種だぞ http://rio2016.5ch.net/test/read.cgi/math/1610452199/706
707: １３２人目の素数さん [sage] 2021/02/19(金) 09:24:30.66 ID:jWyMGoiR >>705 数学が影響力を持っていたのは100年前だよ。 数学の最重要問題が10年も放置されている、という事実は、 IUTの証明よりもインパクトがある。 神は死んだ。 哲学は死んだ。 数学も死んだ。 http://rio2016.5ch.net/test/read.cgi/math/1610452199/707
708: １３２人目の素数さん [] 2021/02/19(金) 09:55:19.55 ID:IIKc79Gu >>702 ホッジ劇場を数学的に解釈することは困難、というのは、 もともとデュピュイが構造やカラメロのトポス理論を持ち出して、それを受けてホッジ劇場は構造やトポス理論的フレームワークで解釈できないというだけ Th 3.11までとは関係なく、そこからどう研究が進められるかという話 http://rio2016.5ch.net/test/read.cgi/math/1610452199/708
709: １３２人目の素数さん [sage] 2021/02/19(金) 10:04:21.75 ID:eUBy2XOT >>706 未だに頭お花畑で選択公理仮定してるの、日本人のお前らな。 http://rio2016.5ch.net/test/read.cgi/math/1610452199/709
710: １３２人目の素数さん [sage] 2021/02/19(金) 10:31:37.70 ID:J7Kqz6z/ >>709 選択公理はラムゼー理論(組み合わせ論の中の1つの分野)で大活躍してるよ。 しかも、ラムゼー理論の専門書なら普通に載ってる標準的な話題。 俺もかつては「選択公理イラネ」っていう立場だったが、 この話題を知ってからは選択公理サマサマに手のひら返しした。 お花畑はお前の頭の中だけにしとけ。 http://rio2016.5ch.net/test/read.cgi/math/1610452199/710
711: １３２人目の素数さん [sage] 2021/02/19(金) 10:38:19.75 ID:J7Kqz6z/ 半群にStone-Cechコンパクト化を施すと、どういうわけかラムゼー理論と相性がよく、 ラムゼー理論の色々な定理がめちゃくちゃ簡単に証明できてしまい、 さらには既存の定理の拡張でさえも同じ方法で示せてしまう。 しかも、そのようにして得られた定理の大半は、初等的な証明が知られていない。 また、初等的に示せる場合でも、その証明は複雑怪奇で、とても読めたものではない。 それが、Stone-Cechコンパクト化を経由すると(定理の拡張も含めて)簡単に証明できてしまう。 ここまでくると、「この分野はこのやり方が正解」と言わざるを得ない。 ところで、Stone-Cechコンパクト化には普通は選択公理が必要で、 特にラムゼー理論に応用するときには選択公理が避けて通れない。 つまり、選択公理を経由することでラムゼー理論の色々な定理が (その拡張も含めて)簡単に証明でき、しかもその大半には 初等的な証明が知られていないという状況になっている。 この分野は選択公理を経由するのが正解なのだ。 皮肉だよな。組み合わせ論という、構成的数学の権化みたいな分野で まさかの選択公理だぜ。 http://rio2016.5ch.net/test/read.cgi/math/1610452199/711
712: １３２人目の素数さん [] 2021/02/19(金) 12:11:34.52 ID:9fHyXigU まぁ整数論の命題の証明でも 選択公理どころかグロタンディーク宇宙の存在を使うのが自然ということは (abc予想に限らず)よくあるからな まぁこっちは、「初等的な証明」が存在することが分かっているケースも しばしばあるが http://rio2016.5ch.net/test/read.cgi/math/1610452199/712
713: １３２人目の素数さん [sage] 2021/02/19(金) 13:32:18.02 ID:eUBy2XOT >>710 お前はじめ、数学者がラムゼー理論の本質も何も見ていないにすぎないだけだろうことで、お花畑をこちらによこすな。 数の定義から、構成的数学では、coalgebra の手法でまかなえる限りの、無限の概念を扱おうとしているのに対し、安易に選択公理で手を汚しているにすぎない。 具体的な選択関数の使用箇所を明記せずにラムぜー理論で使っているから、というのは、また、能力不足で選択公理盲信者となっているのではないか。 カテゴリーがいかに、計算や数の本質をとらえているか、無限の本質を捉えているか。 semi finite の概念を、transfinitite recursion を用いてどのように整理していくかであり、選択公理を実数濃度で認める馬鹿の所業は、数学者のなすべき仕事ではない、というのを理解していないのは、日本人くらいだからお花畑だと言っているんだ。 http://rio2016.5ch.net/test/read.cgi/math/1610452199/713
714: １３２人目の素数さん [sage] 2021/02/19(金) 13:36:33.55 ID:eUBy2XOT あんたは過去の数学を数学と盲信しすぎている。 無限を扱いに極めて厳密に動くことしかできない計算機が如何に正しく「数学」をしているかということを、もう少し深く知るべきではないか。 思い込みが強すぎる。 http://rio2016.5ch.net/test/read.cgi/math/1610452199/714
715: １３２人目の素数さん [sage] 2021/02/19(金) 13:43:02.34 ID:46Fge3L7 >>713 >coalgebra 「余代数（よだいすう、英語: coalgebra）とは、 単位元を持つ結合代数に対して、 圏の双対をとったものをいう。」 http://rio2016.5ch.net/test/read.cgi/math/1610452199/715
716: １３２人目の素数さん [sage] 2021/02/19(金) 13:43:53.64 ID:eUBy2XOT ラムゼー理論は、グラフを扱うが、coalgebra の等価性などを考える際にも、同じく深くグラフを扱う。 似たようなことを思い込みの上でやるのと、 しっかり証明機械に忠実に動かすのとでは、 1*2*3 = 1+2+3 という等式だけを、掛け算の例として、 何も知らない小学生に教えるようなものだ。 http://rio2016.5ch.net/test/read.cgi/math/1610452199/716
717: １３２人目の素数さん [sage] 2021/02/19(金) 13:46:06.59 ID:46Fge3L7 >>713 >semi finite semi-infiniteの誤りか？ http://rio2016.5ch.net/test/read.cgi/math/1610452199/717
718: １３２人目の素数さん [sage] 2021/02/19(金) 13:48:30.37 ID:eUBy2XOT 申し訳ない。ご指摘の通り。 http://rio2016.5ch.net/test/read.cgi/math/1610452199/718
719: １３２人目の素数さん [sage] 2021/02/19(金) 13:48:32.40 ID:46Fge3L7 >>713 >transfinitite recursion 「超限再帰法」 http://rio2016.5ch.net/test/read.cgi/math/1610452199/719
720: １３２人目の素数さん [sage] 2021/02/19(金) 13:51:32.73 ID:46Fge3L7 >>716 >証明機械 検索したが定義が見当たらない http://rio2016.5ch.net/test/read.cgi/math/1610452199/720
721: １３２人目の素数さん [sage] 2021/02/19(金) 13:54:24.43 ID:46Fge3L7 >>713 >選択公理を実数濃度で認める馬鹿の所業は、 >数学者のなすべき仕事ではない、 日本語になっていない 「選択公理を実数濃度で認めるのは 馬鹿の所業であって 数学者のなすべき仕事ではない、」 というなら（賛否はともかく）意味は分かるが 意味がわからない文章を書く人は信頼できない http://rio2016.5ch.net/test/read.cgi/math/1610452199/721
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 281 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.012s