Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability
Michael J. Prasse · The Computer Journal · 1998
Peter Wegner's definition of computability differs markedly from the classical term as established by Church, Kleene, Markov, Post, Turing et al. Wegner identifies interaction as the main feature of today's systems which is lacking in the classical treatment of computability. We compare the different approaches and argue whether or not Wegner's criticism is appropriate. Taking into account the major arguments from the literature, we show that Church's thesis still holds.