「数学」をプログラミングするには

「数学」をプログラミングするにはat TECH

「数学」をプログラミングするには - 暇つぶし2ch1:デフォルトの名無しさん
24/03/16 19:41:45.98 nuwGv9us.net
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど

レスを読む