Gödel proved that there are true sentences that cannot be proved.
Suppose I told you that the Goldbach conjecture is one of those. (The Goldbach conjecture supposes that every even integer number can be expressed as the sum of two odd primes.)
Is that logically possible? (And, no, I haven't proved it!)
So I realize the solution is already posted, but lets think about it
for a second without all this computer programming stuff. Take the
number two. 2 is an even integer, but 2 can not be expressed as the sum
of two odd primes1 is not a prime and neither is 0... so I fail to see
how this works...?

Posted by sean
on 20051108 11:26:50 