A Mechanical Proof of the Unsolvability of the Halting Problem
A method for obtaining digital signatures and public-key cryptosystems