He proved that some such machine would be capable of performing any conceivable mathematical computation if it were representable as an algorithm.
Han visade att en sådan maskin skulle kunna utföra vilka matematiska beräkningar som helst om de kunde ges som en algoritm.