Interuniversal geometry とABC 予想59
(588ﾚｽ)
上下前次1-新
569(1): 01/04(日)09:13 ID:t7mFxGOO(1/2) AAS
>>548
年頭ブログ記事の内容を私なりに要約してみると
iutでは
(1) species/mutationの理論をメタ理論として
「一階述語理論としてのZFC」を扱えば
「不定元のような論理式」を扱うことができる
(2) それをleanで形式化してほしい
ってことでしょうか
(2)の動機はもちろん(1)に対する疑義を否定するためです
(1)のような理論は（現時点で）存在しません
省15
570(1): 01/04(日)09:52 ID:g8q48/k+(1) AAS
>>569
多くの基礎論の研究者が認めてるって
それだれ？
571: 01/04(日)11:15 ID:t7mFxGOO(2/2) AAS
>>570
一昨年のA氏・B氏・C氏（>>552）は人間関係を話してくれたって
設定だから匿名でも仕方ないけど
今年のブログに登場する「基礎論の専門家」は
純粋に学術関連の発言なのだから
発言が本当なら匿名にする必要はないはずですよね
たくさんいるはずなのに一人も表に出せない/出てこないのは
なぜなんでしょうね？
（ブログ記事より引用）
＞また論文を公開した2012年以降も、何名かの基礎論の専門家にも
省3
572: 01/04(日)13:48 ID:dzNpWROJ(1/2) AAS
>「不定元のような論理式」が「一階述語理論としてのZFC」で
>形式化可能なんて言う専門家はおらんだろ
任意の位取り記数法で有限小数全体の集合は無限集合、かつ、有理数全体の集合＝有限小数全体の集合∪循環小数全体の集合、かつ、有理数全体の集合は可算、よって有限小数全体の集合も可算。
同じ方法で任意の言語の有限長文字列全体の集合Sは可算であることを示せる。文字列としての論理式の長に上限は無いから論理式全体の集合N'は無限集合、かつ、N'⊂S、よってN'も可算。
整数環Zと環同型な Z'⊃N' が存在し、Z上の多項式環 Z[X] と環同型な Z'[X] が存在する。
「不定元のような論理式」とは X∈Z'[X] のことだろうか？
573: 01/04(日)16:12 ID:fKriGFm2(3/3) AAS
望月含むトンデモ界隈は勘違いしがちだけど
コペルニクスもガリレオも
当時から専門家からの一定数の支持は得ていたんだがね
宇宙際の問題は尊師の論理学基礎論への根本的勘違いと勉強不足からくるvacuously true,
内容が何もないことだし
574(1): 01/04(日)22:53 ID:M//qxiSG(13/15) AAS
違う違う
私が言いたいのはもっちはツビッキみたいなモンじゃ？ て事。
ツビッキはしぬまで誰からも理解されなかった
でも今では物理数学の世界標準になってますしお寿司
575: 01/04(日)22:59 ID:M//qxiSG(14/15) AAS
物理数学でなくて純粋数学で言うと
ガロア理論は彼が生きた時代は誰も理解さえ、出来なかた
もちは生まれるのが早すぎた
576: 01/04(日)23:10 ID:M//qxiSG(15/15) AAS
ゲルとショルが説明しろ説明しろやかましいから
頑張て説明してるけど誰も追いついてこれないので超困ってる
577: 01/04(日)23:45 ID:dzNpWROJ(2/2) AAS
すぐ受け入れられなかったことしか共通項が無いので類推ではなくただの妄想
578: 01/04(日)23:57 ID:I9zjin04(1) AAS
望月新一教授はscholze stixレポートの
数学の遠アーベル幾何学とIUTの違いを
説明できず回答がIUT本。
京大PRIMSでIUT理論が出版後も望月新一教授がIUTは全く新しいと主張している。
IUTはトンデモです。
↓
>望月教授は、言うなれば、だれも 話したことがない、新しい言語を用いて理論を組み立てました。
>>17
579: 01/05(月)00:07 ID:6HKRGV1X(1/2) AAS
>>574
望月新一のIUT不確定性原理は
緩み=不定性のトンデモ原理の例だね。
IUT CULTだから取り憑かれる
とデュプイやジョシの悲劇になる
580: 01/05(月)00:21 ID:6HKRGV1X(2/2) AAS
IUTは望月新一教授が「だれも 話したことがない、新しい言語を用いて理論を組み立てました」。
これは
過去の数学物理天体などと妄想IUTは全く無関係だ。
現在は数学と物理天体と妄想のIUTを混ぜ合わせるfakeを行っている。
581: 01/05(月)03:57 ID:DgrdbaZL(1) AAS
この人は特別です、今回だけは特別です
ペテン師の常套句
みんなで大家さんとIUCULT
582: 01/05(月)07:46 ID:drv6rZVN(1/3) AAS
結局メタ数学を無手勝流でガッツリ使ってましたってことかいな
「ZFCGはZFCの保存拡大」なんて学部生でもすぐ分かる程度の間違いやらかすレベルだってのに
>私自身、2010年〜2011年頃、[IUTchIV]§3を執筆したとき、species/mutationは、
>特に難しい話でもなく、取り立てて新奇性のある話でもなく、多くの数学者が
>当たり前に脳内で無意識のうちにこなしている処理を、（同様の概念が明示的に
>記述されている適切な文献が見付からなかったために）ただ自分で明示的に
>記述してみただけのものに過ぎないという認識でした。
なんて書いてっから数学とメタ数学の違いも曖昧だったりするのかも
いずれにせよくだらんことでずいぶんと人の時間を無駄にさせたな
583: 01/05(月)16:48 ID:K8qrgQGQ(1) AAS
大学１年の数学が理解できずに落ちこぼれた高卒素人がコピペで発●
自分が凡人だと認めると●ぬらしい・・・
みんな凡人だとわかってるのに自分だけが認めないのは哀れなもの
584: 01/05(月)20:06 ID:drv6rZVN(2/3) AAS
IUT Summit 2028開催のお知らせ
外部ﾘﾝｸ:ahgt.math.cnrs.fr
IUT一派がMoment of Truthに向き合おうとしないので
無駄に時間を費やしてます
Inter-universal geometry と ABC予想 38
【引用開始】
47１３２人目の素数さん
垢版 | 大砲
2019/04/28(日) 19:30:00.50ID:Gx/Kh+tD
ID:Ebtl9jE0氏は前スレ973氏なのかな。遅ればせながらお久しぶりです（間違ってたらすみません）
省7
585: 01/05(月)20:21 ID:drv6rZVN(3/3) AAS
おまけ
Inter-universal geometry と ABC予想 38
【引用開始】
750１３２人目の素数さん
垢版 | 大砲
2019/05/21(火) 20:25:54.21ID:mtULy2M4
IUT発表直後、エレンバーグのブログでタオが「ABC予想証明に関する限り最終節の内容はred herring（おとり、偽装）で、
最終節は今後の宇宙際幾何学の拡張に関連しているのではないか？」と書いていて、ほとんどの数学者もそう考えていたと思う
（ちなみにこのブログでロバーツは「Mは圏論に精通していないのではないか」と書いている）
しかし、red herringどころか「種の言語」や「突然変異」が同義反復的解決のための糸口であり、単遠アーベル輸送でおこる現象であり、
省3
586: 01/05(月)21:23 ID:OaXcc1cg(1/3) AAS
>「種の言語」や「突然変異」が同義反復的解決のための糸口であり、単遠アーベル輸送でおこる現象であり、IUTの本質的部分だった
単遠アーベルとIUTの違いは何か？
587: 01/05(月)21:36 ID:OaXcc1cg(2/3) AAS
遠アーベル幾何学は数学で、
IUTは望月新一語で書かれていて
望月新一しか理解できない。
alian universeもそうだね。
>>17
588: 01/05(月)21:42 ID:OaXcc1cg(3/3) AAS
>>25
宇宙際タイヒミュラー理論は
遠アーベル幾何学の応用だ。
遠アーベル幾何学≠IUT
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.778s*