Allí mostró que con algunos operadores simples y una notación para las funciones, uno puede construir un lenguaje Turing completo para procesamiento de algoritmos.