[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
250(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)10:13:53.81 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
280: 11/05(水)19:20:21.81 ID:3HT78/hG(4/19) AAS
最近やっと中原出土の原人の解析結果公表されたね。
デニソワ系だよ。判るか？間抜け野郎。
ホモ・サピエンス・サピエンスとは全く別種の原始人類系ダダ漏れ人類だったんだよ。
まあ納得だわ。
人食い蛮族は明らかに原始人類系の要素ダダ漏れだからな。
稲作文化・長江文明圏を興したオーストロアジア人種(古代華南人＝弥生人≒倭人、東南アジア人)とも、インダス文明を興したコーカソイド系とも異質の進化段階だったからな。
349(1): 11/06(木)11:16:46.81 ID:d2PBLapd(1) AAS
>>343
自己言及したから即、矛盾する、というわけではない
この場合、否定をとる写像における真偽値の不動点が存在しないことが本質
二値でなかったとしても、不動点が存在しなれば矛盾する
逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない
そういうことは例えばDana Scottのdomain theoryを知ってれば、常識
ま、高卒が知らなくても無理ないけど
ああ、そうそうdomainって言っても
zero divisorを持たないringのことじゃないぜ
省1
402(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/07(金)07:05:31.81 ID:9vx0qob1(2/2) AAS
>>399
>「人生の決断」は、数学から かなり遠いところにある
>論理も理屈もあるが、一方 それ以外の部分も 非常に大きい
ここが、この話のポイントですよ
富山の数学少年が、数学者を夢見て東大へ
そして、不思議な導きで 京大の中野研へ
不思議な導きで 竹腰先生と邂逅
人生は、決して 一階述語論理の数学思考だけでは 解けないということ！！
これが、実例です
589: 11/09(日)11:17:39.81 ID:wauc0h2b(9/42) AAS
>ここは日本ではない（笑）
そうなの？ じゃおまえはどこにいるの？
735: 11/10(月)13:32:40.81 ID:TekvzMEJ(2/2) AAS
>>721
過去の天才並べて
望月は天才だーーーーみたいなこと言ってるクソ知恵遅れいるじゃん
あいつどうすんの
朝鮮人w
781(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)21:11:41.81 ID:MAm0UGMh(1/3) AAS
>>776-780
ふっふ、ほっほ
必死で、AIにすがって 恥の上塗りかい？ ；ｐ）
・まず、手元に ハーツホーンの本をおいて、眺めてみなよ 話はそれからよ
（必死でAIにすがるのは、ブザマだよ）
・でなｗｗｗ （＾＾
ハーツホーンの章立てと、後の索引を見てみな！
・その上で、”パラリ、パラリ”と ページをめくりなよ・・、1ページずつよ・・
いま おれがやっているように・・ さｗｗ （＾＾
代数学の基本定理 (Fundamental Theorem of Algebra)は
省5
841: 11/13(木)08:35:13.81 ID:UZovF/Sa(2/7) AAS
>>833
>"メンタルピクチャ―"の典型例なんだが
？
889: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/14(金)11:01:26.81 ID:f6V8ev5m(3/5) AAS
つづき
４）その上で 下記にも 目を通してね
外部ﾘﾝｸ:math.arizona.edu
My reports on the Mochizuki-Scholze-Stix Controversy
・Final Report (May 2025) [Provides my final conclusion regarding the proof of the abc-conjecture.]
・Provisional Report (June 2024) [Written after extensive correspondence (in May-June 2024) with Peter Scholze and it provides robust conclusions regarding the invalidity of the Scholze-Stix Report, but because Mochizuki was objecting to my work (in March 2024), I did not provide any conclusion on the proof of the abc-conjecture. This report also contains a time-line of events leading upto this report.]
５）さらに Joshi氏 は、ショルツエ氏の Perfectoids を使った 新証明 Mochizuki's Corollary 3.12 を提案している（望月はダメだが、これが良いのだと）
（でも、ショルツエ氏と望月氏 両者から ダメ出しがあるらしい）
外部ﾘﾝｸ:math.arizona.edu
Preprints
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.055s