[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
864: 11/13(木)20:22 ID:x0icUDTc(2/2) AAS
>>343
>自己言及のパラドックス
>哲学および論理学における自己言及のパラドックス（じこげんきゅうのパラドックス）または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる（パラドックス参照）。
>「この文は偽である」が真なら、それは偽だということになり、偽ならばその内容は真ということになり……というように無限に連鎖する。同様に「この文は偽である」が偽なら、それは真ということになり、真ならば内容から偽ということになり……と、この場合も無限に連鎖する。
自己言及はパラドックスだけでなく、無矛盾かつ健全な理論は不完全であることの証明にも使われる。
ある健全な理論の言語で文P「Pは証明不可能である」を記述できるならPは決定不可能、すなわちその理論は不完全である。
なぜなら、Pが偽と仮定するとPは証明可能であり理論の健全性に反するからPは真かつ証明不可能でなければならない、ゆえにやはり理論の健全性よりPは反証不可能でなければならないから。
上記のような自己言及文の記述可能性に関する数理論理学の定理が不動点定理。
865(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/13(木)20:33 ID:4Nc81kvo(4/7) AAS
>>861
>日本語版Wikipediaでは、obstructionについて説明したものがないな やれやれ・・・
>それじゃ、代数学の基本定理が、なぜ層で語れるのか、分かりようもない
ほほう、ソウソウ・・ ソウなんかｗ（ソウ＝層）
層と言えば、岡潔
岡潔といえば、多変数解析函数論
多変数解析函数論といえば、御大か
まあ、ここは プロ数学者も巡回しているから
『”層＋obstruction”→ 代数学の基本定理が導けるぞ！』ｗｗｗ
についての 論争を期待しています （＾＾
省16
866(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/13(木)21:04 ID:4Nc81kvo(5/7) AAS
>>862
>James Douglas Boydという人が
ほいよ
>>22-23より 再録
所詮、James Douglas Boydは、数学者ではないってことだね （＾＾
2chｽﾚ:math
woit氏ブログ
abcコメント2025.10.27
Mochizuki’s response to Boyd’s report:
(Feel free to disregard this, as the response contains ad hominem attacks.)
省17
867(1): 11/13(木)21:14 ID:UZovF/Sa(4/7) AAS
>>866
>所詮、James Douglas Boydは、数学者ではないってことだね （＾＾
数学者かどうかより
彼がなぜp∈Pと書いたかは分かりませんか？
数学者じゃないから誤解していたと？
868: 11/13(木)21:16 ID:OcEghMJl(2/2) AAS
>>865
障害(obstruction)といえばトポロジー
しかも障害は創世期のアイレンベルクとマクレーンの時代からある概念
簡単にいえば、境界上の写像がその内部まで拡大できるかどうかという話
この条件が境界のホモトピー群を係数とするコホモロジーで表せる
自明なコホモロジー類なら拡大可能だが、そうでないならできない
直線上の区間の場合、境界は２点だからホモトピー群はZ2＝{0,1}
平面上の単連結領域の場合 境界は円だからホモトピー群はZ
869(1): 11/13(木)21:20 ID:UZovF/Sa(5/7) AAS
>>866
>abcコメント2025.10.27
この人がもしかして望月さん？
870(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/13(木)23:25 ID:4Nc81kvo(6/7) AAS
>>869
>>abcコメント2025.10.27
>この人がもしかして望月さん？
そんな人の詮索よりもさぁｗ
下記の Kirti Joshi Preprints で 何本か 論文が上がっているが
多分 どこかに投稿されていると思うが
例えば、”Construction of Arithmetic Teichmuller Spaces III: A `Rosetta Stone' and a proof of Mochizuki's Corollary 3.12”
これは Mochizuki IUTに欠陥があって、おれさま”Arithmetic Teichmuller Spaces”が、正しいのだというもの
これが、下記のIUT Challenger Prize条件 『MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載された』
を満たす事態になれば、それはそれで面白いと思うんだｗ ；ｐ）
省18
871: 11/13(木)23:29 ID:UZovF/Sa(6/7) AAS
>>870
>そんな人の詮索よりもさぁｗ
やっぱり望月さんですかね
872: 11/13(木)23:33 ID:UZovF/Sa(7/7) AAS
＞Feel free to disregard this, as the response contains ad hominem attacks.
だから
さすがに望月さん本人では無さそうかも
873(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/13(木)23:37 ID:4Nc81kvo(7/7) AAS
>>867
>>所詮、James Douglas Boydは、数学者ではないってことだね （＾＾
>数学者かどうかより
>彼がなぜp∈Pと書いたかは分かりませんか？
例えばさ
James Douglas Boyd氏が 東大 or 京大 数学科の院試に通らないレベルだとしたら？
つまりは、せいぜい 東大 or 京大の学部3年レベルが 精一杯だとしたら？
学部生が、p∈P と書きたければ 書けば良い
それだけのこと 書くのは自由だから
100人の数学科生が居れば 100通りの答案があるだろうさ 正しいかどうか不明の
省1
874(1): 11/14(金)00:02 ID:iHfr5kmW(1/26) AAS
>>873
分からないんですね
p∈P
には意味は無いと？
けれどなんだかIUTの集合論的批判の中に
p∈pというのが出てくることがあるからみたいな？
なら
p∈p⊂P
だから
p∈P
省1
875(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/14(金)07:25 ID:Gbn0TSJh(1/4) AAS
>>874
分からないんですね
p∈P
には意味は無いと？
けれどなんだかIUTの集合論的批判の中に
p∈pというのが出てくることがあるからみたいな？
(引用終り)
そこな
下記の 望月の北大 2003年当時から
『"「属性方程式」a∈aを解きたい"
省29
876: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/14(金)07:30 ID:Gbn0TSJh(2/4) AAS
>>875 タイポ訂正
なお、下記F1 は、一元体（下記）な （＾＾
↓
なお、F1 は、一元体（下記）な （＾＾
877(2): 11/14(金)08:08 ID:xAWag2SY(1/15) AAS
>>「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論
難しい
878: 11/14(金)08:21 ID:AkVtKDLz(1/2) AAS
大学１年の微積も線形代数も落第した高卒の世田が
いちいちシッタカブリで書き込むなよ 馬鹿が
879: 11/14(金)08:22 ID:AkVtKDLz(2/2) AAS
愛国者はだいたい馬鹿で●違い
880: 11/14(金)08:34 ID:HQmSSxuC(1/12) AAS
愛国者の最も愚劣な点は
国家は国民を護る
と無邪気に信じてること
過去の歴史（例えば先の大戦）を見れば
それが全くのウソであり
国家は国民の命をすりつぶしてきたことがわかる
自分が完全にすりつぶされなければ分からんなら
正真正銘の馬鹿であり●違い
881(1): 11/14(金)08:37 ID:vSL5s6lA(1) AAS
日本が国民を護らないと思うならなんで日本にしがみついて生きてんの？ とっとと出てけよ
882: 11/14(金)08:39 ID:BtfPswDp(1/2) AAS
>>881
おまえ統一教会の会員だろ
883: 11/14(金)08:40 ID:BtfPswDp(2/2) AAS
おまえこそこの世からいなくなれよ ID:vSL5s6lA
上下前次1-新書関写板覧索設栞歴
あと 119 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s