Comment by throw310822
1 month ago
Isn't that equivalent (or, ok, similar) to saying that we can decide undecidable mathematical truths?
1 month ago
Isn't that equivalent (or, ok, similar) to saying that we can decide undecidable mathematical truths?
As far as I understand there's no such thing “undecidable” in absolute, Gödel incompleteness theorem is about being undecidable under a certain set of axioms.