Computable Numbers, with an Application to the Entscheidungsproblem [pdf]cs.ox.ac.uk2 pointsspeckx20 hours ago