I'm thinking of him as a prefigurative example of the now-cliché college dropout startup founder. He was ready to build the future and had grown terribly bored of this giant pile of sterile math about Turing machines. It felt like a ball and chain, not an accomplishment. Being asked to pay to get it bound was the straw that broke the camel's back.