Do Negative Results from Formal Systems Limit Scientific Knowledge?
This article lies at the intersection of computational physics and theoretical computer science. Over the last 60 years there has been a stream of negative results announcing undecidability, non-computability, and intractability. Are these impossibility results relevant to physics? I will discuss two of the negative results and provide arguments regarding their relevance.
- cucs-012-97.pdf application/pdf 123 KB Download File
More About This Work
- Academic Units
- Computer Science
- Department of Computer Science, Columbia University
- Columbia University Computer Science Technical Reports, CUCS-012-97
- Published Here
- April 25, 2011