Content-Type: text/html

# 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]?.

HomePage | RecentChanges | Preferences
You can edit this page right now! It's a free, community project
Edit text of this page | View other revisions
Last edited August 2, 2001 7:54 am (diff)
Search: