"On Computable Numbers with an Application to the Entscheidungsproblem" (1936)<p><a href="http://draperg.cis.byuh.edu/archive/winter2014/cs320/Turing_Paper_1936.pdf" rel="nofollow">http://draperg.cis.byuh.edu/archive/winter2014/cs320/Turing_...</a><p>"Computing Machinery and Intelligence" (1950)<p><a href="http://www.csee.umbc.edu/courses/471/papers/turing.pdf" rel="nofollow">http://www.csee.umbc.edu/courses/471/papers/turing.pdf</a><p>"Recursive Functions of Symbolic Expressions and Their Computation by
Machine" (1960)<p><a href="http://www.cs.cmu.edu/~crary/819-f09/McCarthy60.pdf" rel="nofollow">http://www.cs.cmu.edu/~crary/819-f09/McCarthy60.pdf</a><p>"Reflections on Trusting Trust" (1984)<p><a href="https://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf" rel="nofollow">https://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thomp...</a>