Inter-universal geometry と ABC 予想 47

Inter-universal geometry と ABC 予想 47at MATH

Inter-universal geometry と ABC 予想 47 - 暇つぶし2ch280:１３２人目の素数さん
20/04/07 18:29:35.82 mg7kwOWZ.net
>>256
それは対象が全ての証明の場合、計算可能なアルゴリズムがないてだけの話だ
もしある具体的な証明が、証明となってないなら論理の飛躍（非証明的操作）があるよ
不完全性定理を知ったかするど素人は黙ってろ

次ページ

続きを表示

1を表示