I argue that uncomputable formal problems are intuitively, mathematically, and methodologically analogous to empirical problems in which Hume’s problem of induction arises. In particular, 11 I show that a version of Ockham’s razor (a preference for simple answers) is advantageous in both...