Church Turing Thesis

The Church-Turing thesis is the connection between the informal notion of algorithm and the precise definition and provides the definition of algorithm necessary to resolve Hilbert's tenth problem.