|
so:text
|
For Turing it wasn't quite so bad. ...uring could see that the solution is to understand that mathematics was computational all along. ...For instance pi in classical mathematics is a value. It's also a function, but it's the same thing. In computation, a function is only a value when you can compute it, and if you cannot compute the last digit of pi, you only have a function. You can plug this function into your local sun, let it run until the sun burns out... This is it. This is the last digit of pi you will know. But it also means that there can be no process in the physical universe, or in any physically realized computer that depends on having known the last digit of pi. ...Which means that there are parts of physics that are defined in such a way that cannot strictly be true, because, assuming that this could be true leads into contradictions. (en) |
