Church's Conjecture

• Any computation for which there is an effective procedure can be realized by a Turing machine.

• See:

• http:// www. cs. princeton. edu/

• courses/cs126/demo/turing/index.php