Inter-universal geometry と ABC 予想 46

Inter-universal geometry と ABC 予想 46at MATH

Inter-universal geometry と ABC 予想 46 - 暇つぶし2ch139:１３２人目の素数さん
20/04/04 22:32:31.23 DZ3hypNA.net
>>135
途中送信
たとえばn項の数列{x_n}がある
これは
すべてのn∈N(自然数)なのか
それとも
あるn∈Nなのか
人間はこれを存在命題と認識するが
コンピュータはこれを全称命題として処理するだろう
たったこれだけでもバグが発生すると考えられる
AIの自動証明なんて無理だよ

次ページ