4 ms·
Wittgenstein versus Turing on the nature of Church's thesis (1987)
- aebtebeten 4y agotl;dr: Wittgenstein (and hence Shanker) make life difficult for themselves by assuming that something carrying out the steps of a formal calculation and reflecting upon these actions somehow has any useful content over the simpler (yet equally useful) abstraction of something that carries out the steps of a formal calculation (independent of whether these steps are reflected upon or not).