Density of computable numbers

Question

Proposition: for any real number, there exists a computable number that is arbitrarily close to it.

Is this proposition true/false/undecided?

score 5 · Accepted Answer · answered Mar 12 '15 at 13:36

5

Yes, because for every real number there is a rational number arbitrarily close to it, and every rational number is computable.

answered Mar 12 '15 at 13:36

MJD

1 Answers1