14 Jul
2009
14 Jul
'09
2:03 p.m.
Quoting Dan Asimov <dasimov@earthlink.net>:
I am assured by logicians that in any axiomatic system rich enough to include number theory, there are propositions that can be neither proved nor disproved, regardless of whether they are "really" true or "really" false.
A common example that may be of this type is the twin primes conjecture (TWP).
Not so long ago, people3 were saying this about Fermat's Last Theorem. - hvm ------------------------------------------------- www.correo.unam.mx UNAMonos Comunicándonos