the church turing thesis A turing machine provides a formal definition of a computable function, while the church-turing-thesis says that intuitive notion of computable coincides with the formal definition of computable, ie, all functions computable by tms.
{}