(September 4, 2016 at 6:11 am)SteelCurtain Wrote: It's enough to be reasonably sure, but with the exponential nature of the equation, even extremely close approximations get blown up.
But you're probably right, there is probably a proof possible without explicit calculation.
Oh no doubt it would be a nightmare to control the precision, but once you have a handle on that and you've gotten to the first digit after the decimal point, and it is nonvanishing within your precision, you're done - it's just if you get .000000..., you can never be sure that there won't be something else, is all I was saying
The fool hath said in his heart, There is a God. They are corrupt, they have done abominable works, there is none that doeth good.
Psalm 14, KJV revised edition