Inter-universal geometryとABC予想(シン応援スレ) 92

Inter-universal geometryとABC予想(シン応援スレ) 92 (404ﾚｽ)
上下前次 1-新

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

399: 07/21(火)18:23 ID:diu0Idzx(2/2) AAS
（IUT擁護派の世界は崩れ落ちたのにね）

400(1): 07/21(火)18:55 ID:9lPB4r8c(2/2) AAS
>ああ Lean形式化の発表でギャップ見つかった話？ギャップ埋めればいいだけでしょ？
ああリーマン予想は未証明って話？証明すればいいだけでしょ？

401: 07/21(火)19:38 ID:B/i3Ot9C(3/3) AAS
>>398
ワラタ

402: 07/21(火)19:56 ID:2GPRU5Zx(1/2) AAS
>>400
ですね

403: 07/21(火)19:59 ID:1oLhTN1K(1) AAS
ギャップを埋めるために、まずは公理をいじってIUTが正しいとしようぜ

404: 07/21(火)20:07 ID:2GPRU5Zx(2/2) AAS
それで「自明」になる訳ですね