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

[0001 デフォルトの名無しさん 2024/03/16(土) 19:41:45.98 ID:nuwGv9us]

たとえば、プログラミングで

π/4 = 1 - 1/3 + 1/5 - 1/7 + ...

を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど