Re: Definition of real number ℝ --infinitesimal--

Liste des GroupesRevenir à s logic 
Sujet : Re: Definition of real number ℝ --infinitesimal--
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 30. Mar 2024, 03:31:45
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <uu7q21$k72e$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
On 3/29/2024 8:21 PM, Keith Thompson wrote:
olcott <polcott2@gmail.com> writes:
On 3/29/2024 7:25 PM, Keith Thompson wrote:
[...]
What he either doesn't understand, or pretends not to understand, is
that the notation "0.999..." does not refer either to any element of
that sequence or to the entire sequence.  It refers to the *limit* of
the sequence.  The limit of the sequence happens not to be an element of
the sequence, and it's exactly equal to 1.0.
>
In other words when one gets to the end of a never ending sequence
(a contradiction) thenn (then and only then) they reach 1.0.
 No.
 You either don't understand, or are pretending not to understand, what
the limit of sequence is.  I'm not offering to explain it to you.
 
I know (or at least knew) what limits are from my college calculus 40
years ago. If anyone or anything in any way says that 0.999... equals
1.0 then they <are> saying what happens at the end of a never ending
sequence and this is a contradiction.

This is all stated in terms of the real numbers, which are a well
defined set.  There are other systems with different properties.  If we
were talking about the hyperreals, for example, olcott's statement might
be correct (though I'm not sure of that).  But olcott seems to be
insisting, quite incorrectly, that his statements apply to the reals.
>
Pi exists at a single geometric point on the number line.
 Irrelevant.
One geometric point to the left or to the right is incorrect.

 [...]
 
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
21 Sep 24 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal