He proved that some such machine would be capable of performing any conceivable mathematical computation if it were representable as an algorithm.
Он доказал, что подобная машина была бы способна произвести любые математические вычисления, представимые в виде алгоритма.