He showed that with a few simple operators and a notation for functions, one can build a Turing-complete language for algorithms.
Έδειξε ότι με μερικούς απλούς τελεστές και ένα συμβολισμό για συναρτήσεις, μπορεί να δημιουργηθεί μια Turing-πλήρης γλώσσα για αλγορίθμους.