It is believed that if a problem can be solved by an algorithm, there exists a Turing machine that solves the problem.
It is generally assumed that a Turing machine can solve anything capable of also being solved using what?
an algorithm