[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
137: 2020/04/04(土)22:32 ID:DZ3hypNA(3/4) AAS
>>135
途中送信
たとえばn項の数列{x_n}がある
これは
すべてのn∈N(自然数)なのか
それとも
あるn∈Nなのか
人間はこれを存在命題と認識するが
コンピュータはこれを全称命題として処理するだろう
たったこれだけでもバグが発生すると考えられる
AIの自動証明なんて無理だよ
上下前次1-新書関写板覧索設栞歴
あと 865 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s