tl;dr he is Turing's cooler uncle and his Wikipedia page (wow comparable to Bertrand Russell)