A new problem for rule following
Wittgenstein saw a problem with the idea that rule following is a transparent process. Here I present an additional problem, based on recent ideas about non-Turing computing. I show that even the simplest algorithmFreges successor function, i.e. countingcannot by itself determine the output. Specification of a computing machine is also required.
wittgenstein non-turing computing malamenthogarth spacetime algorithm