A conjecture which states that any function that can be computed by an algorithm (in the informal sense) can also be computed by a Turing machine.
A conjecture which states that any function that can be computed by an algorithm (in the informal sense) can also be computed by a Turing machine.