「数学」をプログラミングするには
- 260 :デフォルトの名無しさん:2024/04/12(金) 23:55:46.84 ID:lpyrPPhz.net
- >>1
> たとえば、プログラミングで
>
> π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
>
> を近似ではなく厳密に確かめるにはどうしたらいいの
> 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
人間が証明出来るからって、有限なアルゴリズムに書き換えられるとは限らないんだよなぁ…。
そもそも人間の証明がlimとか使って(仮に無限回繰り返せれば)極限はnになる(だろう)って感じで有限のアルゴリズムじゃない訳で。
115 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver 2014.07.20.01.SC 2014/07/20 D ★