On Computable Numbers