What are the philosophical consequences of the undecidability of the spectral gap in quantum theory?
Why are there no Computer Algebra Systems designed to import known mathematical identities/theorems?
Quantum Mechanics has formally undecidable problems. What is the philosophical significance of this?
Only top scored, non community-wiki answers of a minimum length are eligible