Assertion: register's number | /r/CapableOf | evolve as the computation proceeds
Facets:
Source sentences:
text: Minsky (1961) and Shepherdson–Sturgis (1963) prove that only a few tapes—as few as one—still allow the machine to be Turing equivalent IF the data on the tape is represented as a Gödel number (or some other uniquely encodable-decodable number); this number will evolve as the computation proceeds.