Re: Is continuum completely filled up?

In article <en10lj$ka1$1@xxxxxxxxxxxxxxxxx>, ooo <farawfu@xxxxxxxxx> wrote:

If real line is filled with points and each point is
distinguished,then each point has difference from every other points.
Therfore real line has void.

Can you prove that? Why does the fact that every point is a finite
distance from every other point mean that there are gaps?

Because distanse between two points is finite (that is not necesarily
realnumber), we can take point at a potition of their middle.

What makes you think the distance is not necessarily a real number?
The distance between two points on the real line is their difference,
which is certainly a real. So the point in the middle is also a real
number.

-- Richard
--
"Consideration shall be given to the need for as many as 32 characters
in some alphabets" - X3.4, 1963.
.

Relevant Pages

  • Re: Value convertion problem
    ... however, I think I'm doing the convertions ... Also, when outputing the Distance objects, ... Then I would not return anything and make the conv return void. ...
    (alt.comp.lang.learn.c-cpp)
  • Re: Convertion problem
    ... I've included my revised .cpp file and .h file below. ... int Distance:: number ... char Distance:: measure (void) ...
    (comp.lang.cpp)
  • Re: Constructor problem
    ... overloaded function differs only by return type from 'int ... Distance.h: see declaration of 'Distance::measure' ... int measure (void) const; ... int Distance:: number const ...
    (comp.lang.cpp)
  • [PATCH 2/2] mm: refault histogram
    ... Adds a refault histogram for those policies that use nonresident page tracking. ... +void nonresident_refault(unsigned long distance) ... +static inline void nonresident_refault ...
    (Linux-Kernel)
  • Re: Class problem
    ... It now compiles and outputs correctly. ... allow one Distance value to be assigned to another. ... int measure (void) const; ...
    (comp.lang.cpp)