Quantum Computing since Democritus

by Scott Aaronson

Alright, should I let you in on a secret? The proof of the Incompleteness Theorem is about two lines. It's almost a triviality. The caveat is that, to give the two-line proof, you first need the concept of a computer.