My original claim, “the ability to ‘map’ Turing machine states to integers,” was an assertion over all possible Turing machines and their maps.
My original claim, “the ability to ‘map’ Turing machine states to integers,” was an assertion over all possible Turing machines and their maps.