The legendary computer scientist outlined the foundations for many of the technologies we use today ...
However, there's a problem with this, which I can't resolve. Anyone who's done a computing machinery course will have heard of the Halting Problem, or Self Applicability, or some variant thereof.