Kritchman and Raz adapted the surprise examination paradox (a/k/a the unexpected hanging paradox) to prove Godel's second incompleteness theorem (extending the ideas underlying Chaitin's Berry's-paradox-inspired proof of Godel's first incompleteness theorem).

I blogged on this here.