Provability < Proof

I haven't touched this blog in over a month.... time to post more!
While I'm fooling around with other stuff, enjoy something I learned in freenode's #math channel a few minutes ago (after the break, with names omitted)

Yet another reason to find Gödel's incompleteness theorems surprising