- #1

Jano L.

Gold Member

- 1,333

- 74

Yesterday I've read that there exist a real number r which cannot be defined by a finite number of words. This result, although quite awesome, is so strange that it lead Poincaré to doubt Cantor's work and state "never consider objects that can't be defined in finite number of words".

In our course on analysis, our professor postulated the existence of a supremum for any bounded sequence of rational numbers and I think the existence of the set of real numbers followed.

I am not entirely satisfied by this approach though, because it postulates supremum, which is not particularly simple notion.

Do you think the set of real numbers can be defined in finite number of words, using only basic concepts? (whole numbers, simple logic, ...)

Or do you think it is impossible and the set has to be postulated by force?

What are your feelings about this?

Which possibility do you prefer?

Jano