Lecture 14 (Computation Theory) Church-Turing Thesis and the Definition of an Algorithm

What ultimate goal motivated Church and Turing to develop their formal models of computation?

1. A.To prove that the axioms of arithmetic are consistent
2. B.To build the first physical electronic computer
3. C.To produce a precise definition of the word "algorithm"
4. D.To find an explicit solution to Hilbert's tenth problem