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

[286 デフォルトの名無しさん 2024/04/14(日) 22:02:11.90 ID:ZXz6cRZI]

>>270
うん…。
まあ、そもそも有限ステップで証明可能な事と、近似値ではない真の値を求めることを混同してる>1が悪いって事やね。
ε-δ論法で証明出来るのはいくらでも精度の高い近似値を求められる（それをもって極限の存在を証明）ってだけやし。