It represented for him a synthesis of his early interest in logic and proof theory and his later work, during World War II and after, on large scale electronic computers.
Ito kinakatawan para sa kanya ng isang pagbubuo ng mga unang bahagi ng kanyang interes sa lohika at patunay teorya at ang kanyang mamaya sa trabaho, sa panahon ng World War II at pagkatapos, sa malaking proporsyon electronic computer.