Über berechenbare Zahlen mit einer Anwendung auf das Entscheidungsproblem (1937) - Turing, Alan 1912-1954 (1935)