「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
267(1): 2023/07/17(月)18:32 ID:rR/0wbJJ(2/3) AAS
>>266
加藤文元が 現今の数学との違いを言語化する新しい数学の 言語体系IUT語はさらに未完成だそうだ、
望月新一監修だな
269(1): 2023/07/17(月)19:02 ID:nXy+r9PE(4/8) AAS
>>267
新しい数学と自分で言ってるじゃんw
>言語体系IUT語はさらに未完成だそうだ
未完成って言ってるのか？
それに未完成なのは概要を伝える言葉だし
発展形まで含めた数学としての論理性にまつわる言葉の問題なんじゃない？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s