[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
91: 2025/11/17(月)23:19:57.01 ID:G/rJPCwa(5/7) AAS
>>89
やりたきゃやったらいいがな。そのロジックはこうなん？
・iutもfltもまだlean通ってない
・でもfltはlean通ってないけどみんな認めてる
・だからiutだけ認められないのはおかしい
アホか
93: 2025/11/17(月)23:27:33.01 ID:0A35TjVy(12/13) AAS
>>92
あちらのIUT応援 CULTスレのこと？。
152: 2025/11/30(日)07:02:37.01 ID:yBoylAaI(1/3) AAS
望月新一の論文について
良い点：系３．１２といういいアイデアがつまった命題を思いついたこと
悪い点：系３．１２を正当化するのにわけのわからん屁理屈を弄して失敗したこと
率直にいって、１０００ページを超える論文で意味があるのは実質数十ページ
でも０じゃないだけ、よかったんじゃない？ そんな感じ
226: 2025/12/06(土)13:22:37.01 ID:bRHQWQKU(1/12) AAS
zb math scholze
IUTT 1-4
外部ﾘﾝｸ:zbmath.org
260: 2025/12/07(日)19:14:08.01 ID:JTBUmF4t(3/5) AAS
そもそも朝日新聞の記者っていうtの太鼓持ちしてた人やろ？
その程度の力量なんだよ
271: 2025/12/08(月)00:20:06.01 ID:pcdqFTtm(2/3) AAS
>>268
通ったものがABCじゃなくなるかもよ
347(1): 2025/12/17(水)10:09:45.01 ID:Q7FX6bq6(1) AAS
なにかのAIに、これとこれのIUT文献見込んで
lean 解析やってくれと やればいいんでないの
あるいは、leanにAIが導入されれば 同じことができる
764: 01/17(土)03:19:00.01 ID:9IhRhgwL(6/6) AAS
>タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
は「一階理論は必ず完全.無矛盾」という誤解を生みかねないのが気に入らないだけ。
>タルスキの公理系によって示された通りユークリッド幾何学の一階理論は完全.無矛盾.実閉体の条件で決定可能だ。
の方が良いように思う。
ちなみに健全て本当？（健全⇒無矛盾は言えるが逆は言えない）
818: 01/18(日)23:20:50.01 ID:NKjZsad9(2/2) AAS
lean は自然演繹(NJ)+排中律を用いた議論を全て表現できる。
998(1): 04/02(木)20:09:05.01 ID:P5oxOHky(5/5) AAS
ともかくざっくりすぎでナンセンスに見えたら申し訳ないけど、数体のabcはそもそも足し算と
掛け算は分離しないと不等式が出ないタイプの問題なんで、IUTでも絶対ガロア群やlogを組み合わせて使ったりしてそれを攻略しようとしたわけね
それでレイヤーを巧妙に分けて掛け算の強い不変量が出たかというとやはり難しいのではないか、ということみたいです
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.077s