Permalink Submitted by Anonymous on February 24, 2011

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.

## 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.