Math 260AB - Mathematical Logic, UCSD 2012
Monday, April 2, 2012
Turing's paper "On computable numbers, with an application to the Entscheidungsproblem" is freely available
here
, although in somewhat hard-to-use form.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment