Reply to comment

So what

So what that certain statements are undecidable? That isn't a barrier to maths or to logic, they are just labelled as undecidable and we can reason about them based on that knowledge.
Undecidability is an advancement in mathematics, and can probably be used for important things like encryption, we should stop thinking about it as a negative of mathematics, it is a strengthening of our understanding of logic, not a weakening by any means.


  • Web page addresses and e-mail addresses turn into links automatically.
  • Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.

More information about formatting options

To prevent automated spam submissions leave this field empty.
By submitting this form, you accept the Mollom privacy policy.