実数を使わないと証明できない整数論の結果はありますか？ (18ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
18: １３２人目の素数さん [] 2025/05/07(水) 18:16:28.88 ID:tsrmwpMk(1) AAS
数学的議論が有限の記号の列でかかれているのならば、
それはビットの列に読み直せばコンピュータで厳密に扱える。
すべてが論理で正しく扱えているのなら、コンピュータでもなぞれる。
出てくる実数も、有限の記号の列できちんと定義されたものであっても
２つが等しいか等しくないかを判定する万能のアルゴリズムは無いのだが、
数学でうまく扱えているのなら、それを呑み込めばいいだろう。
うまく扱えないものは、今の数学でもうまく扱えてはいないだろう。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s