Brian Lovin
/
Hacker News
Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus [pdf]