On Computable Numbers, with an Application to the Entscheidungsproblem [pdf]cs.virginia.edu3 pointsgfredtech9 years ago