Proceedings of the London Mathematical Society. 2nd series, vol. 42, pt. 3 (November 30, 1936): 230-240; 2nd series, vol. 42, pt. 4 (December 23, 1936): 241-265; 2nd series, vol. 43, pt. 7 (December 30, 1937): 544-546." /> TURING, Alan Mathison (1912-1954). "On computable numbers, with an application to the Entscheidungsproblem." In: <I>Proceedings of the London Mathematical Society</I>. 2nd series, vol. 42, pt. 3 (November 30, 1936): 230-240; 2nd series, vol. 42, pt. 4 (December 23, 1936): 241-265; 2nd series, vol. 43, pt. 7 (December 30, 1937): 544-546. | Christie's