Comment by throw310822
Comment by throw310822 5 days ago
Isn't that equivalent (or, ok, similar) to saying that we can decide undecidable mathematical truths?
Comment by throw310822 5 days 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.