[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
3(2): 2024/03/17(日)07:03:55.84 ID:SKDLv/jq(1) AAS
>>1
アルゴリズムではなくメモリ容量の問題
無限小数を求めるには無限のメモリが必要で世界中のメモリを集めても無限にはならないので不可能なだけ
73(1): 2024/03/23(土)14:44:44.84 ID:g/HfMmmn(3/9) AAS
>>72
それは実装上の効率化のための操作で、本当の写像ではない。本当の写像は配列から配列を作る。
C#で言えばSelectしただけでは写像にならず、ToArrayしないと写像にならない。
149(2): 2024/03/29(金)07:29:41.84 ID:Gq7mALgF(1) AAS
ゲーデルの不完全性定理で完全に否定されているだろ
プログラムは不完全性では動かせない
220: 2024/04/05(金)09:35:13.84 ID:WYYyLvqP(1) AAS
なんでオブジェクト指向が出てくんだｗ
260(5): 2024/04/12(金)23:55:46.84 ID:lpyrPPhz(1) AAS
>>1
> たとえば、プログラミングで
>
> π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
>
> を近似ではなく厳密に確かめるにはどうしたらいいの
> 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
人間が証明出来るからって、有限なアルゴリズムに書き換えられるとは限らないんだよなぁ…。
そもそも人間の証明がlimとか使って（仮に無限回繰り返せれば）極限はnになる（だろう）って感じで有限のアルゴリズムじゃない訳で。
299(1): 2024/04/15(月)08:51:17.84 ID:KspO/JeI(1/2) AAS
>>298
当たり前だろ。無理数は有理数じゃないんだから、有理数とは対応しない。
現代の数学は「実数=コーシー列の極限」で構築されているから、コーシー列が分かれば実数そのものとして扱うことができる。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.471s*