実数を使わないと証明できない整数論の結果はありますか？ (18ﾚｽ)
実数を使わないと証明できない整数論の結果はありますか？ http://rio2016.5ch.net/test/read.cgi/math/1745698690/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
18: １３２人目の素数さん [] 2025/05/07(水) 18:16:28.88 ID:tsrmwpMk 数学的議論が有限の記号の列でかかれているのならば、 それはビットの列に読み直せばコンピュータで厳密に扱える。 すべてが論理で正しく扱えているのなら、コンピュータでもなぞれる。 出てくる実数も、有限の記号の列できちんと定義されたものであっても ２つが等しいか等しくないかを判定する万能のアルゴリズムは無いのだが、 数学でうまく扱えているのなら、それを呑み込めばいいだろう。 うまく扱えないものは、今の数学でもうまく扱えてはいないだろう。 http://rio2016.5ch.net/test/read.cgi/math/1745698690/18
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.205s*