Do Negative Results from Formal Systems Limit Scientific Knowledge?

Joseph F. Traub
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.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.