Inter-universal geometry と ABC 予想 47

Inter-universal geometry と ABC 予想 47at MATH

Inter-universal geometry と ABC 予想 47 - 暇つぶし2ch303:１３２人目の素数さん
20/04/07 19:09:03.18 ElceEk/X.net
たしかに普通の数学の証明は非形式的だけど、補題3.12の証明と異なるのはやろうと思えば形式的にできるところ
3.12の証明はそもそも誰も形式的に翻訳できるレベルまで理解されるような証明になってないというのが現状

次ページ

続きを表示

1を表示