[過去ﾛｸﾞ] スレ立てるまでもない質問はここで 161匹目 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
64: 2022/08/31(水)23:44 ID:kem3tvz1(1) AAS
20世紀初頭、ヒルベルトプログラムに端を発する「数学の公理化」は成功に終わった
それ以来数学は完全に論理の世界、人間の頭の中だけに存在するものになった
コンピュータで無理数を具体的に扱うことなどできない
√2, π, eなど具体的に挙げることができる数は加算個しかない
それどころか、加算個無限すらコンピュータで具体的に扱うことなどできない
無限多倍長とは言うが、その「無限」は「メモリがある限り」という意味であって、本当に無限のメモリを持つマシンなど存在しない
人間は簡単に「無限」とか言っちゃうけどね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.039s