He showed that with a few simple operators and a notation for functions, one can build a Turing-complete language for algorithms.
El mostraba que cunhas poucas operacións e unha notación para funcións, calquera pode construír unha linguaxe Turing-completa para algoritmos.