[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
52: 2025/11/13(木)13:08:54.89 ID:HgQBsP45(13/14) AAS
>>28
参照のこと
・Public Abstract
・Public-Abstract-2440.pdf
Workshop Reports
Workshop Report 45/2024
228(1): 2025/12/06(土)13:36:00.89 ID:bRHQWQKU(3/12) AAS
scholze stixレポート
・Why abc is still a conjecture
2018年
IUT論文のsimpricationについて
>IUTT-terminology and how we may think of these objects.
The IUTT papers introduce a large amount of terminology. To facilitate the discussion, we will describe (only) the notions that are strictly relevant to explain what we regard as the error.
>IUTT用語とこれらの対象の捉え方IUTT論文では大量の用語が導入されている。議論を円滑にするため、我々が誤りと見なすものを説明するために厳密に関連する概念のみを記述する。
325(1): 2025/12/15(月)11:09:21.89 ID:Rzro6tTA(1) AAS
>>319
fesenkoさんが許諾を取って翻訳したらいいのでは？
406(1): 2025/12/24(水)23:46:30.89 ID:lLnMlqUI(9/9) AAS
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
457(1): 2025/12/31(水)09:08:34.89 ID:UfYjYbqe(3/10) AAS
>>456
何か証拠でも？
508: 01/01(木)23:06:05.89 ID:hi1cUq/m(1) AAS
>>504
既に分かり切ってたこととはいえ
やっぱりメタ数学を自在にやってもいいと思ってるんだ
「不定元のような論理式」なんて人間に扱う能力はないヨネー
それが形式化されてこなかったのは
当たり前だから専門家の盲点だったみたいな話でなくて
単に数学（"一階述語理論としてのZFC"）でないからダヨネー
きっと、ダメって言われてることは頭の半分で理解してるけど
それを否認するために「Leanの専門家」や「基礎論の専門家」が
登場して好意的なことを言ってくれてるんだよね？
省2
527(1): 01/02(金)10:45:31.89 ID:jWbUuQsL(4/7) AAS
成立不成立に関する公式な見解が
問題になったのは最近のこと
546: 01/03(土)18:25:46.89 ID:q6NZzniB(1/4) AAS
都合悪くなるとあいつらはバカ！で逃げるからな
それを周りが甘やかしてきたからもう改心不可能だろ
573: 01/04(日)16:12:31.89 ID:fKriGFm2(3/3) AAS
望月含むトンデモ界隈は勘違いしがちだけど
コペルニクスもガリレオも
当時から専門家からの一定数の支持は得ていたんだがね
宇宙際の問題は尊師の論理学基礎論への根本的勘違いと勉強不足からくるvacuously true,
内容が何もないことだし
651: 01/08(木)09:57:22.89 ID:p+jcKxiP(2/5) AAS
「実がないから」と言う憶測も
成立しうるが
729(1): 01/13(火)18:46:29.89 ID:OHkIuxVT(2/3) AAS
>>728
定曲率の曲面は、
曲率=0.可展面の円柱.
曲率>0.楕円幾何.球面
曲率<0 .双曲幾何に対応してる (サドルとか)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.159s*