Turing proved that such a machine was capable of solving any conceivable mathematical problem for which an algorithm could be written.
Turing dowiódł, że taka maszyna jest w stanie rozwiązać każdy problem matematyczny, dla którego można napisać algorytm.