Prev: Surely You're Joking, Mr. Zeilberger?
Next: nonprincipal ideal
From: Archimedes Plutonium on 16 Feb 2010 02:11
There is one point of contention. I am not sure if it is a one-to-one
correspondence, or just
a correspondence. Anyway, it is no loss to the proof for we simply
correspond one endpoint
of the line-segment with the associated endpoint of a line-ray. So
what line-segment, the
largest line-segment is associated with the largest line-ray, the line-
ray given at the start?

So whether the correspondence is one to one or not one to one is
immaterial to the argument.

What is important to the argument is that the two endpoints of a
precision defined finite-line
forces us to Select the largest line-segment. And there is no way of
getting around this
forced selection process.

Archimedes Plutonium
www.iw.net/~a_plutonium
whole entire Universe is just one big atom
where dots of the electron-dot-cloud are galaxies
From: Archimedes Plutonium on 16 Feb 2010 16:36


Archimedes Plutonium wrote:
> There is one point of contention. I am not sure if it is a one-to-one
> correspondence, or just
> a correspondence. Anyway, it is no loss to the proof for we simply
> correspond one endpoint
> of the line-segment with the associated endpoint of a line-ray. So
> what line-segment, the
> largest line-segment is associated with the largest line-ray, the line-
> ray given at the start?
>
> So whether the correspondence is one to one or not one to one is
> immaterial to the argument.
>
> What is important to the argument is that the two endpoints of a
> precision defined finite-line
> forces us to Select the largest line-segment. And there is no way of
> getting around this
> forced selection process.
>
> Archimedes Plutonium
> www.iw.net/~a_plutonium
> whole entire Universe is just one big atom
> where dots of the electron-dot-cloud are galaxies
 | 
Pages: 1
Prev: Surely You're Joking, Mr. Zeilberger?
Next: nonprincipal ideal