3 ms·Computable Numbers, with an Application to the Entscheidungsproblem [pdf]2 points by speckx 4mo ago