> There is at least some argument that under this model it's not the number which can't be computed, but the "is rational" function. That's how I see it. I thi

> There is at least some argument that under this model it's not the number which can't be computed, but the "is rational" function. That's how I see it. I think this perspective results in a rich and natural theory, which has helped me in my studies.