This work, along with Gödel's work on general recursive functions, established that there are sets of simple instructions, which, when put together, are able to produce any computation.
Αυτό, μαζί με το έργο του Gödel πάνω στις γενικές αναδρομικές λειτουργίες, κατέδειξαν ότι υπάρχουν σύνολα από απλές οδηγίες, οι οποίες, όταν συνδιαστούν, είναι σε θέση να παράγουν οποιοδήποτε υπολογισμό.