24/03/16 19:41:45.98 nuwGv9us.net
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
1013:デフォルトの名無しさん
25/02/19 17:54:51.51 V/CQ4I1a.net
意味なし
1014:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 339日 22時間 13分 7秒
1015:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています