On Sep 17, 2007, at 4:49 PM, Mike Krotscheck wrote:
I may take you up on this challenge- I’ve got this strange masochistic urge to see if ML has the same restriction. I seem to recall proving e^i to an arbitrary significant digit, so Pi shouldn’t be too much different.
You could do that. But you cannot store PI or any other infinite sequence in the machine from which to perform calculations on. Getting a specific digit of PI, or something similar (say 22/7), is different than using it in a calculation.
- j
