Interuniversal geometry とABC 予想61
(265ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
75(1): 07/16(木)08:35 ID:nT1a22Gl(1) AAS
いよいよ明日だな
公開処刑
3.11→3.12の形式化はやっぱり無理でした、かな
2年半、星が説明しつくしても、形式化出来ないんじゃ、少なくとも証明とはいえないよな
ま、当初から「間違ってさえいない」と言われてるように、ギャップがある（間違っている）というより、最初から証明になってない
77: 07/16(木)11:04 ID:rguI9J+j(1) AAS
>>75
どうせ何も触れずにスルーでしょ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.471s*