Uncomputability and Physical Law

Abstract

This article addresses the question of when physical laws and their consequences can be computed. If a physical system is capable of universal computation, then its energy gap can't be computed. At an even more fundamental level, the most concise, simply applicable formulation of the underlying laws of physics is uncomputable. That is, physicists are in the same boat as mathematicians: many quantities of interest can be computed, but not all.