Analysis of information sources in references of the Wikipedia article "Turing machine" in English language version.
Last modified:
Reprinted in Davis (2004, p. 293ff); appendix includes corrections and commentary on Turing's 1936–1937 paper. In particular see the footnotes 11 with corrections to the universal computing machine coding and footnote 14 with comments on Turing's first and second proofs.Boolos, George; Jeffrey, Richard (1999) [1974]. Computability and Logic (3rd ed.). Cambridge UK: Cambridge University Press. ISBN 0-521-20402-X. Davis, Martin; Sigal, Ron; Weyuker, Elaine J. (1994). Computability, Complexity, and Languages and Logic: Fundamentals of Theoretical Computer Science (2nd ed.). San Diego: Academic Press, Harcourt, Brace & Company. ISBN 0-12-206382-1.
Reprinted in Davis (2004, p. 293ff); appendix includes corrections and commentary on Turing's 1936–1937 paper. In particular see the footnotes 11 with corrections to the universal computing machine coding and footnote 14 with comments on Turing's first and second proofs.Boolos, George; Jeffrey, Richard (1999) [1974]. Computability and Logic (3rd ed.). Cambridge UK: Cambridge University Press. ISBN 0-521-20402-X. Davis, Martin; Sigal, Ron; Weyuker, Elaine J. (1994). Computability, Complexity, and Languages and Logic: Fundamentals of Theoretical Computer Science (2nd ed.). San Diego: Academic Press, Harcourt, Brace & Company. ISBN 0-12-206382-1.
Reprinted in Davis (2004, p. 289ff)
Reprinted in Davis (2004, p. 293ff); appendix includes corrections and commentary on Turing's 1936–1937 paper. In particular see the footnotes 11 with corrections to the universal computing machine coding and footnote 14 with comments on Turing's first and second proofs.Boolos, George; Jeffrey, Richard (1999) [1974]. Computability and Logic (3rd ed.). Cambridge UK: Cambridge University Press. ISBN 0-521-20402-X. Davis, Martin; Sigal, Ron; Weyuker, Elaine J. (1994). Computability, Complexity, and Languages and Logic: Fundamentals of Theoretical Computer Science (2nd ed.). San Diego: Academic Press, Harcourt, Brace & Company. ISBN 0-12-206382-1.
Reprinted in Davis (2004, p. 289ff)