"...If you're content with the engineering or craft side of things, Marty, this sort of stuff probably isn't important. But if you're interested in computational theory, the mathematical foundations of computing, the computational foundations of mathematics or just what these guys Turing, Gödel, Curry and Church got up to all those years ago, this stuff is pretty core...."
Full story »
