25/02/20 01:10:56.24 oTwZIw4i.net
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
前スレ
ｽﾚﾘﾝｸ(tech板)
25/02/20 01:10:56.24 oTwZIw4i.net
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
前スレ
ｽﾚﾘﾝｸ(tech板)