Content-Type: text/html
Wikipedia: Churchs thesis
HomePage | RecentChanges | Preferences
You can edit this page right now! It's a free, community project
Church's thesis is the thesis in the theory of computation that the intuitive notion of computability matches the formal notion of computability defined by Turing machines and many other formalisms. This is substantiated by the discovery in the 1930-50s that many very different formalisms for computation lead to essentially the same set of [computable functions]?.