He proved that some such machine would be capable of performing any conceivable mathematical computation if it were representable as an algorithm