[過去ログ] Interuniversal geometry とABC 予想59
(1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
228(1): 2025/12/06(土)13:36 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論文では大量の用語が導入されている。議論を円滑にするため、我々が誤りと見なすものを説明するために厳密に関連する概念のみを記述する。
307: 2025/12/12(金)13:16 ID:1CmfsJhS(2/5) AAS
IUT論文は準備から読みづらく
大量の注釈で構成され大量の新用語が導入されている。
>>227->228
これはIUTが数学でなく「全く新しい理論」だから、
1階論理(一階述語論理)で証明をすっきりと書くことができない
>301
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.042s