I find it confusing that all of the following statements are true :
- The computable real numbers are countable. $-\hspace{-3pt}-$ Alan Turing, "On Computable Numbers, with an Application to the Entscheidungsproblem"
- In constructive analysis, the real numbers are uncountable. $-\hspace{-3pt}-$ Everett Bishop, Foundations of Constructive Analysis
- "every mathematical statement [in constructive analysis] ultimately expresses the fact that if we perform certain computations within the set of positive integers, we shall get certain results" $-\hspace{-3pt}-$ Ibid.
Perhaps I am misunderstanding something.
I suppose I really have two questions. In constructive analysis :
- Why isn't every real number computable?
- How is it possible to construct an uncountable set?
from Hot Weekly Questions - Mathematics Stack Exchange
simple jack
Post a Comment