Putnam-fs3.pdf (59.85 kB)
Putnam's Rocks Are Clocks
Version 3 2020-05-13, 11:18
Version 2 2017-10-16, 07:52
Version 1 2017-09-28, 07:37
journal contribution
posted on 2020-05-13, 11:18 authored by Ramón CasaresRamón CasaresPutnam 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.