Turing's proof is a proof by Alan Turing, first published in November 1936 with the title "On Computable Numbers, with an Application to the Entscheidungsproblem". From Wikipedia
The collection, including seminal works foundational to computer science, is expected to fetch £150,000 at a June auction.