Negli anni Sessanta ha lavorato molto, e quindi molta della sua teoria logica è rimasto inutilizzata mentre attraversavamo la rivoluzione del computer digitale, ma ora sta tornando.
El a lucrat preponderent în anii '60, şi astfel o mare parte din această teorie logică a fost acoperită în timp ce treceam prin revoluţia computerelor digitale, dar acum revine.