03-24-2004, 06:17 AM
Now, I'm stepping in *way* over my head here. But I think I know what you're talking about, although the way you've said it is incorrect.
You're talking about decideability, right? It's not that the infinitude of twin primes is unproveable, just that we have no universally applicable method for determining whether a proof exists (and if it is true, then a proof must exist). Therefore, we're stuck waiting until some brilliant mathematician figures it out, if ever.
Those statements were just examples of that, correct? A list of problems, not just assertions?
The last line... was that supposed to be Fermat's last theorem? Or does it just kinda look like it?
Jester
You're talking about decideability, right? It's not that the infinitude of twin primes is unproveable, just that we have no universally applicable method for determining whether a proof exists (and if it is true, then a proof must exist). Therefore, we're stuck waiting until some brilliant mathematician figures it out, if ever.
Those statements were just examples of that, correct? A list of problems, not just assertions?
The last line... was that supposed to be Fermat's last theorem? Or does it just kinda look like it?
Jester