2 ms·On Computable Numbers with an Application to the Entscheidungsproblem 1936 [pdf]2 points by jcr 12y ago