On 8/16/2012 12:32 PM, John Clark wrote:
If it's undecidable that means its either false or true but contains no proof, that is to say it's truth can't be demonstrated in a finite number of steps. And Turing proved that there are a infinite number of undecidable statements that you can not know are undecidable.
But there's also a different meaning of undecidable: a statement that can be added as an axiom or it's negation can be added as an axiom, e.g. the continuum hypothesiswithin ZFC.
Brent -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.