Church傍uring thesis
"In computability theory the Church傍uring thesis (also known as the Church's thesis, Church's conjecture and Turing's thesis) is a hypothesis about the nature of computers, such as a digital computer or a human with a pencil and paper following a set of rules. The thesis claims that any calculation that is possible can be performed by an algorithm running on a computer, provided that sufficient time and storage space are available. The thesis may be regarded as a physical law or as a definition, as it has not been mathematically proven.
"
|