All code operations, despite their metaphoric faculties such as “call” or “return”, come down to absolutely local string manipulations and that is, I am afraid, to signifiers of voltage differences. Formalization in Hilbert’s sense does away with theory itself, insofar as “the theory is no longer a system of meaningful propositions, but one of sentences…