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

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

Inter-universal geometryとABC予想(シン応援スレ) 92 - 暇つぶし2ch416:１３２人目の素数さん
26/07/22 14:33:31.88 u5VrSqGL.net
>>414
>>いかなる非形式的証明もギャップが無いことが検証されていない。
>これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
え？　それ形式化してるやん
非形式的証明って書いてるんだけど字読める？

次ページ