Putnam's Rocks Are Clocks

2017-10-16T07:52:04Z (GMT) by Ramón Casares
Putnam proved that "every ordinary open system is a realization of every abstract finite automaton", showing that computing is meaningless. Analyzing a simpler version of his proof, we conclude that giving a meaning to a computation requires computing, which is meaningless, starting a recursion.



CC BY 4.0