Why Church's Thesis still holds. Some notes on Peter Wegner's tracts on interaction and computability Export

@article{citeulike:2318720, abstract = {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 will show that Church's thesis still holds. Introduction In ...}, author = {Prasse, Michael and Peter}, citeulike-article-id = {2318720}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3801}, journal = {The Computer Journal}, keywords = {direct, interactive, network, turing}, month = {????}, number = {6}, pages = {357--362}, posted-at = {2008-06-25 22:10:54}, priority = {2}, title = {Why Church's {Thesis} still holds. Some notes on {Peter Wegner}'s tracts on interaction and computability}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3801}, volume = {41}, year = {1998} }

TY - JOUR ID - citeulike:2318720 L3 - citeulike-article-id:2318720 N2 - 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 will show that Church's thesis still holds. Introduction In ... IS - 6 JF - The Computer Journal EP - 362 TI - Why Church's {Thesis} still holds. Some notes on {Peter Wegner}'s tracts on interaction and computability VL - 41 SP - 357 KW - direct KW - interactive KW - network KW - turing AU - Prasse, Michael AU - Peter PY - 1998/????// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3801 ER -