Essay Abstract
This essay points to hidden premises in the arguments demonstrating the existence of mathematical propositions that are formally unprovable. It is argued that blindness to such premises has confused the interpretation of unprovability and uncomputability theorems. The same blindness has led many to assign improper and too prominent roles to codes and computation, roles they cannot play regardless these theorems. Similarly, there are hidden premises in the rules we use to extract predictions from quantum theory. The source of the hidden premises is the same in the mathematical and the physical cases: we have to assume outside agents who act on the system being studied - be it a formalisation of arithmetic, or an experimental setup designed to test Bell's inequalities. The relation between the agent and the system has a specific form. Everything with specific form can be used as a handle to new insights. In this case the claimed common source allows us to find common traits of formal unprovability in mathematics and physical indeterminism. To find these common traits, we need to open our eyes. We are blind to the nature of the relation between ourselves and the world since we are born with it, and thus take for granted - just like we are deaf to the harmony of the spheres since we always hear it, or so it is said.
Author Bio
The author has a PhD in mathematical physics from Lund University, Sweden. He has also engaged in cross-disciplinary research, trying to reconstruct the diffusion of innovations in Antiquity from the archaeological record. He also works outside Academia.