He proved that some such machine would be capable of performing any conceivable mathematical computation if it were representable as an algorithm.
El a demonstrat că o astfel de mașină va fi capabilă să efectueze orice calcul matematic posibil dacă acesta este reprezentabil sub forma unui algoritm.