Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

19 May, 2024: Line wrapping has been changed to be more consistent with Usenet standards.
 If you find that it is broken please let me know here rocksolid.nodes.help


devel / comp.theory / Definition of real number ℝ

SubjectAuthor
* Definition of real number ℝwij
`* Re: Definition of real number ℝFred. Zwarts
 +* Re: Definition of real number ℝwij
 |`* Re: Definition of real number ℝFred. Zwarts
 | `* Re: Definition of real number ℝwij
 |  `- Re: Definition of real number ℝFred. Zwarts
 `* Re: Definition of real number ℝAndy Walker
  `* Re: Definition of real number ℝ --infinitesimal--olcott
   +* Re: Definition of real number ℝ --infinitesimal--Andy Walker
   |`* Re: Definition of real number ℝ --infinitesimal--olcott
   | +* Re: Definition of real number ℝ --infinitesimal--wij
   | |`- Re: Definition of real number ℝ --infinitesimal--Andy Walker
   | `* Re: Definition of real number ℝ --infinitesimal--Andy Walker
   |  `* Re: Definition of real number ℝ --infinitesimal--olcott
   |   `- Re: Definition of real number ℝ --infinitesimal--Andy Walker
   `* Re: Definition of real number ℝ --infinitesimal--Richard Damon
    `* Re: Definition of real number ℝ --infinitesimal--olcott
     `* Re: Definition of real number ℝ --infinitesimal--Richard Damon
      +* Re: Definition of real number ℝ --infinitesimal--olcott
      |+- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |`* Re: Definition of real number ℝ --infinitesimal--Keith Thompson
      | `* Re: Definition of real number ℝ --infinitesimal--olcott
      |  +* Re: Definition of real number ℝ --infinitesimal--Keith Thompson
      |  |+* Re: Definition of real number ℝ --infinitesimal--olcott
      |  ||`* Re: Definition of real number ℝ --infinitesimal--Andy Walker
      |  || +* Re: Definition of real number ℝ --infinitesimal--olcott
      |  || |`* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |  || | +* Re: Definition of real number ℝ --infinitesimal--wij
      |  || | |+- Re: Definition of real number ℝ --infinitesimal--wij
      |  || | |`- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |  || | `- Re: Definition of real number ℝ --infinitesimal--olcott
      |  || `- Re: Definition of real number ℝ --infinitesimal--Ross Finlayson
      |  |`- Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |  `* Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |   `* Re: Definition of real number ℝ --infinitesimal--olcott
      |    `* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |     +- Re: Definition of real number ℝ --infinitesimal--olcott
      |     `* Re: Definition of real number ℝ --infinitesimal--Keith Thompson
      |      `* Re: Definition of real number ℝ --infinitesimal--olcott
      |       +* Re: Definition of real number ℝ --infinitesimal--Keith Thompson
      |       |+* Re: Definition of real number ℝ --infinitesimal--Keith Thompson
      |       ||`* Re: Definition of real number ℝ --infinitesimal--Ross Finlayson
      |       || `- Re: Definition of real number ℝ --infinitesimal--Ross Finlayson
      |       |`* Re: Definition of real number ℝ --infinitesimal--olcott
      |       | +* Re: Definition of real number ℝ --infinitesimal--Keith Thompson
      |       | |`* Re: Definition of real number ℝ --infinitesimal--olcott
      |       | | `* Re: Definition of real number ℝ --infinitesimal--André G. Isaak
      |       | |  `* Re: Definition of real number ℝ --infinitesimal--olcott
      |       | |   `* Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       | |    `- Re: Definition of real number ℝ --infinitesimal--Keith Thompson
      |       | +* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       | |+- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       | |`* Re: Definition of real number ℝ --infinitesimal--olcott
      |       | | `- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       | `* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |  `* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |   +* Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |   |`* Re: Definition of real number ℝ --infinitesimal--wij
      |       |   | `* Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |   |  `* Re: Definition of real number ℝ --infinitesimal--wij
      |       |   |   `* Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |   |    `* Re: Definition of real number ℝ --infinitesimal--wij
      |       |   |     `- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |   +* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |   |`- Re: Definition of real number ℝ --infinitesimal--Ross Finlayson
      |       |   `* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |    `* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |     `* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |      +* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |`* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |      | `* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |  +* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |      |  |`* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |  | +- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |      |  | `* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |      |  |  `* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |  |   +* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |      |  |   |`* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |  |   | +* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |      |  |   | |`* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |  |   | | +* Re: Definition of real number ℝ --infinitesimal--André G. Isaak
      |       |      |  |   | | |+- Re: Definition of real number ℝ --infinitesimal--André G. Isaak
      |       |      |  |   | | |+* Re: Definition of real number ℝ --infinitesimal--wij
      |       |      |  |   | | ||`- Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |  |   | | |+* Re: Definition of real number ℝ --infinitesimal--wij
      |       |      |  |   | | ||`* Re: Definition of real number ℝ --infinitesimal--Ben Bacarisse
      |       |      |  |   | | || `- Re: Definition of real number ℝ --infinitesimal--wij
      |       |      |  |   | | |`* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |  |   | | | `* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |      |  |   | | |  `* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |  |   | | |   +* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |      |  |   | | |   |`* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |  |   | | |   | `- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |      |  |   | | |   `- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |      |  |   | | +- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |      |  |   | | `* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |      |  |   | |  +* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |  |   | |  |+* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |      |  |   | |  ||`* Re: Definition of real number ℝ --infinitesimal--olcott
      |       |      |  |   | |  || +- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |      |  |   | |  || `* Re: Definition of real number ℝ --infinitesimal--Fred. Zwarts
      |       |      |  |   | |  |`- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |      |  |   | |  `* Re: Definition of real number ℝ --infinitesimal--Mike Terry
      |       |      |  |   | +* Re: Definition of real number ℝ --infinitesimal--Keith Thompson
      |       |      |  |   | `- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |      |  |   `- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |      |  `- Re: Definition of real number ℝ --infinitesimal--Richard Damon
      |       |      `* Re: Definition of real number ℝ --infinitesimal--olcott
      |       `* Re: Definition of real number ℝ --infinitesimal--Andy Walker
      `- Re: Definition of real number ℝ --infinitesimal--wij

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

<uucbe9$1utsv$2@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57514&group=comp.theory#57514

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: F.Zwarts@HetNet.nl (Fred. Zwarts)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Sun, 31 Mar 2024 20:52:56 +0200
Organization: A noiseless patient Spider
Lines: 92
Message-ID: <uucbe9$1utsv$2@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu3qk7$3jc94$1@dont-email.me> <uu444a$3lnuc$1@dont-email.me>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 31 Mar 2024 18:52:58 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a5d05e88c7aa4e41b3353c9cff3d49f1";
logging-data="2062239"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18sSIk790uAZV2EnNnsK7OW"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:81VyqYS/OM7/lfKKoj6rvwAUA7w=
Content-Language: en-GB
In-Reply-To: <uu9sj2$16rdo$1@dont-email.me>
 by: Fred. Zwarts - Sun, 31 Mar 2024 18:52 UTC

Op 30.mrt.2024 om 21:27 schreef olcott:
> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>> 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.
>>>>>>>
>>>>>>
>>>>>> It is clear that olcott does not understand limits, because he is
>>>>>> changing the meaning of the words and the symbols. Limits are not
>>>>>> talking about what happens at the end of a sequence. It seems it
>>>>>> has to be spelled out for him, otherwise he will not understand.
>>>>>>
>>>>>
>>>>> 0.999... Limits basically pretend that we reach the end of this
>>>>> infinite sequence even though that it impossible, and says after we
>>>>> reach this
>>>>> impossible end the value would be 1.0.
>>>>
>>>> No, if olcott had paid attention to the text below, or the article I
>>>> referenced:
>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>
>>>> he would have noted that limits do not pretend to reach the end. They
>>>
>>> Other people were saying that math says 0.999... = 1.0
>>
>> Indeed and they were right. Olcott's problem seems to be that he
>> thinks that he has to go to the end to prove it, but that is not
>> needed. We only have to go as far as needed for any given ε. Going to
>> the end is his problem, not that of math in the real number system.
>> 0.999... = 1.0 means that with this sequence we can come as close to
>> 1.0 as needed.
>
> That is not what the "=" sign means. It means exactly the same as.

No, olcott is trying to change the meaning of the symbol '='. That *is*
what the '=' means for real numbers, because 'exactly the same' is too
vague. Is 1.0 exactly the same as 1/1? It contains different symbols, so
why should they be exactly the same?
Therefore, in the construction of reals it is defined how to determine
whether two reals are 'exactly' the same. If one real X can be
constructed with a sequence of xn and the other real Y with a sequence
yn, then we can use X = Y if for every rational ε > 0 we can find an N
so that for all n > N |xn - yn| < ε.
The consequence of this is that for each real we can use an infinite
number of Cauchy sequences. E.g. the following sequences
a: 1/1, 1/1, 1/1, 1/1, etc.
b: 9/10, 99/100, 999/1000, etc.
c: 10/9, 100/99, 1000/999, etc.
d: 1/2, 2/3, 3/4, 4/5, etc.
e: 1/2, 3/2, 3/4, 5/4, 5/6, 7/6, etc.
are all sequences that are different representations of the same real
which in decimal notation can be written as 1. So, a=b=c=d=e=1.
Olcott may not like it, but that is how the '=' is defined for reals.
One may try to create another number system with another meaning for
'=', but then we are not talking about reals any more.
If I do not like that 3+4=7, then I can try to create another system for
which 3+4=6 holds, which I like more, but I am no longer speaking of
real numbers (and probably nobody is interested in my number system).

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

<uucc0e$1v1p5$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57515&group=comp.theory#57515

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott333@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Sun, 31 Mar 2024 14:02:38 -0500
Organization: A noiseless patient Spider
Lines: 104
Message-ID: <uucc0e$1v1p5$1@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu3qk7$3jc94$1@dont-email.me> <uu444a$3lnuc$1@dont-email.me>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 31 Mar 2024 19:02:39 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="d274a2519002cc1ac6fed3e3c2f777ec";
logging-data="2066213"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+pZa62WBblkgbh1qTfI9Gc"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:vz1bnmLFX7NsA6q4JiAON+m3AWY=
In-Reply-To: <uucbe9$1utsv$2@dont-email.me>
Content-Language: en-US
 by: olcott - Sun, 31 Mar 2024 19:02 UTC

On 3/31/2024 1:52 PM, Fred. Zwarts wrote:
> Op 30.mrt.2024 om 21:27 schreef olcott:
>> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>>> 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.
>>>>>>>>
>>>>>>>
>>>>>>> It is clear that olcott does not understand limits, because he is
>>>>>>> changing the meaning of the words and the symbols. Limits are not
>>>>>>> talking about what happens at the end of a sequence. It seems it
>>>>>>> has to be spelled out for him, otherwise he will not understand.
>>>>>>>
>>>>>>
>>>>>> 0.999... Limits basically pretend that we reach the end of this
>>>>>> infinite sequence even though that it impossible, and says after
>>>>>> we reach this
>>>>>> impossible end the value would be 1.0.
>>>>>
>>>>> No, if olcott had paid attention to the text below, or the article
>>>>> I referenced:
>>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>>
>>>>> he would have noted that limits do not pretend to reach the end. They
>>>>
>>>> Other people were saying that math says 0.999... = 1.0
>>>
>>> Indeed and they were right. Olcott's problem seems to be that he
>>> thinks that he has to go to the end to prove it, but that is not
>>> needed. We only have to go as far as needed for any given ε. Going to
>>> the end is his problem, not that of math in the real number system.
>>> 0.999... = 1.0 means that with this sequence we can come as close to
>>> 1.0 as needed.
>>
>> That is not what the "=" sign means. It means exactly the same as.
>
> No, olcott is trying to change the meaning of the symbol '='. That *is*
> what the '=' means for real numbers, because 'exactly the same' is too
> vague. Is 1.0 exactly the same as 1/1? It contains different symbols, so
> why should they be exactly the same?

It never means approximately the same value.
It always means exactly the same value.

> Therefore, in the construction of reals it is defined how to determine
> whether two reals are 'exactly' the same. If one real X can be
> constructed with a sequence of xn and the other real Y with a sequence
> yn, then we can use X = Y if for every rational ε > 0 we can find an N
> so that for all n > N |xn - yn| < ε.
> The consequence of this is that for each real we can use an infinite
> number of Cauchy sequences. E.g. the following sequences
> a: 1/1, 1/1, 1/1, 1/1, etc.
> b: 9/10, 99/100, 999/1000, etc.
> c: 10/9, 100/99, 1000/999, etc.
> d: 1/2, 2/3, 3/4, 4/5, etc.
> e: 1/2, 3/2, 3/4, 5/4, 5/6, 7/6, etc.
> are all sequences that are different representations of the same real
> which in decimal notation can be written as 1. So, a=b=c=d=e=1.
> Olcott may not like it, but that is how the '=' is defined for reals.
> One may try to create another number system with another meaning for
> '=', but then we are not talking about reals any more.
> If I do not like that 3+4=7, then I can try to create another system for
> which 3+4=6 holds, which I like more, but I am no longer speaking of
> real numbers (and probably nobody is interested in my number system).
>

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

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

<uucdd7$1v8hd$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57517&group=comp.theory#57517

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!news.hispagatos.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: F.Zwarts@HetNet.nl (Fred. Zwarts)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Sun, 31 Mar 2024 21:26:29 +0200
Organization: A noiseless patient Spider
Lines: 109
Message-ID: <uucdd7$1v8hd$1@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu3qk7$3jc94$1@dont-email.me> <uu444a$3lnuc$1@dont-email.me>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 31 Mar 2024 19:26:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a5d05e88c7aa4e41b3353c9cff3d49f1";
logging-data="2073133"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+P+pMBV/e/jPVQiX/x3ku5"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:orkrTeBDETw/Fz+egfqASEQKmLc=
Content-Language: en-GB
In-Reply-To: <uucc0e$1v1p5$1@dont-email.me>
 by: Fred. Zwarts - Sun, 31 Mar 2024 19:26 UTC

Op 31.mrt.2024 om 21:02 schreef olcott:
> On 3/31/2024 1:52 PM, Fred. Zwarts wrote:
>> Op 30.mrt.2024 om 21:27 schreef olcott:
>>> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>>>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>>>> 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.
>>>>>>>>>
>>>>>>>>
>>>>>>>> It is clear that olcott does not understand limits, because he
>>>>>>>> is changing the meaning of the words and the symbols. Limits are
>>>>>>>> not talking about what happens at the end of a sequence. It
>>>>>>>> seems it has to be spelled out for him, otherwise he will not
>>>>>>>> understand.
>>>>>>>>
>>>>>>>
>>>>>>> 0.999... Limits basically pretend that we reach the end of this
>>>>>>> infinite sequence even though that it impossible, and says after
>>>>>>> we reach this
>>>>>>> impossible end the value would be 1.0.
>>>>>>
>>>>>> No, if olcott had paid attention to the text below, or the article
>>>>>> I referenced:
>>>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>>>
>>>>>> he would have noted that limits do not pretend to reach the end. They
>>>>>
>>>>> Other people were saying that math says 0.999... = 1.0
>>>>
>>>> Indeed and they were right. Olcott's problem seems to be that he
>>>> thinks that he has to go to the end to prove it, but that is not
>>>> needed. We only have to go as far as needed for any given ε. Going
>>>> to the end is his problem, not that of math in the real number system.
>>>> 0.999... = 1.0 means that with this sequence we can come as close to
>>>> 1.0 as needed.
>>>
>>> That is not what the "=" sign means. It means exactly the same as.
>>
>> No, olcott is trying to change the meaning of the symbol '='. That
>> *is* what the '=' means for real numbers, because 'exactly the same'
>> is too vague. Is 1.0 exactly the same as 1/1? It contains different
>> symbols, so why should they be exactly the same?
>
> It never means approximately the same value.
> It always means exactly the same value.

And what 'exactly the same value' means is explained below. It is a
definition, not an opinion.

>
>> Therefore, in the construction of reals it is defined how to determine
>> whether two reals are 'exactly' the same. If one real X can be
>> constructed with a sequence of xn and the other real Y with a sequence
>> yn, then we can use X = Y if for every rational ε > 0 we can find an N
>> so that for all n > N |xn - yn| < ε.
>> The consequence of this is that for each real we can use an infinite
>> number of Cauchy sequences. E.g. the following sequences
>> a: 1/1, 1/1, 1/1, 1/1, etc.
>> b: 9/10, 99/100, 999/1000, etc.
>> c: 10/9, 100/99, 1000/999, etc.
>> d: 1/2, 2/3, 3/4, 4/5, etc.
>> e: 1/2, 3/2, 3/4, 5/4, 5/6, 7/6, etc.
>> are all sequences that are different representations of the same real
>> which in decimal notation can be written as 1. So, a=b=c=d=e=1.
>> Olcott may not like it, but that is how the '=' is defined for reals.
>> One may try to create another number system with another meaning for
>> '=', but then we are not talking about reals any more.
>> If I do not like that 3+4=7, then I can try to create another system
>> for which 3+4=6 holds, which I like more, but I am no longer speaking
>> of real numbers (and probably nobody is interested in my number system).

For real numbers, a has exactly the same value as b, c, d, e, f and 1.
That is how it is defined. If olcott has another definition of 'exactly
the same value', then he is changing the meaning of the words. The
meaning of '=' is exactly defined for reals.

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

<uucddv$3j5g3$3@i2pn2.org>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57518&group=comp.theory#57518

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!.POSTED!not-for-mail
From: richard@damon-family.org (Richard Damon)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Sun, 31 Mar 2024 15:26:55 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uucddv$3j5g3$3@i2pn2.org>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu3qk7$3jc94$1@dont-email.me> <uu444a$3lnuc$1@dont-email.me>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 31 Mar 2024 19:26:55 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3773955"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uucc0e$1v1p5$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
 by: Richard Damon - Sun, 31 Mar 2024 19:26 UTC

On 3/31/24 3:02 PM, olcott wrote:
> On 3/31/2024 1:52 PM, Fred. Zwarts wrote:
>> Op 30.mrt.2024 om 21:27 schreef olcott:
>>> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>>>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>>>> 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.
>>>>>>>>>
>>>>>>>>
>>>>>>>> It is clear that olcott does not understand limits, because he
>>>>>>>> is changing the meaning of the words and the symbols. Limits are
>>>>>>>> not talking about what happens at the end of a sequence. It
>>>>>>>> seems it has to be spelled out for him, otherwise he will not
>>>>>>>> understand.
>>>>>>>>
>>>>>>>
>>>>>>> 0.999... Limits basically pretend that we reach the end of this
>>>>>>> infinite sequence even though that it impossible, and says after
>>>>>>> we reach this
>>>>>>> impossible end the value would be 1.0.
>>>>>>
>>>>>> No, if olcott had paid attention to the text below, or the article
>>>>>> I referenced:
>>>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>>>
>>>>>> he would have noted that limits do not pretend to reach the end. They
>>>>>
>>>>> Other people were saying that math says 0.999... = 1.0
>>>>
>>>> Indeed and they were right. Olcott's problem seems to be that he
>>>> thinks that he has to go to the end to prove it, but that is not
>>>> needed. We only have to go as far as needed for any given ε. Going
>>>> to the end is his problem, not that of math in the real number system.
>>>> 0.999... = 1.0 means that with this sequence we can come as close to
>>>> 1.0 as needed.
>>>
>>> That is not what the "=" sign means. It means exactly the same as.
>>
>> No, olcott is trying to change the meaning of the symbol '='. That
>> *is* what the '=' means for real numbers, because 'exactly the same'
>> is too vague. Is 1.0 exactly the same as 1/1? It contains different
>> symbols, so why should they be exactly the same?
>
> It never means approximately the same value.
> It always means exactly the same value.

Which they are, if you read the definition of "the same".

Reals, not necessarily having "finite forms" are defined by rules, and
sequences, and two different sequences can form the exact same real number.

>
>> Therefore, in the construction of reals it is defined how to determine
>> whether two reals are 'exactly' the same. If one real X can be
>> constructed with a sequence of xn and the other real Y with a sequence
>> yn, then we can use X = Y if for every rational ε > 0 we can find an N
>> so that for all n > N |xn - yn| < ε.
>> The consequence of this is that for each real we can use an infinite
>> number of Cauchy sequences. E.g. the following sequences
>> a: 1/1, 1/1, 1/1, 1/1, etc.
>> b: 9/10, 99/100, 999/1000, etc.
>> c: 10/9, 100/99, 1000/999, etc.
>> d: 1/2, 2/3, 3/4, 4/5, etc.
>> e: 1/2, 3/2, 3/4, 5/4, 5/6, 7/6, etc.
>> are all sequences that are different representations of the same real
>> which in decimal notation can be written as 1. So, a=b=c=d=e=1.
>> Olcott may not like it, but that is how the '=' is defined for reals.
>> One may try to create another number system with another meaning for
>> '=', but then we are not talking about reals any more.
>> If I do not like that 3+4=7, then I can try to create another system
>> for which 3+4=6 holds, which I like more, but I am no longer speaking
>> of real numbers (and probably nobody is interested in my number system).
>>
>

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

<uucec3$1vh78$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57519&group=comp.theory#57519

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott333@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Sun, 31 Mar 2024 14:42:59 -0500
Organization: A noiseless patient Spider
Lines: 124
Message-ID: <uucec3$1vh78$1@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu3qk7$3jc94$1@dont-email.me> <uu444a$3lnuc$1@dont-email.me>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 31 Mar 2024 19:42:59 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="d274a2519002cc1ac6fed3e3c2f777ec";
logging-data="2082024"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+fFwcPKXqR8Mo7CNeXY84B"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0lUcSleW39+lcyUTgEfKzvyZ7Dg=
Content-Language: en-US
In-Reply-To: <uucdd7$1v8hd$1@dont-email.me>
 by: olcott - Sun, 31 Mar 2024 19:42 UTC

On 3/31/2024 2:26 PM, Fred. Zwarts wrote:
> Op 31.mrt.2024 om 21:02 schreef olcott:
>> On 3/31/2024 1:52 PM, Fred. Zwarts wrote:
>>> Op 30.mrt.2024 om 21:27 schreef olcott:
>>>> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>>>>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>>>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>>>>> 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.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> It is clear that olcott does not understand limits, because he
>>>>>>>>> is changing the meaning of the words and the symbols. Limits
>>>>>>>>> are not talking about what happens at the end of a sequence. It
>>>>>>>>> seems it has to be spelled out for him, otherwise he will not
>>>>>>>>> understand.
>>>>>>>>>
>>>>>>>>
>>>>>>>> 0.999... Limits basically pretend that we reach the end of this
>>>>>>>> infinite sequence even though that it impossible, and says after
>>>>>>>> we reach this
>>>>>>>> impossible end the value would be 1.0.
>>>>>>>
>>>>>>> No, if olcott had paid attention to the text below, or the
>>>>>>> article I referenced:
>>>>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>>>>
>>>>>>> he would have noted that limits do not pretend to reach the end.
>>>>>>> They
>>>>>>
>>>>>> Other people were saying that math says 0.999... = 1.0
>>>>>
>>>>> Indeed and they were right. Olcott's problem seems to be that he
>>>>> thinks that he has to go to the end to prove it, but that is not
>>>>> needed. We only have to go as far as needed for any given ε. Going
>>>>> to the end is his problem, not that of math in the real number system.
>>>>> 0.999... = 1.0 means that with this sequence we can come as close
>>>>> to 1.0 as needed.
>>>>
>>>> That is not what the "=" sign means. It means exactly the same as.
>>>
>>> No, olcott is trying to change the meaning of the symbol '='. That
>>> *is* what the '=' means for real numbers, because 'exactly the same'
>>> is too vague. Is 1.0 exactly the same as 1/1? It contains different
>>> symbols, so why should they be exactly the same?
>>
>> It never means approximately the same value.
>> It always means exactly the same value.
>
> And what 'exactly the same value' means is explained below. It is a
> definition, not an opinion.
>

No matter what you explain below nothing that anyone can possibly
say can possibly show that 0.000... = 1.0

I use categorically exhaustive reasoning thus eliminating the
possibility of correct rebuttals.

>>
>>> Therefore, in the construction of reals it is defined how to
>>> determine whether two reals are 'exactly' the same. If one real X can
>>> be constructed with a sequence of xn and the other real Y with a
>>> sequence yn, then we can use X = Y if for every rational ε > 0 we can
>>> find an N so that for all n > N |xn - yn| < ε.
>>> The consequence of this is that for each real we can use an infinite
>>> number of Cauchy sequences. E.g. the following sequences
>>> a: 1/1, 1/1, 1/1, 1/1, etc.
>>> b: 9/10, 99/100, 999/1000, etc.
>>> c: 10/9, 100/99, 1000/999, etc.
>>> d: 1/2, 2/3, 3/4, 4/5, etc.
>>> e: 1/2, 3/2, 3/4, 5/4, 5/6, 7/6, etc.
>>> are all sequences that are different representations of the same real
>>> which in decimal notation can be written as 1. So, a=b=c=d=e=1.
>>> Olcott may not like it, but that is how the '=' is defined for reals.
>>> One may try to create another number system with another meaning for
>>> '=', but then we are not talking about reals any more.
>>> If I do not like that 3+4=7, then I can try to create another system
>>> for which 3+4=6 holds, which I like more, but I am no longer speaking
>>> of real numbers (and probably nobody is interested in my number system).
>
> For real numbers, a has exactly the same value as b, c, d, e, f and 1.
> That is how it is defined. If olcott has another definition of 'exactly
> the same value', then he is changing the meaning of the words. The
> meaning of '=' is exactly defined for reals.

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

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

<uucjbk$3j56h$2@i2pn2.org>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57520&group=comp.theory#57520

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!.POSTED!not-for-mail
From: richard@damon-family.org (Richard Damon)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Sun, 31 Mar 2024 17:08:04 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uucjbk$3j56h$2@i2pn2.org>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu3qk7$3jc94$1@dont-email.me> <uu444a$3lnuc$1@dont-email.me>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 31 Mar 2024 21:08:04 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3773649"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uucec3$1vh78$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
 by: Richard Damon - Sun, 31 Mar 2024 21:08 UTC

On 3/31/24 3:42 PM, olcott wrote:
> On 3/31/2024 2:26 PM, Fred. Zwarts wrote:
>> Op 31.mrt.2024 om 21:02 schreef olcott:
>>> On 3/31/2024 1:52 PM, Fred. Zwarts wrote:
>>>> Op 30.mrt.2024 om 21:27 schreef olcott:
>>>>> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>>>>>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>>>>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>>>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>>>>>> 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.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> It is clear that olcott does not understand limits, because he
>>>>>>>>>> is changing the meaning of the words and the symbols. Limits
>>>>>>>>>> are not talking about what happens at the end of a sequence.
>>>>>>>>>> It seems it has to be spelled out for him, otherwise he will
>>>>>>>>>> not understand.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> 0.999... Limits basically pretend that we reach the end of this
>>>>>>>>> infinite sequence even though that it impossible, and says
>>>>>>>>> after we reach this
>>>>>>>>> impossible end the value would be 1.0.
>>>>>>>>
>>>>>>>> No, if olcott had paid attention to the text below, or the
>>>>>>>> article I referenced:
>>>>>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>>>>>
>>>>>>>> he would have noted that limits do not pretend to reach the end.
>>>>>>>> They
>>>>>>>
>>>>>>> Other people were saying that math says 0.999... = 1.0
>>>>>>
>>>>>> Indeed and they were right. Olcott's problem seems to be that he
>>>>>> thinks that he has to go to the end to prove it, but that is not
>>>>>> needed. We only have to go as far as needed for any given ε. Going
>>>>>> to the end is his problem, not that of math in the real number
>>>>>> system.
>>>>>> 0.999... = 1.0 means that with this sequence we can come as close
>>>>>> to 1.0 as needed.
>>>>>
>>>>> That is not what the "=" sign means. It means exactly the same as.
>>>>
>>>> No, olcott is trying to change the meaning of the symbol '='. That
>>>> *is* what the '=' means for real numbers, because 'exactly the same'
>>>> is too vague. Is 1.0 exactly the same as 1/1? It contains different
>>>> symbols, so why should they be exactly the same?
>>>
>>> It never means approximately the same value.
>>> It always means exactly the same value.
>>
>> And what 'exactly the same value' means is explained below. It is a
>> definition, not an opinion.
>>
>
> No matter what you explain below nothing that anyone can possibly
> say can possibly show that 0.000... = 1.0

I would HOPE that 0.00000 isn't equial to 1.0000 as they are a full 1.0
apart.

If you mean 0.999... and 1.000, then yes it does, but you are apparently
to stupid to understand.

0.999... isn't "a number" but a Representation for a number, and a
representation that creates an infinite series that approach the number
it describes as a limit.

Unless you can show a finite epsilon for which no N can be created that
all points in the sequence after that N are within that epsilon of the
claimed limit, then you haven't shown anything except that you are just
a stupid liar.

>
> I use categorically exhaustive reasoning thus eliminating the
> possibility of correct rebuttals.

Nope, just establishing the proof that your "Correct Reasoning" isn't
Correct and your "Categorically Exhaustive Reasoning" isn't any better

>
>>>
>>>> Therefore, in the construction of reals it is defined how to
>>>> determine whether two reals are 'exactly' the same. If one real X
>>>> can be constructed with a sequence of xn and the other real Y with a
>>>> sequence yn, then we can use X = Y if for every rational ε > 0 we
>>>> can find an N so that for all n > N |xn - yn| < ε.
>>>> The consequence of this is that for each real we can use an infinite
>>>> number of Cauchy sequences. E.g. the following sequences
>>>> a: 1/1, 1/1, 1/1, 1/1, etc.
>>>> b: 9/10, 99/100, 999/1000, etc.
>>>> c: 10/9, 100/99, 1000/999, etc.
>>>> d: 1/2, 2/3, 3/4, 4/5, etc.
>>>> e: 1/2, 3/2, 3/4, 5/4, 5/6, 7/6, etc.
>>>> are all sequences that are different representations of the same
>>>> real which in decimal notation can be written as 1. So, a=b=c=d=e=1.
>>>> Olcott may not like it, but that is how the '=' is defined for reals.
>>>> One may try to create another number system with another meaning for
>>>> '=', but then we are not talking about reals any more.
>>>> If I do not like that 3+4=7, then I can try to create another system
>>>> for which 3+4=6 holds, which I like more, but I am no longer
>>>> speaking of real numbers (and probably nobody is interested in my
>>>> number system).
>>
>> For real numbers, a has exactly the same value as b, c, d, e, f and 1.
>> That is how it is defined. If olcott has another definition of
>> 'exactly the same value', then he is changing the meaning of the
>> words. The meaning of '=' is exactly defined for reals.
>

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

<uudnt6$2bun2$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57521&group=comp.theory#57521

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: F.Zwarts@HetNet.nl (Fred. Zwarts)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 09:31:50 +0200
Organization: A noiseless patient Spider
Lines: 131
Message-ID: <uudnt6$2bun2$1@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu3qk7$3jc94$1@dont-email.me> <uu444a$3lnuc$1@dont-email.me>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Apr 2024 07:31:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3553fae5c4031182b0af437a060973d2";
logging-data="2489058"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+bX0P6rxYpanDZ7LgID2Ni"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:cgwV10eGQFlhXqaMvbT33e72+Qs=
Content-Language: en-GB
In-Reply-To: <uucec3$1vh78$1@dont-email.me>
 by: Fred. Zwarts - Mon, 1 Apr 2024 07:31 UTC

Op 31.mrt.2024 om 21:42 schreef olcott:
> On 3/31/2024 2:26 PM, Fred. Zwarts wrote:
>> Op 31.mrt.2024 om 21:02 schreef olcott:
>>> On 3/31/2024 1:52 PM, Fred. Zwarts wrote:
>>>> Op 30.mrt.2024 om 21:27 schreef olcott:
>>>>> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>>>>>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>>>>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>>>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>>>>>> 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.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> It is clear that olcott does not understand limits, because he
>>>>>>>>>> is changing the meaning of the words and the symbols. Limits
>>>>>>>>>> are not talking about what happens at the end of a sequence.
>>>>>>>>>> It seems it has to be spelled out for him, otherwise he will
>>>>>>>>>> not understand.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> 0.999... Limits basically pretend that we reach the end of this
>>>>>>>>> infinite sequence even though that it impossible, and says
>>>>>>>>> after we reach this
>>>>>>>>> impossible end the value would be 1.0.
>>>>>>>>
>>>>>>>> No, if olcott had paid attention to the text below, or the
>>>>>>>> article I referenced:
>>>>>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>>>>>
>>>>>>>> he would have noted that limits do not pretend to reach the end.
>>>>>>>> They
>>>>>>>
>>>>>>> Other people were saying that math says 0.999... = 1.0
>>>>>>
>>>>>> Indeed and they were right. Olcott's problem seems to be that he
>>>>>> thinks that he has to go to the end to prove it, but that is not
>>>>>> needed. We only have to go as far as needed for any given ε. Going
>>>>>> to the end is his problem, not that of math in the real number
>>>>>> system.
>>>>>> 0.999... = 1.0 means that with this sequence we can come as close
>>>>>> to 1.0 as needed.
>>>>>
>>>>> That is not what the "=" sign means. It means exactly the same as.
>>>>
>>>> No, olcott is trying to change the meaning of the symbol '='. That
>>>> *is* what the '=' means for real numbers, because 'exactly the same'
>>>> is too vague. Is 1.0 exactly the same as 1/1? It contains different
>>>> symbols, so why should they be exactly the same?
>>>
>>> It never means approximately the same value.
>>> It always means exactly the same value.
>>
>> And what 'exactly the same value' means is explained below. It is a
>> definition, not an opinion.
>>
>
> No matter what you explain below nothing that anyone can possibly
> say can possibly show that 0.000... = 1.0
>
> I use categorically exhaustive reasoning thus eliminating the
> possibility of correct rebuttals.

OK, then it is clear that olcott is not talking about real numbers,
because for reals categorically exhaustive reasoning proved that
0.999... = 1 and olcott could not point to an error in the proof.
It would have been less confusiong when he had mentioned that explicitly.

>
>>>
>>>> Therefore, in the construction of reals it is defined how to
>>>> determine whether two reals are 'exactly' the same. If one real X
>>>> can be constructed with a sequence of xn and the other real Y with a
>>>> sequence yn, then we can use X = Y if for every rational ε > 0 we
>>>> can find an N so that for all n > N |xn - yn| < ε.
>>>> The consequence of this is that for each real we can use an infinite
>>>> number of Cauchy sequences. E.g. the following sequences
>>>> a: 1/1, 1/1, 1/1, 1/1, etc.
>>>> b: 9/10, 99/100, 999/1000, etc.
>>>> c: 10/9, 100/99, 1000/999, etc.
>>>> d: 1/2, 2/3, 3/4, 4/5, etc.
>>>> e: 1/2, 3/2, 3/4, 5/4, 5/6, 7/6, etc.
>>>> are all sequences that are different representations of the same
>>>> real which in decimal notation can be written as 1. So, a=b=c=d=e=1.
>>>> Olcott may not like it, but that is how the '=' is defined for reals.
>>>> One may try to create another number system with another meaning for
>>>> '=', but then we are not talking about reals any more.
>>>> If I do not like that 3+4=7, then I can try to create another system
>>>> for which 3+4=6 holds, which I like more, but I am no longer
>>>> speaking of real numbers (and probably nobody is interested in my
>>>> number system).
>>
>> For real numbers, a has exactly the same value as b, c, d, e, f and 1.
>> That is how it is defined. If olcott has another definition of
>> 'exactly the same value', then he is changing the meaning of the
>> words. The meaning of '=' is exactly defined for reals.
>

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

<uuegit$2hjc8$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57523&group=comp.theory#57523

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott333@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 09:33:01 -0500
Organization: A noiseless patient Spider
Lines: 150
Message-ID: <uuegit$2hjc8$1@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu3qk7$3jc94$1@dont-email.me> <uu444a$3lnuc$1@dont-email.me>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Apr 2024 14:33:02 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5e58477a53f65757edcdf2caa0bb9cc6";
logging-data="2674056"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Zx+/HTLgaSp0+r9HknJeb"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:56jw8CyACYDs/vomporvHKhtnYk=
Content-Language: en-US
In-Reply-To: <uudnt6$2bun2$1@dont-email.me>
 by: olcott - Mon, 1 Apr 2024 14:33 UTC

On 4/1/2024 2:31 AM, Fred. Zwarts wrote:
> Op 31.mrt.2024 om 21:42 schreef olcott:
>> On 3/31/2024 2:26 PM, Fred. Zwarts wrote:
>>> Op 31.mrt.2024 om 21:02 schreef olcott:
>>>> On 3/31/2024 1:52 PM, Fred. Zwarts wrote:
>>>>> Op 30.mrt.2024 om 21:27 schreef olcott:
>>>>>> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>>>>>>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>>>>>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>>>>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>>>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>>>>>>> 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.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> It is clear that olcott does not understand limits, because
>>>>>>>>>>> he is changing the meaning of the words and the symbols.
>>>>>>>>>>> Limits are not talking about what happens at the end of a
>>>>>>>>>>> sequence. It seems it has to be spelled out for him,
>>>>>>>>>>> otherwise he will not understand.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> 0.999... Limits basically pretend that we reach the end of
>>>>>>>>>> this infinite sequence even though that it impossible, and
>>>>>>>>>> says after we reach this
>>>>>>>>>> impossible end the value would be 1.0.
>>>>>>>>>
>>>>>>>>> No, if olcott had paid attention to the text below, or the
>>>>>>>>> article I referenced:
>>>>>>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>>>>>>
>>>>>>>>> he would have noted that limits do not pretend to reach the
>>>>>>>>> end. They
>>>>>>>>
>>>>>>>> Other people were saying that math says 0.999... = 1.0
>>>>>>>
>>>>>>> Indeed and they were right. Olcott's problem seems to be that he
>>>>>>> thinks that he has to go to the end to prove it, but that is not
>>>>>>> needed. We only have to go as far as needed for any given ε.
>>>>>>> Going to the end is his problem, not that of math in the real
>>>>>>> number system.
>>>>>>> 0.999... = 1.0 means that with this sequence we can come as close
>>>>>>> to 1.0 as needed.
>>>>>>
>>>>>> That is not what the "=" sign means. It means exactly the same as.
>>>>>
>>>>> No, olcott is trying to change the meaning of the symbol '='. That
>>>>> *is* what the '=' means for real numbers, because 'exactly the
>>>>> same' is too vague. Is 1.0 exactly the same as 1/1? It contains
>>>>> different symbols, so why should they be exactly the same?
>>>>
>>>> It never means approximately the same value.
>>>> It always means exactly the same value.
>>>
>>> And what 'exactly the same value' means is explained below. It is a
>>> definition, not an opinion.
>>>
>>
>> No matter what you explain below nothing that anyone can possibly
>> say can possibly show that 1.000... = 1.0
>>
>> I use categorically exhaustive reasoning thus eliminating the
>> possibility of correct rebuttals.
>
> OK, then it is clear that olcott is not talking about real numbers,
> because for reals categorically exhaustive reasoning proved that
> 0.999... = 1 and olcott could not point to an error in the proof.
> It would have been less confusiong when he had mentioned that explicitly.
>

Typo corrected
No matter what you explain below nothing that anyone can possibly
say can possibly show that 0.999... = 1.0

0.999...
Means an infinite never ending sequence that never reaches 1.0

If biology "proved" that cats are a kind of dog then no matter
what this "proof" contains we know in advance that it must be
incorrect.

>>
>>>>
>>>>> Therefore, in the construction of reals it is defined how to
>>>>> determine whether two reals are 'exactly' the same. If one real X
>>>>> can be constructed with a sequence of xn and the other real Y with
>>>>> a sequence yn, then we can use X = Y if for every rational ε > 0 we
>>>>> can find an N so that for all n > N |xn - yn| < ε.
>>>>> The consequence of this is that for each real we can use an
>>>>> infinite number of Cauchy sequences. E.g. the following sequences
>>>>> a: 1/1, 1/1, 1/1, 1/1, etc.
>>>>> b: 9/10, 99/100, 999/1000, etc.
>>>>> c: 10/9, 100/99, 1000/999, etc.
>>>>> d: 1/2, 2/3, 3/4, 4/5, etc.
>>>>> e: 1/2, 3/2, 3/4, 5/4, 5/6, 7/6, etc.
>>>>> are all sequences that are different representations of the same
>>>>> real which in decimal notation can be written as 1. So, a=b=c=d=e=1.
>>>>> Olcott may not like it, but that is how the '=' is defined for reals.
>>>>> One may try to create another number system with another meaning
>>>>> for '=', but then we are not talking about reals any more.
>>>>> If I do not like that 3+4=7, then I can try to create another
>>>>> system for which 3+4=6 holds, which I like more, but I am no longer
>>>>> speaking of real numbers (and probably nobody is interested in my
>>>>> number system).
>>>
>>> For real numbers, a has exactly the same value as b, c, d, e, f and
>>> 1. That is how it is defined. If olcott has another definition of
>>> 'exactly the same value', then he is changing the meaning of the
>>> words. The meaning of '=' is exactly defined for reals.
>>
>
>


Click here to read the complete article
Re: Definition of real number ℝ --infinitesimal--

<uuev15$2l64e$2@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57526&group=comp.theory#57526

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: F.Zwarts@HetNet.nl (Fred. Zwarts)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 20:39:32 +0200
Organization: A noiseless patient Spider
Lines: 162
Message-ID: <uuev15$2l64e$2@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu3qk7$3jc94$1@dont-email.me> <uu444a$3lnuc$1@dont-email.me>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me> <uuegit$2hjc8$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Apr 2024 18:39:34 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3553fae5c4031182b0af437a060973d2";
logging-data="2791566"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+t4l1LsTIMn4ONQ5Z9gPVF"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:+xD1tNLym4GuPe8OR3AWJi/U0P4=
Content-Language: en-GB
In-Reply-To: <uuegit$2hjc8$1@dont-email.me>
 by: Fred. Zwarts - Mon, 1 Apr 2024 18:39 UTC

Op 01.apr.2024 om 16:33 schreef olcott:
> On 4/1/2024 2:31 AM, Fred. Zwarts wrote:
>> Op 31.mrt.2024 om 21:42 schreef olcott:
>>> On 3/31/2024 2:26 PM, Fred. Zwarts wrote:
>>>> Op 31.mrt.2024 om 21:02 schreef olcott:
>>>>> On 3/31/2024 1:52 PM, Fred. Zwarts wrote:
>>>>>> Op 30.mrt.2024 om 21:27 schreef olcott:
>>>>>>> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>>>>>>>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>>>>>>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>>>>>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>>>>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>>>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>>>>>>>> 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.
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> It is clear that olcott does not understand limits, because
>>>>>>>>>>>> he is changing the meaning of the words and the symbols.
>>>>>>>>>>>> Limits are not talking about what happens at the end of a
>>>>>>>>>>>> sequence. It seems it has to be spelled out for him,
>>>>>>>>>>>> otherwise he will not understand.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> 0.999... Limits basically pretend that we reach the end of
>>>>>>>>>>> this infinite sequence even though that it impossible, and
>>>>>>>>>>> says after we reach this
>>>>>>>>>>> impossible end the value would be 1.0.
>>>>>>>>>>
>>>>>>>>>> No, if olcott had paid attention to the text below, or the
>>>>>>>>>> article I referenced:
>>>>>>>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>>>>>>>
>>>>>>>>>> he would have noted that limits do not pretend to reach the
>>>>>>>>>> end. They
>>>>>>>>>
>>>>>>>>> Other people were saying that math says 0.999... = 1.0
>>>>>>>>
>>>>>>>> Indeed and they were right. Olcott's problem seems to be that he
>>>>>>>> thinks that he has to go to the end to prove it, but that is not
>>>>>>>> needed. We only have to go as far as needed for any given ε.
>>>>>>>> Going to the end is his problem, not that of math in the real
>>>>>>>> number system.
>>>>>>>> 0.999... = 1.0 means that with this sequence we can come as
>>>>>>>> close to 1.0 as needed.
>>>>>>>
>>>>>>> That is not what the "=" sign means. It means exactly the same as.
>>>>>>
>>>>>> No, olcott is trying to change the meaning of the symbol '='. That
>>>>>> *is* what the '=' means for real numbers, because 'exactly the
>>>>>> same' is too vague. Is 1.0 exactly the same as 1/1? It contains
>>>>>> different symbols, so why should they be exactly the same?
>>>>>
>>>>> It never means approximately the same value.
>>>>> It always means exactly the same value.
>>>>
>>>> And what 'exactly the same value' means is explained below. It is a
>>>> definition, not an opinion.
>>>>
>>>
>>> No matter what you explain below nothing that anyone can possibly
>>> say can possibly show that 1.000... = 1.0
>>>
>>> I use categorically exhaustive reasoning thus eliminating the
>>> possibility of correct rebuttals.
>>
>> OK, then it is clear that olcott is not talking about real numbers,
>> because for reals categorically exhaustive reasoning proved that
>> 0.999... = 1 and olcott could not point to an error in the proof.
>> It would have been less confusiong when he had mentioned that explicitly.
>>
>
> Typo corrected
> No matter what you explain below nothing that anyone can possibly
> say can possibly show that 0.999... = 1.0
>
> 0.999...
> Means an infinite never ending sequence that never reaches 1.0

Which nobody denied.
Olcott again changes the question.
The question is not does this sequence end, or does it reach 1.0, but:
which real is represented with this sequence?
The answer is: This sequence represents one real: 1.
Therefore we can say 0.999... = 1.0. It follows directly from the
construction of reals.

>
> If biology "proved" that cats are a kind of dog then no matter
> what this "proof" contains we know in advance that it must be
> incorrect.

Similarly, if olcott 'proved' that 0.999... ≠ 1 then, no matter what
this "proof" contains, we know that it must be incorrect. Most probably
he is changing the question, changing the meaning of the words or the
symbols, or is talking about olcott numbers instead of reals.

>
>>>
>>>>>
>>>>>> Therefore, in the construction of reals it is defined how to
>>>>>> determine whether two reals are 'exactly' the same. If one real X
>>>>>> can be constructed with a sequence of xn and the other real Y with
>>>>>> a sequence yn, then we can use X = Y if for every rational ε > 0
>>>>>> we can find an N so that for all n > N |xn - yn| < ε.
>>>>>> The consequence of this is that for each real we can use an
>>>>>> infinite number of Cauchy sequences. E.g. the following sequences
>>>>>> a: 1/1, 1/1, 1/1, 1/1, etc.
>>>>>> b: 9/10, 99/100, 999/1000, etc.
>>>>>> c: 10/9, 100/99, 1000/999, etc.
>>>>>> d: 1/2, 2/3, 3/4, 4/5, etc.
>>>>>> e: 1/2, 3/2, 3/4, 5/4, 5/6, 7/6, etc.
>>>>>> are all sequences that are different representations of the same
>>>>>> real which in decimal notation can be written as 1. So, a=b=c=d=e=1.
>>>>>> Olcott may not like it, but that is how the '=' is defined for reals.
>>>>>> One may try to create another number system with another meaning
>>>>>> for '=', but then we are not talking about reals any more.
>>>>>> If I do not like that 3+4=7, then I can try to create another
>>>>>> system for which 3+4=6 holds, which I like more, but I am no
>>>>>> longer speaking of real numbers (and probably nobody is interested
>>>>>> in my number system).
>>>>
>>>> For real numbers, a has exactly the same value as b, c, d, e, f and
>>>> 1. That is how it is defined. If olcott has another definition of
>>>> 'exactly the same value', then he is changing the meaning of the
>>>> words. The meaning of '=' is exactly defined for reals.
>>>
>>
>>
>


Click here to read the complete article
Re: Definition of real number ℝ --infinitesimal--

<uuevt5$2laff$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57527&group=comp.theory#57527

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott333@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 13:54:29 -0500
Organization: A noiseless patient Spider
Lines: 178
Message-ID: <uuevt5$2laff$1@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu3qk7$3jc94$1@dont-email.me> <uu444a$3lnuc$1@dont-email.me>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me> <uuegit$2hjc8$1@dont-email.me>
<uuev15$2l64e$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Apr 2024 18:54:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5e58477a53f65757edcdf2caa0bb9cc6";
logging-data="2796015"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19qwGAvGeNEGhi9AWawKYd9"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:MRyu4aZoY//ij1n14yqr3NrkqUA=
Content-Language: en-US
In-Reply-To: <uuev15$2l64e$2@dont-email.me>
 by: olcott - Mon, 1 Apr 2024 18:54 UTC

On 4/1/2024 1:39 PM, Fred. Zwarts wrote:
> Op 01.apr.2024 om 16:33 schreef olcott:
>> On 4/1/2024 2:31 AM, Fred. Zwarts wrote:
>>> Op 31.mrt.2024 om 21:42 schreef olcott:
>>>> On 3/31/2024 2:26 PM, Fred. Zwarts wrote:
>>>>> Op 31.mrt.2024 om 21:02 schreef olcott:
>>>>>> On 3/31/2024 1:52 PM, Fred. Zwarts wrote:
>>>>>>> Op 30.mrt.2024 om 21:27 schreef olcott:
>>>>>>>> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>>>>>>>>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>>>>>>>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>>>>>>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>>>>>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>>>>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>>>>>>>>> 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.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> It is clear that olcott does not understand limits, because
>>>>>>>>>>>>> he is changing the meaning of the words and the symbols.
>>>>>>>>>>>>> Limits are not talking about what happens at the end of a
>>>>>>>>>>>>> sequence. It seems it has to be spelled out for him,
>>>>>>>>>>>>> otherwise he will not understand.
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> 0.999... Limits basically pretend that we reach the end of
>>>>>>>>>>>> this infinite sequence even though that it impossible, and
>>>>>>>>>>>> says after we reach this
>>>>>>>>>>>> impossible end the value would be 1.0.
>>>>>>>>>>>
>>>>>>>>>>> No, if olcott had paid attention to the text below, or the
>>>>>>>>>>> article I referenced:
>>>>>>>>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>>>>>>>>
>>>>>>>>>>> he would have noted that limits do not pretend to reach the
>>>>>>>>>>> end. They
>>>>>>>>>>
>>>>>>>>>> Other people were saying that math says 0.999... = 1.0
>>>>>>>>>
>>>>>>>>> Indeed and they were right. Olcott's problem seems to be that
>>>>>>>>> he thinks that he has to go to the end to prove it, but that is
>>>>>>>>> not needed. We only have to go as far as needed for any given
>>>>>>>>> ε. Going to the end is his problem, not that of math in the
>>>>>>>>> real number system.
>>>>>>>>> 0.999... = 1.0 means that with this sequence we can come as
>>>>>>>>> close to 1.0 as needed.
>>>>>>>>
>>>>>>>> That is not what the "=" sign means. It means exactly the same as.
>>>>>>>
>>>>>>> No, olcott is trying to change the meaning of the symbol '='.
>>>>>>> That *is* what the '=' means for real numbers, because 'exactly
>>>>>>> the same' is too vague. Is 1.0 exactly the same as 1/1? It
>>>>>>> contains different symbols, so why should they be exactly the same?
>>>>>>
>>>>>> It never means approximately the same value.
>>>>>> It always means exactly the same value.
>>>>>
>>>>> And what 'exactly the same value' means is explained below. It is a
>>>>> definition, not an opinion.
>>>>>
>>>>
>>>> No matter what you explain below nothing that anyone can possibly
>>>> say can possibly show that 1.000... = 1.0
>>>>
>>>> I use categorically exhaustive reasoning thus eliminating the
>>>> possibility of correct rebuttals.
>>>
>>> OK, then it is clear that olcott is not talking about real numbers,
>>> because for reals categorically exhaustive reasoning proved that
>>> 0.999... = 1 and olcott could not point to an error in the proof.
>>> It would have been less confusiong when he had mentioned that
>>> explicitly.
>>>
>>
>> Typo corrected
>> No matter what you explain below nothing that anyone can possibly
>> say can possibly show that 0.999... = 1.0
>>
>> 0.999...
>> Means an infinite never ending sequence that never reaches 1.0
>
> Which nobody denied.
> Olcott again changes the question.
> The question is not does this sequence end, or does it reach 1.0, but:
> which real is represented with this sequence?

Since PI is represented by a single geometric point on the number line
then 0.999... would be correctly represented by the geometric point
immediately to the left of 1.0 on the number line or the RHS of this
interval [0,0, 1.0). If there is no Real number at that point then
there is no Real number that exactly represents 0.999...

> The answer is: This sequence represents one real: 1.
> Therefore we can say 0.999... = 1.0. It follows directly from the
> construction of reals.
>
>>
>> If biology "proved" that cats are a kind of dog then no matter
>> what this "proof" contains we know in advance that it must be
>> incorrect.
>
> Similarly, if olcott 'proved' that 0.999... ≠ 1 then, no matter what
> this "proof" contains, we know that it must be incorrect. Most probably
> he is changing the question, changing the meaning of the words or the
> symbols, or is talking about olcott numbers instead of reals.
>
>>
>>>>
>>>>>>
>>>>>>> Therefore, in the construction of reals it is defined how to
>>>>>>> determine whether two reals are 'exactly' the same. If one real X
>>>>>>> can be constructed with a sequence of xn and the other real Y
>>>>>>> with a sequence yn, then we can use X = Y if for every rational ε
>>>>>>> > 0 we can find an N so that for all n > N |xn - yn| < ε.
>>>>>>> The consequence of this is that for each real we can use an
>>>>>>> infinite number of Cauchy sequences. E.g. the following sequences
>>>>>>> a: 1/1, 1/1, 1/1, 1/1, etc.
>>>>>>> b: 9/10, 99/100, 999/1000, etc.
>>>>>>> c: 10/9, 100/99, 1000/999, etc.
>>>>>>> d: 1/2, 2/3, 3/4, 4/5, etc.
>>>>>>> e: 1/2, 3/2, 3/4, 5/4, 5/6, 7/6, etc.
>>>>>>> are all sequences that are different representations of the same
>>>>>>> real which in decimal notation can be written as 1. So, a=b=c=d=e=1.
>>>>>>> Olcott may not like it, but that is how the '=' is defined for
>>>>>>> reals.
>>>>>>> One may try to create another number system with another meaning
>>>>>>> for '=', but then we are not talking about reals any more.
>>>>>>> If I do not like that 3+4=7, then I can try to create another
>>>>>>> system for which 3+4=6 holds, which I like more, but I am no
>>>>>>> longer speaking of real numbers (and probably nobody is
>>>>>>> interested in my number system).
>>>>>
>>>>> For real numbers, a has exactly the same value as b, c, d, e, f and
>>>>> 1. That is how it is defined. If olcott has another definition of
>>>>> 'exactly the same value', then he is changing the meaning of the
>>>>> words. The meaning of '=' is exactly defined for reals.
>>>>
>>>
>>>
>>
>


Click here to read the complete article
Re: Definition of real number ℝ --infinitesimal--

<uuf2ei$2lvoc$2@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57528&group=comp.theory#57528

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: F.Zwarts@HetNet.nl (Fred. Zwarts)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 21:37:53 +0200
Organization: A noiseless patient Spider
Lines: 191
Message-ID: <uuf2ei$2lvoc$2@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu444a$3lnuc$1@dont-email.me> <uu44k2$3lrph$1@dont-email.me>
<uu50n4$3ca7i$6@i2pn2.org> <uu573n$3tt5t$7@dont-email.me>
<uu58nh$3ca7j$2@i2pn2.org> <uu59t9$3ubje$2@dont-email.me>
<8734s9u2tl.fsf@nosuchdomain.example.com> <uu5dqp$2tti$2@dont-email.me>
<uu6ep9$3dq4u$4@i2pn2.org> <uu6npg$ceq1$1@dont-email.me>
<uu79db$gdqk$1@dont-email.me> <875xx4sh0h.fsf@nosuchdomain.example.com>
<uu7osb$k31e$1@dont-email.me> <87sf08qzt5.fsf@nosuchdomain.example.com>
<uu7q21$k72e$1@dont-email.me> <uu8vf8$vsq2$1@dont-email.me>
<uu95mr$114hv$5@dont-email.me> <uu9q43$16c9d$2@dont-email.me>
<uu9qqn$16gt9$1@dont-email.me> <uu9s39$16gks$1@dont-email.me>
<uu9sj2$16rdo$1@dont-email.me> <uucbe9$1utsv$2@dont-email.me>
<uucc0e$1v1p5$1@dont-email.me> <uucdd7$1v8hd$1@dont-email.me>
<uucec3$1vh78$1@dont-email.me> <uudnt6$2bun2$1@dont-email.me>
<uuegit$2hjc8$1@dont-email.me> <uuev15$2l64e$2@dont-email.me>
<uuevt5$2laff$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Apr 2024 19:37:54 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3553fae5c4031182b0af437a060973d2";
logging-data="2817804"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+tIaEVAJui9P6zQJeYK66l"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:autGWkuOG0MyySKctVQ6poaVRpU=
Content-Language: en-GB
In-Reply-To: <uuevt5$2laff$1@dont-email.me>
 by: Fred. Zwarts - Mon, 1 Apr 2024 19:37 UTC

Op 01.apr.2024 om 20:54 schreef olcott:
> On 4/1/2024 1:39 PM, Fred. Zwarts wrote:
>> Op 01.apr.2024 om 16:33 schreef olcott:
>>> On 4/1/2024 2:31 AM, Fred. Zwarts wrote:
>>>> Op 31.mrt.2024 om 21:42 schreef olcott:
>>>>> On 3/31/2024 2:26 PM, Fred. Zwarts wrote:
>>>>>> Op 31.mrt.2024 om 21:02 schreef olcott:
>>>>>>> On 3/31/2024 1:52 PM, Fred. Zwarts wrote:
>>>>>>>> Op 30.mrt.2024 om 21:27 schreef olcott:
>>>>>>>>> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>>>>>>>>>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>>>>>>>>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>>>>>>>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>>>>>>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>>>>>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>>>>>>>>>> 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.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> It is clear that olcott does not understand limits,
>>>>>>>>>>>>>> because he is changing the meaning of the words and the
>>>>>>>>>>>>>> symbols. Limits are not talking about what happens at the
>>>>>>>>>>>>>> end of a sequence. It seems it has to be spelled out for
>>>>>>>>>>>>>> him, otherwise he will not understand.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> 0.999... Limits basically pretend that we reach the end of
>>>>>>>>>>>>> this infinite sequence even though that it impossible, and
>>>>>>>>>>>>> says after we reach this
>>>>>>>>>>>>> impossible end the value would be 1.0.
>>>>>>>>>>>>
>>>>>>>>>>>> No, if olcott had paid attention to the text below, or the
>>>>>>>>>>>> article I referenced:
>>>>>>>>>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>>>>>>>>>
>>>>>>>>>>>> he would have noted that limits do not pretend to reach the
>>>>>>>>>>>> end. They
>>>>>>>>>>>
>>>>>>>>>>> Other people were saying that math says 0.999... = 1.0
>>>>>>>>>>
>>>>>>>>>> Indeed and they were right. Olcott's problem seems to be that
>>>>>>>>>> he thinks that he has to go to the end to prove it, but that
>>>>>>>>>> is not needed. We only have to go as far as needed for any
>>>>>>>>>> given ε. Going to the end is his problem, not that of math in
>>>>>>>>>> the real number system.
>>>>>>>>>> 0.999... = 1.0 means that with this sequence we can come as
>>>>>>>>>> close to 1.0 as needed.
>>>>>>>>>
>>>>>>>>> That is not what the "=" sign means. It means exactly the same as.
>>>>>>>>
>>>>>>>> No, olcott is trying to change the meaning of the symbol '='.
>>>>>>>> That *is* what the '=' means for real numbers, because 'exactly
>>>>>>>> the same' is too vague. Is 1.0 exactly the same as 1/1? It
>>>>>>>> contains different symbols, so why should they be exactly the same?
>>>>>>>
>>>>>>> It never means approximately the same value.
>>>>>>> It always means exactly the same value.
>>>>>>
>>>>>> And what 'exactly the same value' means is explained below. It is
>>>>>> a definition, not an opinion.
>>>>>>
>>>>>
>>>>> No matter what you explain below nothing that anyone can possibly
>>>>> say can possibly show that 1.000... = 1.0
>>>>>
>>>>> I use categorically exhaustive reasoning thus eliminating the
>>>>> possibility of correct rebuttals.
>>>>
>>>> OK, then it is clear that olcott is not talking about real numbers,
>>>> because for reals categorically exhaustive reasoning proved that
>>>> 0.999... = 1 and olcott could not point to an error in the proof.
>>>> It would have been less confusiong when he had mentioned that
>>>> explicitly.
>>>>
>>>
>>> Typo corrected
>>> No matter what you explain below nothing that anyone can possibly
>>> say can possibly show that 0.999... = 1.0
>>>
>>> 0.999...
>>> Means an infinite never ending sequence that never reaches 1.0
>>
>> Which nobody denied.
>> Olcott again changes the question.
>> The question is not does this sequence end, or does it reach 1.0, but:
>> which real is represented with this sequence?
>
> Since PI is represented by a single geometric point on the number line
> then 0.999... would be correctly represented by the geometric point
> immediately to the left of 1.0 on the number line or the RHS of this
> interval [0,0, 1.0).


Click here to read the complete article
Re: Definition of real number ℝ --infinitesimal--

<uuf5h7$2mm4i$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57529&group=comp.theory#57529

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott333@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 15:30:31 -0500
Organization: A noiseless patient Spider
Lines: 206
Message-ID: <uuf5h7$2mm4i$1@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me> <uuegit$2hjc8$1@dont-email.me>
<uuev15$2l64e$2@dont-email.me> <uuevt5$2laff$1@dont-email.me>
<uuf2ei$2lvoc$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Apr 2024 20:30:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5e58477a53f65757edcdf2caa0bb9cc6";
logging-data="2840722"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/0N8/GsIiGHcAgkw8NOgOe"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:fzd+yjgUTIiGSeWGaStMl576tbE=
Content-Language: en-US
In-Reply-To: <uuf2ei$2lvoc$2@dont-email.me>
 by: olcott - Mon, 1 Apr 2024 20:30 UTC

On 4/1/2024 2:37 PM, Fred. Zwarts wrote:
> Op 01.apr.2024 om 20:54 schreef olcott:
>> On 4/1/2024 1:39 PM, Fred. Zwarts wrote:
>>> Op 01.apr.2024 om 16:33 schreef olcott:
>>>> On 4/1/2024 2:31 AM, Fred. Zwarts wrote:
>>>>> Op 31.mrt.2024 om 21:42 schreef olcott:
>>>>>> On 3/31/2024 2:26 PM, Fred. Zwarts wrote:
>>>>>>> Op 31.mrt.2024 om 21:02 schreef olcott:
>>>>>>>> On 3/31/2024 1:52 PM, Fred. Zwarts wrote:
>>>>>>>>> Op 30.mrt.2024 om 21:27 schreef olcott:
>>>>>>>>>> On 3/30/2024 3:18 PM, Fred. Zwarts wrote:
>>>>>>>>>>> Op 30.mrt.2024 om 20:57 schreef olcott:
>>>>>>>>>>>> On 3/30/2024 2:45 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>> Op 30.mrt.2024 om 14:56 schreef olcott:
>>>>>>>>>>>>>> On 3/30/2024 7:10 AM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>> Op 30.mrt.2024 om 02:31 schreef olcott:
>>>>>>>>>>>>>>>> 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.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> It is clear that olcott does not understand limits,
>>>>>>>>>>>>>>> because he is changing the meaning of the words and the
>>>>>>>>>>>>>>> symbols. Limits are not talking about what happens at the
>>>>>>>>>>>>>>> end of a sequence. It seems it has to be spelled out for
>>>>>>>>>>>>>>> him, otherwise he will not understand.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> 0.999... Limits basically pretend that we reach the end of
>>>>>>>>>>>>>> this infinite sequence even though that it impossible, and
>>>>>>>>>>>>>> says after we reach this
>>>>>>>>>>>>>> impossible end the value would be 1.0.
>>>>>>>>>>>>>
>>>>>>>>>>>>> No, if olcott had paid attention to the text below, or the
>>>>>>>>>>>>> article I referenced:
>>>>>>>>>>>>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>>>>>>>>>>>>
>>>>>>>>>>>>> he would have noted that limits do not pretend to reach the
>>>>>>>>>>>>> end. They
>>>>>>>>>>>>
>>>>>>>>>>>> Other people were saying that math says 0.999... = 1.0
>>>>>>>>>>>
>>>>>>>>>>> Indeed and they were right. Olcott's problem seems to be that
>>>>>>>>>>> he thinks that he has to go to the end to prove it, but that
>>>>>>>>>>> is not needed. We only have to go as far as needed for any
>>>>>>>>>>> given ε. Going to the end is his problem, not that of math in
>>>>>>>>>>> the real number system.
>>>>>>>>>>> 0.999... = 1.0 means that with this sequence we can come as
>>>>>>>>>>> close to 1.0 as needed.
>>>>>>>>>>
>>>>>>>>>> That is not what the "=" sign means. It means exactly the same
>>>>>>>>>> as.
>>>>>>>>>
>>>>>>>>> No, olcott is trying to change the meaning of the symbol '='.
>>>>>>>>> That *is* what the '=' means for real numbers, because 'exactly
>>>>>>>>> the same' is too vague. Is 1.0 exactly the same as 1/1? It
>>>>>>>>> contains different symbols, so why should they be exactly the
>>>>>>>>> same?
>>>>>>>>
>>>>>>>> It never means approximately the same value.
>>>>>>>> It always means exactly the same value.
>>>>>>>
>>>>>>> And what 'exactly the same value' means is explained below. It is
>>>>>>> a definition, not an opinion.
>>>>>>>
>>>>>>
>>>>>> No matter what you explain below nothing that anyone can possibly
>>>>>> say can possibly show that 1.000... = 1.0
>>>>>>
>>>>>> I use categorically exhaustive reasoning thus eliminating the
>>>>>> possibility of correct rebuttals.
>>>>>
>>>>> OK, then it is clear that olcott is not talking about real numbers,
>>>>> because for reals categorically exhaustive reasoning proved that
>>>>> 0.999... = 1 and olcott could not point to an error in the proof.
>>>>> It would have been less confusiong when he had mentioned that
>>>>> explicitly.
>>>>>
>>>>
>>>> Typo corrected
>>>> No matter what you explain below nothing that anyone can possibly
>>>> say can possibly show that 0.999... = 1.0
>>>>
>>>> 0.999...
>>>> Means an infinite never ending sequence that never reaches 1.0
>>>
>>> Which nobody denied.
>>> Olcott again changes the question.
>>> The question is not does this sequence end, or does it reach 1.0,
>>> but: which real is represented with this sequence?
>>
>> Since PI is represented by a single geometric point on the number line
>> then 0.999... would be correctly represented by the geometric point
>> immediately to the left of 1.0 on the number line or the RHS of this
>> interval [0,0, 1.0).
>
> In the real number system it is incorrect to talk about a number
> immediately next to another number. So, this is not about real numbers.
>


Click here to read the complete article
Re: Definition of real number ℝ --infinitesimal--

<uuf789$2n450$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57530&group=comp.theory#57530

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: agisaak@gm.invalid (André G. Isaak)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 14:59:50 -0600
Organization: Christians and Atheists United Against Creeping Agnosticism
Lines: 44
Message-ID: <uuf789$2n450$1@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu50n4$3ca7i$6@i2pn2.org> <uu573n$3tt5t$7@dont-email.me>
<uu58nh$3ca7j$2@i2pn2.org> <uu59t9$3ubje$2@dont-email.me>
<8734s9u2tl.fsf@nosuchdomain.example.com> <uu5dqp$2tti$2@dont-email.me>
<uu6ep9$3dq4u$4@i2pn2.org> <uu6npg$ceq1$1@dont-email.me>
<uu79db$gdqk$1@dont-email.me> <875xx4sh0h.fsf@nosuchdomain.example.com>
<uu7osb$k31e$1@dont-email.me> <87sf08qzt5.fsf@nosuchdomain.example.com>
<uu7q21$k72e$1@dont-email.me> <uu8vf8$vsq2$1@dont-email.me>
<uu95mr$114hv$5@dont-email.me> <uu9q43$16c9d$2@dont-email.me>
<uu9qqn$16gt9$1@dont-email.me> <uu9s39$16gks$1@dont-email.me>
<uu9sj2$16rdo$1@dont-email.me> <uucbe9$1utsv$2@dont-email.me>
<uucc0e$1v1p5$1@dont-email.me> <uucdd7$1v8hd$1@dont-email.me>
<uucec3$1vh78$1@dont-email.me> <uudnt6$2bun2$1@dont-email.me>
<uuegit$2hjc8$1@dont-email.me> <uuev15$2l64e$2@dont-email.me>
<uuevt5$2laff$1@dont-email.me> <uuf2ei$2lvoc$2@dont-email.me>
<uuf5h7$2mm4i$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Apr 2024 20:59:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2e2393b8e41aa9b8f93a15f48e804533";
logging-data="2855072"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19T+DyRI8tljh1nc68iBom9"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:hqghhn/mKJ3nA6ka8Y+MBFBrRUs=
In-Reply-To: <uuf5h7$2mm4i$1@dont-email.me>
Content-Language: en-US
 by: André G. Isaak - Mon, 1 Apr 2024 20:59 UTC

On 2024-04-01 14:30, olcott wrote:
> On 4/1/2024 2:37 PM, Fred. Zwarts wrote:
>> Op 01.apr.2024 om 20:54 schreef olcott:

>>> Since PI is represented by a single geometric point on the number line
>>> then 0.999... would be correctly represented by the geometric point
>>> immediately to the left of 1.0 on the number line or the RHS of this
>>> interval [0,0, 1.0).
>>
>> In the real number system it is incorrect to talk about a number
>> immediately next to another number. So, this is not about real numbers.
>>
>
> PI is a real number.
> If there is no real number that represents 0.999...
> that does not provide a reason to say 0.999... = 1.0.

I'm a bit unclear why you keep bringing pi into this. pi isn't a
repeating decimal, unlike 0.999... which is.

But if you want to talk about pi, that also can be construed as the
limit of an infinite series:

π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...

For any *finite* number of terms, the above series never quite reaches
pi, but the LIMIT of this series is exactly equal to pi, not to some
value one 'geometric point' (which has a length of exactly zero) away
from that limit And for this series your peculiar notion that it is a
geometric point away is particularly absurd since it isn't clear whether
you'd want it to be one 'geometric point' greater or less than this
limit since the series doesn't converge on its limit from a single
direction.

Similarly, the value of the series 9/10 + 99/100 + 999/1000... is
exactly equal to the LIMIT of that series. That's what the notation
0.999... means, by definition.

André

--
To email remove 'invalid' & replace 'gm' with well known Google mail
service.

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

<uuf7es$2n4mp$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57531&group=comp.theory#57531

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: agisaak@gm.invalid (André G. Isaak)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 15:03:23 -0600
Organization: Christians and Atheists United Against Creeping Agnosticism
Lines: 13
Message-ID: <uuf7es$2n4mp$1@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me> <uuegit$2hjc8$1@dont-email.me>
<uuev15$2l64e$2@dont-email.me> <uuevt5$2laff$1@dont-email.me>
<uuf2ei$2lvoc$2@dont-email.me> <uuf5h7$2mm4i$1@dont-email.me>
<uuf789$2n450$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Apr 2024 21:03:24 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2e2393b8e41aa9b8f93a15f48e804533";
logging-data="2855641"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Bw0HhQls6T68WLfrOXiK1"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:6FWymDaOXhGJdQeTJ4NyKgBl3zI=
In-Reply-To: <uuf789$2n450$1@dont-email.me>
Content-Language: en-US
 by: André G. Isaak - Mon, 1 Apr 2024 21:03 UTC

On 2024-04-01 14:59, André G. Isaak wrote:

> π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...
>
> For any *finite* number of terms, the above series never quite reaches
> pi, but the LIMIT of this series is exactly equal to pi.
Obviously, I mean the limit is exactly equal to π/4.

--
To email remove 'invalid' & replace 'gm' with well known Google mail
service.

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

<ba3b90dac4c5b03135787675404f3b3594b5451a.camel@gmail.com>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57532&group=comp.theory#57532

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wyniijj5@gmail.com (wij)
Newsgroups: comp.theory
Subject: Re: Definition of real number ℝ
--infinitesimal--
Date: Tue, 02 Apr 2024 05:46:25 +0800
Organization: A noiseless patient Spider
Lines: 15
Message-ID: <ba3b90dac4c5b03135787675404f3b3594b5451a.camel@gmail.com>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me> <uuegit$2hjc8$1@dont-email.me>
<uuev15$2l64e$2@dont-email.me> <uuevt5$2laff$1@dont-email.me>
<uuf2ei$2lvoc$2@dont-email.me> <uuf5h7$2mm4i$1@dont-email.me>
<uuf789$2n450$1@dont-email.me> <uuf7es$2n4mp$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Mon, 01 Apr 2024 21:46:26 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="54c4ad64e42c422e1e437d1e121a6d6c";
logging-data="2872693"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/ChzDZYFDekLNpd6VOLQBh"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:5uEa5LhmjR284KqU79JVdqyPg40=
In-Reply-To: <uuf7es$2n4mp$1@dont-email.me>
 by: wij - Mon, 1 Apr 2024 21:46 UTC

On Mon, 2024-04-01 at 15:03 -0600, André G. Isaak wrote:
> On 2024-04-01 14:59, André G. Isaak wrote:
>
>
> > π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...
> >
> > For any *finite* number of terms, the above series never quite reaches
> > pi, but the LIMIT of this series is exactly equal to pi.
> Obviously, I mean the limit is exactly equal to π/4.
>

Note that the limit of sequence about is π/4. But none of any number in the sequence is π/4

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

<e38b6d24f06a3746675ae9212d9beed50dc50eac.camel@gmail.com>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57533&group=comp.theory#57533

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wyniijj5@gmail.com (wij)
Newsgroups: comp.theory
Subject: Re: Definition of real number ℝ
--infinitesimal--
Date: Tue, 02 Apr 2024 06:14:27 +0800
Organization: A noiseless patient Spider
Lines: 26
Message-ID: <e38b6d24f06a3746675ae9212d9beed50dc50eac.camel@gmail.com>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me> <uuegit$2hjc8$1@dont-email.me>
<uuev15$2l64e$2@dont-email.me> <uuevt5$2laff$1@dont-email.me>
<uuf2ei$2lvoc$2@dont-email.me> <uuf5h7$2mm4i$1@dont-email.me>
<uuf789$2n450$1@dont-email.me> <uuf7es$2n4mp$1@dont-email.me>
<ba3b90dac4c5b03135787675404f3b3594b5451a.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Mon, 01 Apr 2024 22:14:29 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8a8060410e0d71b4964886d63e93be2c";
logging-data="2890152"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+XLzs/uNL2ITpkesmsfvJx"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:SnpyhxQQlVjjIQwNUv5s53h0rt8=
In-Reply-To: <ba3b90dac4c5b03135787675404f3b3594b5451a.camel@gmail.com>
 by: wij - Mon, 1 Apr 2024 22:14 UTC

On Tue, 2024-04-02 at 05:46 +0800, wij wrote:
> On Mon, 2024-04-01 at 15:03 -0600, André G. Isaak wrote:
> > On 2024-04-01 14:59, André G. Isaak wrote:
> >
> >
> > > π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...
> > >
> > > For any *finite* number of terms, the above series never quite reaches
> > > pi, but the LIMIT of this series is exactly equal to pi.
> > Obviously, I mean the limit is exactly equal to π/4.
> >
>
> Note that the limit of sequence about is π/4. But none of any number in the sequence is π/4
>

To be more correctly:

π/4 = lim 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...

or π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11... +non_zero_remainder

or π/4 ≒ 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...

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

<uufc0g$2o8ll$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57534&group=comp.theory#57534

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott333@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 17:21:04 -0500
Organization: A noiseless patient Spider
Lines: 50
Message-ID: <uufc0g$2o8ll$1@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me> <uuegit$2hjc8$1@dont-email.me>
<uuev15$2l64e$2@dont-email.me> <uuevt5$2laff$1@dont-email.me>
<uuf2ei$2lvoc$2@dont-email.me> <uuf5h7$2mm4i$1@dont-email.me>
<uuf789$2n450$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Apr 2024 22:21:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6a1facd72526c9019aa65d403fd65586";
logging-data="2892469"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/5wzSNvIICJb098s57gUnp"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:h4p0GVATn0EjmuQSSgLVm1OqJSo=
In-Reply-To: <uuf789$2n450$1@dont-email.me>
Content-Language: en-US
 by: olcott - Mon, 1 Apr 2024 22:21 UTC

On 4/1/2024 3:59 PM, André G. Isaak wrote:
> On 2024-04-01 14:30, olcott wrote:
>> On 4/1/2024 2:37 PM, Fred. Zwarts wrote:
>>> Op 01.apr.2024 om 20:54 schreef olcott:
>
>>>> Since PI is represented by a single geometric point on the number line
>>>> then 0.999... would be correctly represented by the geometric point
>>>> immediately to the left of 1.0 on the number line or the RHS of this
>>>> interval [0,0, 1.0).
>>>
>>> In the real number system it is incorrect to talk about a number
>>> immediately next to another number. So, this is not about real numbers.
>>>
>>
>> PI is a real number.
>> If there is no real number that represents 0.999...
>> that does not provide a reason to say 0.999... = 1.0.
>
> I'm a bit unclear why you keep bringing pi into this. pi isn't a
> repeating decimal, unlike 0.999... which is.
>
> But if you want to talk about pi, that also can be construed as the
> limit of an infinite series:
>
> π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...
>
> For any *finite* number of terms, the above series never quite reaches
> pi, but the LIMIT of this series is exactly equal to pi, not to some

To says that 0.999... = 1.0 means that after the never ending
sequence ends (a contradiction) then we reach exactly 1.0.

> value one 'geometric point' (which has a length of exactly zero) away
> from that limit And for this series your peculiar notion that it is a
> geometric point away is particularly absurd since it isn't clear whether
> you'd want it to be one 'geometric point' greater or less than this
> limit since the series doesn't converge on its limit from a single
> direction.
>
> Similarly, the value of the series 9/10 + 99/100 + 999/1000... is
> exactly equal to the LIMIT of that series. That's what the notation
> 0.999... means, by definition.
>
> André
>

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

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

<uufc23$2o8ll$2@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57535&group=comp.theory#57535

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott333@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 17:21:55 -0500
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <uufc23$2o8ll$2@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<8734s9u2tl.fsf@nosuchdomain.example.com> <uu5dqp$2tti$2@dont-email.me>
<uu6ep9$3dq4u$4@i2pn2.org> <uu6npg$ceq1$1@dont-email.me>
<uu79db$gdqk$1@dont-email.me> <875xx4sh0h.fsf@nosuchdomain.example.com>
<uu7osb$k31e$1@dont-email.me> <87sf08qzt5.fsf@nosuchdomain.example.com>
<uu7q21$k72e$1@dont-email.me> <uu8vf8$vsq2$1@dont-email.me>
<uu95mr$114hv$5@dont-email.me> <uu9q43$16c9d$2@dont-email.me>
<uu9qqn$16gt9$1@dont-email.me> <uu9s39$16gks$1@dont-email.me>
<uu9sj2$16rdo$1@dont-email.me> <uucbe9$1utsv$2@dont-email.me>
<uucc0e$1v1p5$1@dont-email.me> <uucdd7$1v8hd$1@dont-email.me>
<uucec3$1vh78$1@dont-email.me> <uudnt6$2bun2$1@dont-email.me>
<uuegit$2hjc8$1@dont-email.me> <uuev15$2l64e$2@dont-email.me>
<uuevt5$2laff$1@dont-email.me> <uuf2ei$2lvoc$2@dont-email.me>
<uuf5h7$2mm4i$1@dont-email.me> <uuf789$2n450$1@dont-email.me>
<uuf7es$2n4mp$1@dont-email.me>
<ba3b90dac4c5b03135787675404f3b3594b5451a.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Apr 2024 22:21:56 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6a1facd72526c9019aa65d403fd65586";
logging-data="2892469"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+/HDFFYcCEUYjle11UZ8Xi"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ipnt2q8WoEzOzZmxjiY+oPQ77+c=
Content-Language: en-US
In-Reply-To: <ba3b90dac4c5b03135787675404f3b3594b5451a.camel@gmail.com>
 by: olcott - Mon, 1 Apr 2024 22:21 UTC

On 4/1/2024 4:46 PM, wij wrote:
> On Mon, 2024-04-01 at 15:03 -0600, André G. Isaak wrote:
>> On 2024-04-01 14:59, André G. Isaak wrote:
>>
>>
>>> π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...
>>>
>>> For any *finite* number of terms, the above series never quite reaches
>>> pi, but the LIMIT of this series is exactly equal to pi.
>> Obviously, I mean the limit is exactly equal to π/4.
>>
>
> Note that the limit of sequence about is π/4. But none of any number in the sequence is π/4
>

Yes

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

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

<878r1wvgc5.fsf@bsb.me.uk>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57536&group=comp.theory#57536

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: ben.usenet@bsb.me.uk (Ben Bacarisse)
Newsgroups: comp.theory
Subject: Re: Definition of real number ℝ
--infinitesimal--
Date: Tue, 02 Apr 2024 00:00:26 +0100
Organization: A noiseless patient Spider
Lines: 60
Message-ID: <878r1wvgc5.fsf@bsb.me.uk>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me> <uuegit$2hjc8$1@dont-email.me>
<uuev15$2l64e$2@dont-email.me> <uuevt5$2laff$1@dont-email.me>
<uuf2ei$2lvoc$2@dont-email.me> <uuf5h7$2mm4i$1@dont-email.me>
<uuf789$2n450$1@dont-email.me> <uuf7es$2n4mp$1@dont-email.me>
<ba3b90dac4c5b03135787675404f3b3594b5451a.camel@gmail.com>
<e38b6d24f06a3746675ae9212d9beed50dc50eac.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Apr 2024 23:00:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="90d393aef356078ad4abcd1b4aac40de";
logging-data="2910304"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1//jTpP6YIUKArW75FtosH+4rMOnHmTK5I="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:QEcLdo5HzGtVMPAyoz2aySwXPCY=
sha1:RP1lKd+tA2/69Mf8onjw+h8MA/k=
X-BSB-Auth: 1.9d80f459305e89262864.20240402000026BST.878r1wvgc5.fsf@bsb.me.uk
 by: Ben Bacarisse - Mon, 1 Apr 2024 23:00 UTC

wij <wyniijj5@gmail.com> writes:

> On Tue, 2024-04-02 at 05:46 +0800, wij wrote:
>> On Mon, 2024-04-01 at 15:03 -0600, André G. Isaak wrote:
>> > On 2024-04-01 14:59, André G. Isaak wrote:
>> >
>> >
>> > > π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...
>> > >
>> > > For any *finite* number of terms, the above series never quite reaches
>> > > pi, but the LIMIT of this series is exactly equal to pi.
>> > Obviously, I mean the limit is exactly equal to π/4.
>> >
>>
>> Note that the limit of sequence about is π/4. But none of any number
>> in the sequence is π/4
>>
>
> To be more correctly:
>
> π/4 = lim 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...

No, that's no more correct because the limit is already implied and,
more importantly, the /correct/ limit is implied. The limit is that of
a sequence of partial sums, so to write it without the implied limit one
should write either

π/4 = Sigma_{n=0}^oo -1^n * 1/(2n+1)

or

π/4 = lim_{k->oo} Sigma_{n=0}^k -1^n * 1/(2n+1).

Just sticking "lim" in front gains you nothing.

> or π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11... +non_zero_remainder

No, because the limit is implied. That's what the informal "..." means.
The only correct equation using the rather informal ... is

π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11... + 0.

You can say what you probably mean using the proper notation as above,
but I doubt you want to do that.

> or π/4 ≒ 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...

No. The ... implies the limit of the partial sums and, as you know,
that limit is π/4. Exactly π/4.

André already said the no finite partial sum is equal to π/4. What do
you gain by trying to say that again?

Have you got any further in defining the operations on your "numbers as
strings or TMs" so that (a+b)/2 is neither a nor b when a=1 and
b=0.999...? That's a fun project, but I don't think you are able to do
it.

--
Ben.

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

<8734s4r84s.fsf@nosuchdomain.example.com>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57537&group=comp.theory#57537

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Keith.S.Thompson+u@gmail.com (Keith Thompson)
Newsgroups: comp.theory
Subject: Re: Definition of real number ℝ
--infinitesimal--
Date: Mon, 01 Apr 2024 16:11:15 -0700
Organization: None to speak of
Lines: 45
Message-ID: <8734s4r84s.fsf@nosuchdomain.example.com>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com>
<uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com>
<uu7q21$k72e$1@dont-email.me> <uu8vf8$vsq2$1@dont-email.me>
<uu95mr$114hv$5@dont-email.me> <uu9q43$16c9d$2@dont-email.me>
<uu9qqn$16gt9$1@dont-email.me> <uu9s39$16gks$1@dont-email.me>
<uu9sj2$16rdo$1@dont-email.me> <uucbe9$1utsv$2@dont-email.me>
<uucc0e$1v1p5$1@dont-email.me> <uucdd7$1v8hd$1@dont-email.me>
<uucec3$1vh78$1@dont-email.me> <uudnt6$2bun2$1@dont-email.me>
<uuegit$2hjc8$1@dont-email.me> <uuev15$2l64e$2@dont-email.me>
<uuevt5$2laff$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Mon, 01 Apr 2024 23:11:19 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3a6d60d87380a0c0f1e42919673cda47";
logging-data="2915168"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19re/FW/48oQckKre1vWlcZ"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
Cancel-Lock: sha1:uMnAH2xahqAg6gl8pAt/Tdom4qM=
sha1:vjfvmtcyOL0adVN2ImxNN6c6+mY=
 by: Keith Thompson - Mon, 1 Apr 2024 23:11 UTC

olcott <polcott333@gmail.com> writes:
[...]
> Since PI is represented by a single geometric point on the number line
> then 0.999... would be correctly represented by the geometric point
> immediately to the left of 1.0 on the number line or the RHS of this
> interval [0,0, 1.0). If there is no Real number at that point then
> there is no Real number that exactly represents 0.999...
[...]

In the following I'm talking about real numbers, and only real
numbers -- not hyperreals, or surreals, or any other extension to the
real numbers.

You assert that there is a geometric point immediately to the left of
1.0 on the number line. (I disagree, but let's go with it for now.)

Am I correct in assuming that this means that that point corresponds to
a real number that is distinct from, and less than, 1.0?

More generally, does each real number correspond to a point on the
number line, and does each point on the number line correspond to a real
number? (The real numbers can be formally defined without reference to
geometry, but let's go with your geometric model for now.)

If so, let's call that real number (immediately to the left of 1.0) x.

Consider ((x + 1.0)/2.0). Let's call that number y. (The intent is to
construct a real number that is exactly halfway between x and 1.0.)

Is y a real number? (If not, the real numbers are, unexpectedly, not
closed under common arithmetic operations.)

Is y less than, equal to, or greater than x?

Is y less than, equal to, or greater than 1.0?

Again, I am talking *only* about real numbers.

Given your past history, I do not expect straight answers to these
questions, but I'm prepared to be pleasantly surprised.

--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
Working, but not speaking, for Medtronic
void Void(void) { Void(); } /* The recursive call of the void */

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

<uuffbv$3p7r0$3@i2pn2.org>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57539&group=comp.theory#57539

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!.POSTED!not-for-mail
From: richard@damon-family.org (Richard Damon)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 19:18:22 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uuffbv$3p7r0$3@i2pn2.org>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu3qk7$3jc94$1@dont-email.me> <uu444a$3lnuc$1@dont-email.me>
<uu44k2$3lrph$1@dont-email.me> <uu50n4$3ca7i$6@i2pn2.org>
<uu573n$3tt5t$7@dont-email.me> <uu58nh$3ca7j$2@i2pn2.org>
<uu59t9$3ubje$2@dont-email.me> <8734s9u2tl.fsf@nosuchdomain.example.com>
<uu5dqp$2tti$2@dont-email.me> <uu6ep9$3dq4u$4@i2pn2.org>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me> <uuegit$2hjc8$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 1 Apr 2024 23:18:23 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3972960"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <uuegit$2hjc8$1@dont-email.me>
Content-Language: en-US
 by: Richard Damon - Mon, 1 Apr 2024 23:18 UTC

On 4/1/24 10:33 AM, olcott wrote:
>
> Typo corrected
> No matter what you explain below nothing that anyone can possibly
> say can possibly show that 0.999... = 1.0

WRONG, and proof that you are a stupid liar.

>
> 0.999...
> Means an infinite never ending sequence that never reaches 1.0

Right, but the REAL NUMBER that it represents is DEFINED by the limit of
the sequence, which is 1.0

>
> If biology "proved" that cats are a kind of dog then no matter
> what this "proof" contains we know in advance that it must be
> incorrect.

Right, so your "PROOF" must be wrong, since the FACTS of the Real
Numbers DEFINE that 0.999.... == 1

DEFINITIONS matter.

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

<uuffc1$3p7r0$4@i2pn2.org>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57540&group=comp.theory#57540

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!.POSTED!not-for-mail
From: richard@damon-family.org (Richard Damon)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 19:18:25 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uuffc1$3p7r0$4@i2pn2.org>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu444a$3lnuc$1@dont-email.me> <uu44k2$3lrph$1@dont-email.me>
<uu50n4$3ca7i$6@i2pn2.org> <uu573n$3tt5t$7@dont-email.me>
<uu58nh$3ca7j$2@i2pn2.org> <uu59t9$3ubje$2@dont-email.me>
<8734s9u2tl.fsf@nosuchdomain.example.com> <uu5dqp$2tti$2@dont-email.me>
<uu6ep9$3dq4u$4@i2pn2.org> <uu6npg$ceq1$1@dont-email.me>
<uu79db$gdqk$1@dont-email.me> <875xx4sh0h.fsf@nosuchdomain.example.com>
<uu7osb$k31e$1@dont-email.me> <87sf08qzt5.fsf@nosuchdomain.example.com>
<uu7q21$k72e$1@dont-email.me> <uu8vf8$vsq2$1@dont-email.me>
<uu95mr$114hv$5@dont-email.me> <uu9q43$16c9d$2@dont-email.me>
<uu9qqn$16gt9$1@dont-email.me> <uu9s39$16gks$1@dont-email.me>
<uu9sj2$16rdo$1@dont-email.me> <uucbe9$1utsv$2@dont-email.me>
<uucc0e$1v1p5$1@dont-email.me> <uucdd7$1v8hd$1@dont-email.me>
<uucec3$1vh78$1@dont-email.me> <uudnt6$2bun2$1@dont-email.me>
<uuegit$2hjc8$1@dont-email.me> <uuev15$2l64e$2@dont-email.me>
<uuevt5$2laff$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 1 Apr 2024 23:18:25 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3972960"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <uuevt5$2laff$1@dont-email.me>
Content-Language: en-US
 by: Richard Damon - Mon, 1 Apr 2024 23:18 UTC

On 4/1/24 2:54 PM, olcott wrote:
>
> Since PI is represented by a single geometric point on the number line
> then 0.999... would be correctly represented by the geometric point
> immediately to the left of 1.0 on the number line or the RHS of this
> interval [0,0, 1.0). If there is no Real number at that point then
> there is no Real number that exactly represents 0.999...

But there is no such thing as the "Geometric point immediately to the
left" of another point, as geometric points, like Real Numbers are
"Dense" so between any two distinct points, is always an infinite number
of other points.

You brain just doesn't seem to be able to handle infinities like this.

The Real Number system perfectly handles the representation 0.999....
and shows that its VALUE is 1.0

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

<uuffc2$3p7r0$5@i2pn2.org>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57541&group=comp.theory#57541

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!.POSTED!not-for-mail
From: richard@damon-family.org (Richard Damon)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 19:18:26 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uuffc2$3p7r0$5@i2pn2.org>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu50n4$3ca7i$6@i2pn2.org> <uu573n$3tt5t$7@dont-email.me>
<uu58nh$3ca7j$2@i2pn2.org> <uu59t9$3ubje$2@dont-email.me>
<8734s9u2tl.fsf@nosuchdomain.example.com> <uu5dqp$2tti$2@dont-email.me>
<uu6ep9$3dq4u$4@i2pn2.org> <uu6npg$ceq1$1@dont-email.me>
<uu79db$gdqk$1@dont-email.me> <875xx4sh0h.fsf@nosuchdomain.example.com>
<uu7osb$k31e$1@dont-email.me> <87sf08qzt5.fsf@nosuchdomain.example.com>
<uu7q21$k72e$1@dont-email.me> <uu8vf8$vsq2$1@dont-email.me>
<uu95mr$114hv$5@dont-email.me> <uu9q43$16c9d$2@dont-email.me>
<uu9qqn$16gt9$1@dont-email.me> <uu9s39$16gks$1@dont-email.me>
<uu9sj2$16rdo$1@dont-email.me> <uucbe9$1utsv$2@dont-email.me>
<uucc0e$1v1p5$1@dont-email.me> <uucdd7$1v8hd$1@dont-email.me>
<uucec3$1vh78$1@dont-email.me> <uudnt6$2bun2$1@dont-email.me>
<uuegit$2hjc8$1@dont-email.me> <uuev15$2l64e$2@dont-email.me>
<uuevt5$2laff$1@dont-email.me> <uuf2ei$2lvoc$2@dont-email.me>
<uuf5h7$2mm4i$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 1 Apr 2024 23:18:27 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3972960"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <uuf5h7$2mm4i$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
 by: Richard Damon - Mon, 1 Apr 2024 23:18 UTC

On 4/1/24 4:30 PM, olcott wrote:
>
> PI is a real number.
> If there is no real number that represents 0.999...
> that does not provide a reason to say 0.999... = 1.0.

But there IS a Real Number that represents the value of 0.999...

and that number is 1.000

Your disagreement, without showing cause, doesn't change the fact.

If it makes no sense to you, that just means your common sense is broken
for these sorts of things.

You keep on trying to argue with false statements and lies, which don't
actually prove anything, except that you are just a stupid liar.

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

<5aa2c6dc6724df4a9ed226426bd72bf7e3d0d410.camel@gmail.com>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57543&group=comp.theory#57543

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wyniijj5@gmail.com (wij)
Newsgroups: comp.theory
Subject: Re: Definition of real number ℝ
--infinitesimal--
Date: Tue, 02 Apr 2024 07:45:22 +0800
Organization: A noiseless patient Spider
Lines: 72
Message-ID: <5aa2c6dc6724df4a9ed226426bd72bf7e3d0d410.camel@gmail.com>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me> <uuegit$2hjc8$1@dont-email.me>
<uuev15$2l64e$2@dont-email.me> <uuevt5$2laff$1@dont-email.me>
<uuf2ei$2lvoc$2@dont-email.me> <uuf5h7$2mm4i$1@dont-email.me>
<uuf789$2n450$1@dont-email.me> <uuf7es$2n4mp$1@dont-email.me>
<ba3b90dac4c5b03135787675404f3b3594b5451a.camel@gmail.com>
<e38b6d24f06a3746675ae9212d9beed50dc50eac.camel@gmail.com>
<878r1wvgc5.fsf@bsb.me.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Mon, 01 Apr 2024 23:45:23 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8a8060410e0d71b4964886d63e93be2c";
logging-data="2917450"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/gQvTGwLw4Z0EZPaHtm7RS"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:U9yx9lonqptQY9fOeuTHWWe5fqY=
In-Reply-To: <878r1wvgc5.fsf@bsb.me.uk>
 by: wij - Mon, 1 Apr 2024 23:45 UTC

On Tue, 2024-04-02 at 00:00 +0100, Ben Bacarisse wrote:
> wij <wyniijj5@gmail.com> writes:
>
> > On Tue, 2024-04-02 at 05:46 +0800, wij wrote:
> > > On Mon, 2024-04-01 at 15:03 -0600, André G. Isaak wrote:
> > > > On 2024-04-01 14:59, André G. Isaak wrote:
> > > >
> > > >
> > > > > π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...
> > > > >
> > > > > For any *finite* number of terms, the above series never quite reaches
> > > > > pi, but the LIMIT of this series is exactly equal to pi.
> > > > Obviously, I mean the limit is exactly equal to π/4.
> > > >
> > >
> > > Note that the limit of sequence about is π/4. But none of any number
> > > in the sequence is π/4
> > >
> >
> > To be more correctly:
> >
> >   π/4 = lim 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...
>
> No, that's no more correct because the limit is already implied and,
> more importantly, the /correct/ limit is implied.  The limit is that of
> a sequence of partial sums, so to write it without the implied limit one
> should write either
>
>   π/4 = Sigma_{n=0}^oo -1^n * 1/(2n+1)
>
> or
>
>   π/4 = lim_{k->oo} Sigma_{n=0}^k -1^n * 1/(2n+1).
>
> Just sticking "lim" in front gains you nothing.
>
> > or π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11... +non_zero_remainder
>
> No, because the limit is implied.  That's what the informal "..." means.
> The only correct equation using the rather informal ... is
>
>   π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11... + 0.
>
> You can say what you probably mean using the proper notation as above,
> but I doubt you want to do that.
>
> > or π/4 ≒ 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11...
>
> No.  The ... implies the limit of the partial sums and, as you know,
> that limit is π/4.  Exactly π/4.
>
> André already said the no finite partial sum is equal to π/4.  What do
> you gain by trying to say that again?
>

It seems you don't understand what the limit means.

> Have you got any further in defining the operations on your "numbers as
> strings or TMs" so that (a+b)/2 is neither a nor b when a=1 and
> b=0.999...?  That's a fun project, but I don't think you are able to do
> it.
>

Please stop these sort of rebuttal, or you need to go home and learn more
Or, your kid will teach you in several years.

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

<uufhse$2pgbg$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=57544&group=comp.theory#57544

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott333@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Mon, 1 Apr 2024 19:01:18 -0500
Organization: A noiseless patient Spider
Lines: 54
Message-ID: <uufhse$2pgbg$1@dont-email.me>
References: <bebe16f4f02eed7ac4e4d815dc0e1e98f9f0f2a0.camel@gmail.com>
<uu6npg$ceq1$1@dont-email.me> <uu79db$gdqk$1@dont-email.me>
<875xx4sh0h.fsf@nosuchdomain.example.com> <uu7osb$k31e$1@dont-email.me>
<87sf08qzt5.fsf@nosuchdomain.example.com> <uu7q21$k72e$1@dont-email.me>
<uu8vf8$vsq2$1@dont-email.me> <uu95mr$114hv$5@dont-email.me>
<uu9q43$16c9d$2@dont-email.me> <uu9qqn$16gt9$1@dont-email.me>
<uu9s39$16gks$1@dont-email.me> <uu9sj2$16rdo$1@dont-email.me>
<uucbe9$1utsv$2@dont-email.me> <uucc0e$1v1p5$1@dont-email.me>
<uucdd7$1v8hd$1@dont-email.me> <uucec3$1vh78$1@dont-email.me>
<uudnt6$2bun2$1@dont-email.me> <uuegit$2hjc8$1@dont-email.me>
<uuev15$2l64e$2@dont-email.me> <uuevt5$2laff$1@dont-email.me>
<8734s4r84s.fsf@nosuchdomain.example.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 02 Apr 2024 00:01:19 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6a1facd72526c9019aa65d403fd65586";
logging-data="2933104"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX187FTQAdE6YPsSYU83JqRi4"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:d8Diiq38ADvI/A+LVwRPwYcaWb4=
In-Reply-To: <8734s4r84s.fsf@nosuchdomain.example.com>
Content-Language: en-US
 by: olcott - Tue, 2 Apr 2024 00:01 UTC

On 4/1/2024 6:11 PM, Keith Thompson wrote:
> olcott <polcott333@gmail.com> writes:
> [...]
>> Since PI is represented by a single geometric point on the number line
>> then 0.999... would be correctly represented by the geometric point
>> immediately to the left of 1.0 on the number line or the RHS of this
>> interval [0,0, 1.0). If there is no Real number at that point then
>> there is no Real number that exactly represents 0.999...
> [...]
>
> In the following I'm talking about real numbers, and only real
> numbers -- not hyperreals, or surreals, or any other extension to the
> real numbers.
>
> You assert that there is a geometric point immediately to the left of
> 1.0 on the number line. (I disagree, but let's go with it for now.)
>
> Am I correct in assuming that this means that that point corresponds to
> a real number that is distinct from, and less than, 1.0?
>

IDK, probably not. I am saying that 0.999... exactly equals this number.

> More generally, does each real number correspond to a point on the
> number line, and does each point on the number line correspond to a real
> number? (The real numbers can be formally defined without reference to
> geometry, but let's go with your geometric model for now.)
>

The line segment [0.0, 1.0] is exactly one geometric point longer than
[0.0, 1.10), having all points in common besides the last point.

> If so, let's call that real number (immediately to the left of 1.0) x.
>
> Consider ((x + 1.0)/2.0). Let's call that number y. (The intent is to
> construct a real number that is exactly halfway between x and 1.0.)
>
> Is y a real number? (If not, the real numbers are, unexpectedly, not
> closed under common arithmetic operations.)
>
> Is y less than, equal to, or greater than x?
>
> Is y less than, equal to, or greater than 1.0?
>
> Again, I am talking *only* about real numbers.
>
> Given your past history, I do not expect straight answers to these
> questions, but I'm prepared to be pleasantly surprised.
>

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


devel / comp.theory / Definition of real number ℝ

Pages:12345678
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor