There is No Software

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 as sequences of words, which are in turn sequences of letters. We can tell [say]…