Computable Numbers

 was the title of a scientific paper by Alan Turing, where he disproved David Hilbert's thesis that all mathematical problems were solvable.

Turing worked on this paper for over a year and published it before World War II. The proof used the concept of a Universal Machine. (PROSE: The Turing Test)

Behind the scenes
In the real world, the paper was published in 1937 and was titled On Computable Numbers, with an Application to the Entscheidungsproblem.