Home
Carlos Santos's Library tagged → View Popular
It's time to think outside the computational box
Marke Reid: "Peter Kugel's 2005 CACM article on rethinking what computation means by allowing non-terminating processes."
The Church-Turing Thesis: Breaking the Myth | Lambda the Ultimate
The Church-Turing thesis has since been reinterpreted to imply that Turing Machines model all computations, rather than just functions. This claim, which we call the Strong Church-Turing Thesis, is part of the mainstream theory of computation. In particular, it can be found in today's popular undergraduate theory textbooks:
Strong Church-Turing Thesis: A TM can do (compute) anything that a computer can do.
It is a myth that the original Church-Turing thesis is equivalent to this interpretation of it; Turing himself would have denied it.
Selected Tags
Related Tags
Sponsored Links
Top Contributors
Groups interested in theory
-
film
filmplus.org (film-north) +...
Items: 22 | Visits: 111
Created by: anatoly antohin
-
Student Centered Learning
Sites devoted to student ce...
Items: 165 | Visits: 94
Created by: Michael Walker
-
The End of Theory
Items: 21 | Visits: 169
Created by: Roger Chen
Highlighter, Sticky notes, Tagging, Groups and Network: integrated suite dramatically boosting research productivity. Learn more »
Join Diigo