3 ms·
Isn't that equivalent (or, ok, similar) to saying that we can decide undecidable mathematical truths?
by throw310822 1y ago
Isn't that equivalent (or, ok, similar) to saying that we can decide undecidable mathematical truths?
- littlestymaar 1y agoAs 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.