Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

The following statement is not true. The previous statement is true.


devel / comp.theory / Re: Definition of real number ℝ --infinitesimal--

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--

<uu8mgn$tsa5$2@dont-email.me>

  copy mid

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

  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: Sat, 30 Mar 2024 10:37:26 +0100
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <uu8mgn$tsa5$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 09:37:27 +0100 (CET)
Injection-Info: dont-email.me; posting-host="fc2d1a2bb824612199f925b09c3c0592";
logging-data="979269"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+yfx5mgOD3xZObirQr7FKp"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Bo0a8oMQDEK+C3fgn9x2XB48NMs=
In-Reply-To: <uu7q21$k72e$1@dont-email.me>
Content-Language: en-GB
 by: Fred. Zwarts - Sat, 30 Mar 2024 09:37 UTC

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.
>
If olcott had read the article I referenced,
> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers

He would have seen a proof for 0.999... = 1. This article also explains
what it means. With a proper interpretation of these words, there is no
contradiction. He may not like it, but it has been proven. So, either he
continues to talk about his unspecified olcott numbers, or he does not
understand the proof for real numbers, or he changes the meaning of the
words. Of course, if there are details in the proof he does not
understand, he is free to ask for an explanation.

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

<uu8oam$u8sh$1@dont-email.me>

  copy mid

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

  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: anw@cuboid.co.uk (Andy Walker)
Newsgroups: comp.theory
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Date: Sat, 30 Mar 2024 10:08:22 +0000
Organization: Not very much
Lines: 26
Message-ID: <uu8oam$u8sh$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 30 Mar 2024 10:08:23 +0100 (CET)
Injection-Info: dont-email.me; posting-host="80bc2c9f1b6310f164049fce2c2b0a91";
logging-data="992145"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/xQKQ9lOJ4/r6BOs3jEiD5"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:t66OYDmy0Df2kDH5IkbW9V+r1UE=
In-Reply-To: <uu7osb$k31e$1@dont-email.me>
Content-Language: en-GB
 by: Andy Walker - Sat, 30 Mar 2024 10:08 UTC

On 30/03/2024 01:11, olcott wrote:
> 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.

Zeno knew better than that some 2400 years ago. He knew that
Achilles caught the tortoise, even though it was an infinite number of
steps; it depends on how fast you complete/encounter the elements of
the sequence. If you travel along the real number line at 1 unit/hour,
starting at 0 at noon, then you reach 0.9 at 12:54, 0.99 at 12:59:24,
0.999 at 12:59:56.4, 0.9999 at 12:59:59.64, 0.99999 at 12:59:59.964,
0.999999 at ..., and this "never ending sequence" is completed by 13:00.
Luckily, none of this matters, as "0.999..." viewed as a real number is
not defined as a "never ending sequence", but as the limit of a sequence
whose terms are defined.

If you switch from the reals to the surreals or hyperreals, then
you may prefer the way "0.999..." is treated, but you have simply moved
the "never-ending" problem to somewhere else, and the solution is the
same -- you need to sub-divide time appropriately to complete many steps
in a short time. Time is inexorable in the Real World, but messwithable
in theoretical physics and in mathematics.

--
Andy Walker, Nottingham.
Andy's music pages: www.cuboid.me.uk/andy/Music
Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Praetorius

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

<UASNN.17766$MP2.7422@fx05.ams1>

  copy mid

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

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!193.141.40.65.MISMATCH!npeer.as286.net!npeer-ng0.as286.net!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!fx05.ams1.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal
--
Newsgroups: comp.theory
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>
<uu8mgn$tsa5$2@dont-email.me>
From: Richard@Damon-Family.org (Richard Damon)
Content-Language: en-US
In-Reply-To: <uu8mgn$tsa5$2@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 22
Message-ID: <UASNN.17766$MP2.7422@fx05.ams1>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Sat, 30 Mar 2024 07:21:23 -0400
X-Received-Bytes: 2418
 by: Richard Damon - Sat, 30 Mar 2024 11:21 UTC

On 3/30/24 5:37 AM, Fred. Zwarts wrote:
>>
> If olcott had read the article I referenced,
>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>
> He would have seen a proof for 0.999... = 1. This article also explains
> what it means. With a proper interpretation of these words, there is no
> contradiction. He may not like it, but it has been proven. So, either he
> continues to talk about his unspecified olcott numbers, or he does not
> understand the proof for real numbers, or he changes the meaning of the
> words. Of course, if there are details in the proof he does not
> understand, he is free to ask for an explanation.

His issue is likely with:

With a proper interpretation of these words,

As he has problems with not wanting to let others define the meaning of
the words, but instead uses his "Zeroth Principles" to invent the
meaning that he imagines must be for the meaning of the words, and then
he complains that people don't understand him when he uses is made up
definitions.

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

<uu8vf8$vsq2$1@dont-email.me>

  copy mid

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

  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: Sat, 30 Mar 2024 13:10:13 +0100
Organization: A noiseless patient Spider
Lines: 44
Message-ID: <uu8vf8$vsq2$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 12:10:17 +0100 (CET)
Injection-Info: dont-email.me; posting-host="fc2d1a2bb824612199f925b09c3c0592";
logging-data="1045314"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX194SnP3BOlC2Ls6qC3MgkCw"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:VhmDDbGO2CuA5WMpu+ZTDzhp34M=
Content-Language: en-GB
In-Reply-To: <uu7q21$k72e$1@dont-email.me>
 by: Fred. Zwarts - Sat, 30 Mar 2024 12:10 UTC

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... indicates the Cauchy sequence xn, where x1 = 9/10, x2 = 99/100,
x3 = 999/100, etc. The three dots indicates the limit n→∞. The = symbol
in the context of a limit means in this case:
For each rational ε > 0 (no matter how small) we can find a number N {in
this case 10log(1/ε)}, such that for all n > N the absolute value of the
difference between xn and 1.0 is less than ε.
It is not more and not less. Note that it does not speak of what happens
at the end of the sequence, or about completing the sequence.
If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
system), then he has to specify a rational ε for which no such N can be
found. If he cannot do that, then he is not speaking about real numbers.

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

<uu959e$114hv$3@dont-email.me>

  copy mid

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

  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: Sat, 30 Mar 2024 08:49:34 -0500
Organization: A noiseless patient Spider
Lines: 49
Message-ID: <uu959e$114hv$3@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>
<uu8mgn$tsa5$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 13:49:35 +0100 (CET)
Injection-Info: dont-email.me; posting-host="95939dfdeb30f2e43b3a787156a44dad";
logging-data="1086015"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/9S4ru1Tt3yjaT7dnKOHrP"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:T7qkV/o2jsZNN4cGwYIJ3ZEbang=
In-Reply-To: <uu8mgn$tsa5$2@dont-email.me>
Content-Language: en-US
 by: olcott - Sat, 30 Mar 2024 13:49 UTC

On 3/30/2024 4:37 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.
>>
> If olcott had read the article I referenced,
>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>
> He would have seen a proof for 0.999... = 1.

Right and another article says that all cats are really a kind of dog.

0.999... means never reaches 1.0.
Anyone saying differently is not telling the truth.

> This article also explains
> what it means. With a proper interpretation of these words, there is no
> contradiction. He may not like it, but it has been proven. So, either he
> continues to talk about his unspecified olcott numbers, or he does not
> understand the proof for real numbers, or he changes the meaning of the
> words. Of course, if there are details in the proof he does not
> understand, he is free to ask for an explanation.

--
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--

<uu95hl$114hv$4@dont-email.me>

  copy mid

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

  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: Sat, 30 Mar 2024 08:53:57 -0500
Organization: A noiseless patient Spider
Lines: 33
Message-ID: <uu95hl$114hv$4@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>
<uu8oam$u8sh$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 13:53:57 +0100 (CET)
Injection-Info: dont-email.me; posting-host="95939dfdeb30f2e43b3a787156a44dad";
logging-data="1086015"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/Vxmqr2iIHXBgzAOWK/idU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:CDgNdJbIz2QdS7HqnlR3uAxCCgo=
In-Reply-To: <uu8oam$u8sh$1@dont-email.me>
Content-Language: en-US
 by: olcott - Sat, 30 Mar 2024 13:53 UTC

On 3/30/2024 5:08 AM, Andy Walker wrote:
> On 30/03/2024 01:11, olcott wrote:
>> 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.
>
>     Zeno knew better than that some 2400 years ago.  He knew that
> Achilles caught the tortoise, even though it was an infinite number of
> steps;  it depends on how fast you complete/encounter the elements of
> the sequence.  If you travel along the real number line at 1 unit/hour,
> starting at 0 at noon, then you reach 0.9 at 12:54, 0.99 at 12:59:24,
> 0.999 at 12:59:56.4, 0.9999 at 12:59:59.64, 0.99999 at 12:59:59.964,
> 0.999999 at ..., and this "never ending sequence" is completed by 13:00.
> Luckily, none of this matters, as "0.999..." viewed as a real number is
> not defined as a "never ending sequence", but as the limit of a sequence
> whose terms are defined.
>

https://en.wikipedia.org/wiki/Zeno%27s_paradoxes#Paradoxes
Zeno essentially "proved" that no one can cross a ten foot wide room
in finite time. He was nuts.

>     If you switch from the reals to the surreals or hyperreals, then
> you may prefer the way "0.999..." is treated, but you have simply moved
> the "never-ending" problem to somewhere else, and the solution is the
> same -- you need to sub-divide time appropriately to complete many steps
> in a short time.  Time is inexorable in the Real World, but messwithable
> in theoretical physics and in mathematics.
>

--
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--

<uu95mr$114hv$5@dont-email.me>

  copy mid

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

  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: Sat, 30 Mar 2024 08:56:43 -0500
Organization: A noiseless patient Spider
Lines: 55
Message-ID: <uu95mr$114hv$5@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 13:56:44 +0100 (CET)
Injection-Info: dont-email.me; posting-host="95939dfdeb30f2e43b3a787156a44dad";
logging-data="1086015"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1998hTggjSgfTkBLuddK0ek"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:UJzXMKW0S/UC/Tj0ThFvtPr9GEk=
Content-Language: en-US
In-Reply-To: <uu8vf8$vsq2$1@dont-email.me>
 by: olcott - Sat, 30 Mar 2024 13:56 UTC

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.

> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 = 99/100,
> x3 = 999/100, etc. The three dots indicates the limit n→∞. The = symbol
> in the context of a limit means in this case:
> For each rational ε > 0 (no matter how small) we can find a number N {in
> this case 10log(1/ε)}, such that for all n > N the absolute value of the
> difference between xn and 1.0 is less than ε.
> It is not more and not less. Note that it does not speak of what happens
> at the end of the sequence, or about completing the sequence.
> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
> system), then he has to specify a rational ε for which no such N can be
> found. If he cannot do that, then he is not speaking about real numbers.
>

--
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--

<uu95t3$3gijc$3@i2pn2.org>

  copy mid

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

  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: Sat, 30 Mar 2024 10:00:02 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uu95t3$3gijc$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>
<uu8mgn$tsa5$2@dont-email.me> <uu959e$114hv$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 14:00:03 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3689068"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uu959e$114hv$3@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
 by: Richard Damon - Sat, 30 Mar 2024 14:00 UTC

On 3/30/24 9:49 AM, olcott wrote:
> On 3/30/2024 4:37 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.
>>>
>> If olcott had read the article I referenced,
>>> https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>>
>> He would have seen a proof for 0.999... = 1.
>
> Right and another article says that all cats are really a kind of dog.
>

So, you can't tell the difference between someone talking truth and
someone lying.

Seems normal for you.

> 0.999... means never reaches 1.0.

Nope, not in the Real Number system.

> Anyone saying differently is not telling the truth.

Nope. You are just proving that you don't understand what you are
talking about and thus are not telling the truth.

>
>> This article also explains what it means. With a proper interpretation
>> of these words, there is no contradiction. He may not like it, but it
>> has been proven. So, either he continues to talk about his unspecified
>> olcott numbers, or he does not understand the proof for real numbers,
>> or he changes the meaning of the words. Of course, if there are
>> details in the proof he does not understand, he is free to ask for an
>> explanation.
>

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

<uu95v6$3gijc$4@i2pn2.org>

  copy mid

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

  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: Sat, 30 Mar 2024 10:01:10 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uu95v6$3gijc$4@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 14:01:10 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3689068"; 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: <uu95mr$114hv$5@dont-email.me>
Content-Language: en-US
 by: Richard Damon - Sat, 30 Mar 2024 14:01 UTC

On 3/30/24 9:56 AM, olcott wrote:
> 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.

Nope. Shows you don't really understand what limits are.

And are just a pathological liar as you insist that you falsehoods based
on the wrong definitions are the truth.

>
>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞. The
>> = symbol in the context of a limit means in this case:
>> For each rational ε > 0 (no matter how small) we can find a number N
>> {in this case 10log(1/ε)}, such that for all n > N the absolute value
>> of the difference between xn and 1.0 is less than ε.
>> It is not more and not less. Note that it does not speak of what
>> happens at the end of the sequence, or about completing the sequence.
>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>> system), then he has to specify a rational ε for which no such N can
>> be found. If he cannot do that, then he is not speaking about real
>> numbers.
>>
>

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

<uu963i$3gijc$5@i2pn2.org>

  copy mid

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

  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: Sat, 30 Mar 2024 10:03:30 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uu963i$3gijc$5@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>
<uu8oam$u8sh$1@dont-email.me> <uu95hl$114hv$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 14:03:31 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3689068"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uu95hl$114hv$4@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
 by: Richard Damon - Sat, 30 Mar 2024 14:03 UTC

On 3/30/24 9:53 AM, olcott wrote:
> On 3/30/2024 5:08 AM, Andy Walker wrote:
>> On 30/03/2024 01:11, olcott wrote:
>>> 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.
>>
>>      Zeno knew better than that some 2400 years ago.  He knew that
>> Achilles caught the tortoise, even though it was an infinite number of
>> steps;  it depends on how fast you complete/encounter the elements of
>> the sequence.  If you travel along the real number line at 1 unit/hour,
>> starting at 0 at noon, then you reach 0.9 at 12:54, 0.99 at 12:59:24,
>> 0.999 at 12:59:56.4, 0.9999 at 12:59:59.64, 0.99999 at 12:59:59.964,
>> 0.999999 at ..., and this "never ending sequence" is completed by 13:00.
>> Luckily, none of this matters, as "0.999..." viewed as a real number is
>> not defined as a "never ending sequence", but as the limit of a sequence
>> whose terms are defined.
>>
>
> https://en.wikipedia.org/wiki/Zeno%27s_paradoxes#Paradoxes
> Zeno essentially "proved" that no one can cross a ten foot wide room
> in finite time. He was nuts.

Nope, he was pointing out that one notion of how mathematics could be
defined couldn't handle such an infinite sequence.

In one sense, not Unlike Russel's showing his set of all sets that don't
contain himself.

>
>>      If you switch from the reals to the surreals or hyperreals, then
>> you may prefer the way "0.999..." is treated, but you have simply moved
>> the "never-ending" problem to somewhere else, and the solution is the
>> same -- you need to sub-divide time appropriately to complete many steps
>> in a short time.  Time is inexorable in the Real World, but messwithable
>> in theoretical physics and in mathematics.
>>
>

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

<9efc5fdfd7b1c575fcfc436c0ad7294de78e0e0c.camel@gmail.com>

  copy mid

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

  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: Sat, 30 Mar 2024 22:57:36 +0800
Organization: A noiseless patient Spider
Lines: 97
Message-ID: <9efc5fdfd7b1c575fcfc436c0ad7294de78e0e0c.camel@gmail.com>
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>
<uu95v6$3gijc$4@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Sat, 30 Mar 2024 14:57:38 +0100 (CET)
Injection-Info: dont-email.me; posting-host="a4ef379bcf95153e199a4b03db7698ee";
logging-data="1113860"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/fYoOz1nWSSXIlr83quHhP"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:oEHwdylL948QvEIZsAsLDuGL/UU=
In-Reply-To: <uu95v6$3gijc$4@i2pn2.org>
 by: wij - Sat, 30 Mar 2024 14:57 UTC

On Sat, 2024-03-30 at 10:01 -0400, Richard Damon wrote:
> On 3/30/24 9:56 AM, olcott wrote:
> > 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.
>
> Nope. Shows you don't really understand what limits are.
>
> And are just a pathological liar as you insist that you falsehoods based
> on the wrong definitions are the truth.
>

You are nut who always think he is talking B while reading A. (x!=c)
https://www.geneseo.edu/~aguilar/public/notes/Real-Analysis-HTML/ch4-limits..html

Limit is defined on existing numbers, it cannot define the the number it is using.
Things is very simple: "repeating decimal" means the pattern is infinite.
(you are worse than olcott in this)
If it does not exit, your math (repeating decimal is ...) is garbage talking
about something does not exist and use it as proof of fact.

> >
> > > 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
> > > 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞. The
> > > = symbol in the context of a limit means in this case:
> > > For each rational ε > 0 (no matter how small) we can find a number N
> > > {in this case 10log(1/ε)}, such that for all n > N the absolute value
> > > of the difference between xn and 1.0 is less than ε.
> > > It is not more and not less. Note that it does not speak of what
> > > happens at the end of the sequence, or about completing the sequence.
> > > If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
> > > system), then he has to specify a rational ε for which no such N can
> > > be found. If he cannot do that, then he is not speaking about real
> > > numbers.
> > >
> >
>

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

<uu9bf1$3gijc$6@i2pn2.org>

  copy mid

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

  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: Sat, 30 Mar 2024 11:34:56 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uu9bf1$3gijc$6@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>
<uu95v6$3gijc$4@i2pn2.org>
<9efc5fdfd7b1c575fcfc436c0ad7294de78e0e0c.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 15:34:59 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3689068"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <9efc5fdfd7b1c575fcfc436c0ad7294de78e0e0c.camel@gmail.com>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
 by: Richard Damon - Sat, 30 Mar 2024 15:34 UTC

On 3/30/24 10:57 AM, wij wrote:
> On Sat, 2024-03-30 at 10:01 -0400, Richard Damon wrote:
>> On 3/30/24 9:56 AM, olcott wrote:
>>> 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.
>>
>> Nope. Shows you don't really understand what limits are.
>>
>> And are just a pathological liar as you insist that you falsehoods based
>> on the wrong definitions are the truth.
>>
>
> You are nut who always think he is talking B while reading A. (x!=c)
> https://www.geneseo.edu/~aguilar/public/notes/Real-Analysis-HTML/ch4-limits.html
>
>
> Limit is defined on existing numbers, it cannot define the the number it is using.
> Things is very simple: "repeating decimal" means the pattern is infinite.
> (you are worse than olcott in this)
> If it does not exit, your math (repeating decimal is ...) is garbage talking
> about something does not exist and use it as proof of fact.

What number does the representation 0.abc represent?

it is BY DEFINITION 0 + a * 10^-1 + b * 10^-2 + c * 10^-3

what number does the representation 0.aaa... represent:

The value of lim(n-> inf) Sum(9 * 10^-i) [for i = 1 to n]

If a = 9, what number is that 0.999.... but also the number 1.0 since
they are the same.

For ANY e > 0, there exists an N that for all values of function/series
witn n >= N the difference between the function and 1 is less then e.

BY THE DEFINITION OF LIMIT, that means that 0.999... IS EQUAL TO 1.000

For Reals

Remember n-ary representations are NOT numbers, but representations of
the number.

the value of repeating n-ary representations are defined by limits

Limits are NOT on "a number" but on a function or series (which is a
sort of function of the number of terms being used).

>
>>>
>>>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>>>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞. The
>>>> = symbol in the context of a limit means in this case:
>>>> For each rational ε > 0 (no matter how small) we can find a number N
>>>> {in this case 10log(1/ε)}, such that for all n > N the absolute value
>>>> of the difference between xn and 1.0 is less than ε.
>>>> It is not more and not less. Note that it does not speak of what
>>>> happens at the end of the sequence, or about completing the sequence.
>>>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>>>> system), then he has to specify a rational ε for which no such N can
>>>> be found. If he cannot do that, then he is not speaking about real
>>>> numbers.
>>>>
>>>
>>
>
>

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

<ee7ed11a313013d1520d400c6e1709c715e38c40.camel@gmail.com>

  copy mid

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

  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: Sun, 31 Mar 2024 00:00:52 +0800
Organization: A noiseless patient Spider
Lines: 154
Message-ID: <ee7ed11a313013d1520d400c6e1709c715e38c40.camel@gmail.com>
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>
<uu95v6$3gijc$4@i2pn2.org>
<9efc5fdfd7b1c575fcfc436c0ad7294de78e0e0c.camel@gmail.com>
<uu9bf1$3gijc$6@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Sat, 30 Mar 2024 16:00:55 +0100 (CET)
Injection-Info: dont-email.me; posting-host="a4ef379bcf95153e199a4b03db7698ee";
logging-data="1141658"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/rENTeNWjPS20AC7LlPOHI"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:NqzZ+CwwQSVYg8X6U/8pV7vGfCE=
In-Reply-To: <uu9bf1$3gijc$6@i2pn2.org>
 by: wij - Sat, 30 Mar 2024 16:00 UTC

On Sat, 2024-03-30 at 11:34 -0400, Richard Damon wrote:
> On 3/30/24 10:57 AM, wij wrote:
> > On Sat, 2024-03-30 at 10:01 -0400, Richard Damon wrote:
> > > On 3/30/24 9:56 AM, olcott wrote:
> > > > 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.
> > >
> > > Nope. Shows you don't really understand what limits are.
> > >
> > > And are just a pathological liar as you insist that you falsehoods based
> > > on the wrong definitions are the truth.
> > >
> >
> > You are nut who always think he is talking B while reading A. (x!=c)
> > https://www.geneseo.edu/~aguilar/public/notes/Real-Analysis-HTML/ch4-limits.html
> >
> >
> > Limit is defined on existing numbers, it cannot define the the number it is using.
> > Things is very simple: "repeating decimal" means the pattern is infinite.
> > (you are worse than olcott in this)
> > If it does not exit, your math (repeating decimal is ...) is garbage talking
> > about something does not exist and use it as proof of fact.
>
>
> What number does the representation 0.abc represent?
>
> it is BY DEFINITION 0 + a * 10^-1 + b * 10^-2 + c * 10^-3
>
> what number does the representation 0.aaa... represent:
>
> The value of lim(n-> inf) Sum(9 * 10^-i) [for i = 1 to n]
>
> If a = 9, what number is that 0.999.... but also the number 1.0 since
> they are the same.
>

I should have provided all that can explain your doubt, but you still
keep insisting 0.999...=1 with no proof, like POOP.

> For ANY e > 0, there exists an N that for all values of function/series
> witn n >= N the difference between the function and 1 is less then e.
>
> BY THE DEFINITION OF LIMIT, that means that 0.999... IS EQUAL TO 1.000
>
See the link above. limit says the limit of 0.999... is 1, not 0.999... is 1.
You keep talking RD's POOP.

> For Reals
>
For your POO Real (not even the obsolete real)

> Remember n-ary representations are NOT numbers, but representations of
> the number.
>
> the value of repeating n-ary representations are defined by limits
>
I already said, limit is defined on existing number system, it cannot define
numbers it talks about.

> Limits are NOT on "a number" but on a function or series (which is a
> sort of function of the number of terms being used).
>
Ok, now you changed to another excuse. So, you are not really talking
about numbers, right.

> >
> > > >
> > > > > 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 > > > > > 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞. The
> > > > > = symbol in the context of a limit means in this case:
> > > > > For each rational ε > 0 (no matter how small) we can find a number N
> > > > > {in this case 10log(1/ε)}, such that for all n > N the absolute value
> > > > > of the difference between xn and 1.0 is less than ε.
> > > > > It is not more and not less. Note that it does not speak of what
> > > > > happens at the end of the sequence, or about completing the sequence.
> > > > > If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
> > > > > system), then he has to specify a rational ε for which no such N can
> > > > > be found. If he cannot do that, then he is not speaking about real
> > > > > numbers.
> > > > >
> > > >
> > >
> >
> >
>

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

<C9CcnRqDNuJr35X7nZ2dnZfqn_GdnZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!69.80.99.22.MISMATCH!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 30 Mar 2024 16:51:02 +0000
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal--
Newsgroups: comp.theory
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> <87o7awqzo5.fsf@nosuchdomain.example.com> <iw6dnRjsJYzLBJr7nZ2dnZfqn_SdnZ2d@giganews.com>
From: ross.a.finlayson@gmail.com (Ross Finlayson)
Date: Sat, 30 Mar 2024 09:51:05 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <iw6dnRjsJYzLBJr7nZ2dnZfqn_SdnZ2d@giganews.com>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <C9CcnRqDNuJr35X7nZ2dnZfqn_GdnZ2d@giganews.com>
Lines: 64
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-afz/8iQlvckWMfoGfWrIwozMdWl69FiFRFmP/xRw95UZ9emetNZaXgCuljMxtlq7FBhCu+yRsIOvD6n!rKFljQkAxH4St9tMCTuIH+WldEkcZrFaN6kBRdRtzaESofRMxBsUz9W4Uj9SOVEK+eUuHUItsHQW
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
 by: Ross Finlayson - Sat, 30 Mar 2024 16:51 UTC

On 03/29/2024 09:47 PM, Ross Finlayson wrote:
> On 03/29/2024 06:24 PM, Keith Thompson wrote:
>> Keith Thompson <Keith.S.Thompson+u@gmail.com> writes:
>> [...]
>>> 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 accidentally omitted a word. What I meant to write was :
>>
>> You either don't understand, or are pretending not to understand, what
>> the limit of a sequence is. I'm not offering to explain it to you.
>>
>> (The original was probably clear enough.)
>>
>
> How about the limit of a function?
>
> (Specifically the function of the ratio n/d of
> natural integers, only as d -> oo .)
>
>

What you do is introduce numbers and trichotomy,
then a number line starting just one way,
demonstrate addition and multiplication,
and that addition can go on forever and
multiplication can go on forever, then
show additive partitions and multiplicative factors,
that subtraction works back down to zero and
that divsion works back down to one,
with even sums and even quotients and
thusly the whole modularity of the thing,
at some point there's the number line both ways,
then all students know arithmetic is closed,
then that equalities and inequalities are transitive,
and they know that each number has partitions and factors,
so really then there's the modular,
then get into powers then roots,
geometry by now being a usual thing,
and algebra of course following the rules
because they know everything there is to know about the numbers,
including that a continuous process from A to B goes through all points
A to B and in order,
then when reaching rules about the continuous and infinitely-divisible,
providing delta-epsilonics and the infinite limit,
then they know both that continuity has no jumps,
and, that the infinite limit makes a rule to start calculus.

Then also by then they should know significant digits
and scientific numbers and approximations and rounding.

Counting is sort of on the side of that, but it's very useful,
relating numbers to things in the world, and of course is
already part of the sense of orders and individuals of things.

Then anyways, the continuum limit, of functions,
works out also very useful, and uses the same sort of rules,
so that all the rules are one big rule,
and everybody knows everything about all of it.

I understand this very well, it makes perfect sense.

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

<uu9hr4$3gijc$7@i2pn2.org>

  copy mid

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

  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: Sat, 30 Mar 2024 13:23:47 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uu9hr4$3gijc$7@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>
<uu95v6$3gijc$4@i2pn2.org>
<9efc5fdfd7b1c575fcfc436c0ad7294de78e0e0c.camel@gmail.com>
<uu9bf1$3gijc$6@i2pn2.org>
<ee7ed11a313013d1520d400c6e1709c715e38c40.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 17:23:48 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3689068"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <ee7ed11a313013d1520d400c6e1709c715e38c40.camel@gmail.com>
X-Spam-Checker-Version: SpamAssassin 4.0.0
 by: Richard Damon - Sat, 30 Mar 2024 17:23 UTC

On 3/30/24 12:00 PM, wij wrote:
> On Sat, 2024-03-30 at 11:34 -0400, Richard Damon wrote:
>> On 3/30/24 10:57 AM, wij wrote:
>>> On Sat, 2024-03-30 at 10:01 -0400, Richard Damon wrote:
>>>> On 3/30/24 9:56 AM, olcott wrote:
>>>>> 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.
>>>>
>>>> Nope. Shows you don't really understand what limits are.
>>>>
>>>> And are just a pathological liar as you insist that you falsehoods based
>>>> on the wrong definitions are the truth.
>>>>
>>>
>>> You are nut who always think he is talking B while reading A. (x!=c)
>>> https://www.geneseo.edu/~aguilar/public/notes/Real-Analysis-HTML/ch4-limits.html
>>>
>>>
>>> Limit is defined on existing numbers, it cannot define the the number it is using.
>>> Things is very simple: "repeating decimal" means the pattern is infinite.
>>> (you are worse than olcott in this)
>>> If it does not exit, your math (repeating decimal is ...) is garbage talking
>>> about something does not exist and use it as proof of fact.
>>
>>
>> What number does the representation 0.abc represent?
>>
>> it is BY DEFINITION 0 + a * 10^-1 + b * 10^-2 + c * 10^-3
>>
>> what number does the representation 0.aaa... represent:
>>
>> The value of lim(n-> inf) Sum(9 * 10^-i) [for i = 1 to n]
>>
>> If a = 9, what number is that 0.999.... but also the number 1.0 since
>> they are the same.
>>
>
> I should have provided all that can explain your doubt, but you still
> keep insisting 0.999...=1 with no proof, like POOP.

But I did, see below

Since there is no finite e that doesn't have an N, the limit of the
function, which is the MEANING of the representation 0.999... is 1

>
>> For ANY e > 0, there exists an N that for all values of function/series
>> witn n >= N the difference between the function and 1 is less then e.
>>
>> BY THE DEFINITION OF LIMIT, that means that 0.999... IS EQUAL TO 1.000
>>
> See the link above. limit says the limit of 0.999... is 1, not 0.999... is 1.
> You keep talking RD's POOP.

Where?

It defines what a limit is. Is says NOTHING about what "0.999..." is.

That comes out of the DEFINITION of the REPRESENTATION of repeating
decimal literals.

>
>> For Reals
>>
> For your POO Real (not even the obsolete real)

Nope, I am quoting from the classical (which you want to call obsolete,
but can't show how it is obsolete) theory.

>
>> Remember n-ary representations are NOT numbers, but representations of
>> the number.
>>
>> the value of repeating n-ary representations are defined by limits
>>
> I already said, limit is defined on existing number system, it cannot define
> numbers it talks about.

But 0.999... ISN'T a "NUMBER" but the REPRESENTATION of a Number, and
for numbers in the Real Number System, the number it represents is 1

>
>> Limits are NOT on "a number" but on a function or series (which is a
>> sort of function of the number of terms being used).
>>
> Ok, now you changed to another excuse. So, you are not really talking
> about numbers, right.

Since there is no such thing as the limit of a "Number", YOUR
explanation is just illogical

>
>>>
>>>>>
>>>>>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>>>>>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞. The
>>>>>> = symbol in the context of a limit means in this case:
>>>>>> For each rational ε > 0 (no matter how small) we can find a number N
>>>>>> {in this case 10log(1/ε)}, such that for all n > N the absolute value
>>>>>> of the difference between xn and 1.0 is less than ε.
>>>>>> It is not more and not less. Note that it does not speak of what
>>>>>> happens at the end of the sequence, or about completing the sequence.
>>>>>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>>>>>> system), then he has to specify a rational ε for which no such N can
>>>>>> be found. If he cannot do that, then he is not speaking about real
>>>>>> numbers.
>>>>>>
>>>>>
>>>>
>>>
>>>
>>
>
>

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

<uu9imp$149kg$1@dont-email.me>

  copy mid

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

  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: Sat, 30 Mar 2024 18:38:32 +0100
Organization: A noiseless patient Spider
Lines: 63
Message-ID: <uu9imp$149kg$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 17:38:33 +0100 (CET)
Injection-Info: dont-email.me; posting-host="fc2d1a2bb824612199f925b09c3c0592";
logging-data="1189520"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+S11FWKCCskjDpDcxSwEH4"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:8tCfurULMYiKY+3B414w2eeIhr0=
Content-Language: en-GB
In-Reply-To: <uu95mr$114hv$5@dont-email.me>
 by: Fred. Zwarts - Sat, 30 Mar 2024 17:38 UTC

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.

So, olcott did not understand the explanation (below) and continues to
claim that limits talk about reaching the end of the sequence. Since for
real numbers this is not true, he must be talking about is unspecified
olcott numbers.

>
>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞. The
>> = symbol in the context of a limit means in this case:
>> For each rational ε > 0 (no matter how small) we can find a number N
>> {in this case 10log(1/ε)}, such that for all n > N the absolute value
>> of the difference between xn and 1.0 is less than ε.
>> It is not more and not less. Note that it does not speak of what
>> happens at the end of the sequence, or about completing the sequence.
>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>> system), then he has to specify a rational ε for which no such N can
>> be found. If he cannot do that, then he is not speaking about real
>> numbers.
>>
>

I see olcott did not attempt to specify a rational ε, so, he had no
rebuttal against the claim that 0.999... = 1 using the correct meaning
of the words and symbols for reals.

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

<uu9q43$16c9d$2@dont-email.me>

  copy mid

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

  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: Sat, 30 Mar 2024 20:45:06 +0100
Organization: A noiseless patient Spider
Lines: 65
Message-ID: <uu9q43$16c9d$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 19:45:08 +0100 (CET)
Injection-Info: dont-email.me; posting-host="fc2d1a2bb824612199f925b09c3c0592";
logging-data="1257773"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18TmQ1DsdOxw4A4EoaBm5nN"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:RNzrgY8FL4RzAkQ5enTI9vDiDzc=
In-Reply-To: <uu95mr$114hv$5@dont-email.me>
Content-Language: en-GB
 by: Fred. Zwarts - Sat, 30 Mar 2024 19:45 UTC

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
only tell us that we don't need to go further than needed and that this
is reachable for any given rational ε > 0. It is interesting that this
is sufficient to construct reals.

>
>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞. The
>> = symbol in the context of a limit means in this case:
>> For each rational ε > 0 (no matter how small) we can find a number N
>> {in this case 10log(1/ε)}, such that for all n > N the absolute value
>> of the difference between xn and 1.0 is less than ε.
>> It is not more and not less. Note that it does not speak of what
>> happens at the end of the sequence, or about completing the sequence.
>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>> system), then he has to specify a rational ε for which no such N can
>> be found. If he cannot do that, then he is not speaking about real
>> numbers.
>>

Good to see that there is no objection against this proof.

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

<85c3912545b9e0dc898ab20b4b862645aff0b7f4.camel@gmail.com>

  copy mid

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

  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: Sun, 31 Mar 2024 03:52:09 +0800
Organization: A noiseless patient Spider
Lines: 210
Message-ID: <85c3912545b9e0dc898ab20b4b862645aff0b7f4.camel@gmail.com>
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>
<uu95v6$3gijc$4@i2pn2.org>
<9efc5fdfd7b1c575fcfc436c0ad7294de78e0e0c.camel@gmail.com>
<uu9bf1$3gijc$6@i2pn2.org>
<ee7ed11a313013d1520d400c6e1709c715e38c40.camel@gmail.com>
<uu9hr4$3gijc$7@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Sat, 30 Mar 2024 19:52:11 +0100 (CET)
Injection-Info: dont-email.me; posting-host="a4ef379bcf95153e199a4b03db7698ee";
logging-data="1208358"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19W2Bx7uuB8ZDNmNKOfi6Ga"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:WOPoHSTkZBXxYZ3hBgGafD4vHb8=
In-Reply-To: <uu9hr4$3gijc$7@i2pn2.org>
 by: wij - Sat, 30 Mar 2024 19:52 UTC

On Sat, 2024-03-30 at 13:23 -0400, Richard Damon wrote:
> On 3/30/24 12:00 PM, wij wrote:
> > On Sat, 2024-03-30 at 11:34 -0400, Richard Damon wrote:
> > > On 3/30/24 10:57 AM, wij wrote:
> > > > On Sat, 2024-03-30 at 10:01 -0400, Richard Damon wrote:
> > > > > On 3/30/24 9:56 AM, olcott wrote:
> > > > > > 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.
> > > > >
> > > > > Nope. Shows you don't really understand what limits are.
> > > > >
> > > > > And are just a pathological liar as you insist that you falsehoods based
> > > > > on the wrong definitions are the truth.
> > > > >
> > > >
> > > > You are nut who always think he is talking B while reading A. (x!=c)
> > > > https://www.geneseo.edu/~aguilar/public/notes/Real-Analysis-HTML/ch4-limits.html
> > > >
> > > >
> > > > Limit is defined on existing numbers, it cannot define the the number it is using.
> > > > Things is very simple: "repeating decimal" means the pattern is infinite.
> > > > (you are worse than olcott in this)
> > > > If it does not exit, your math (repeating decimal is ...) is garbage talking
> > > > about something does not exist and use it as proof of fact.
> > >
> > >
> > > What number does the representation 0.abc represent?
> > >
> > > it is BY DEFINITION 0 + a * 10^-1 + b * 10^-2 + c * 10^-3
> > >
> > > what number does the representation 0.aaa... represent:
> > >
> > > The value of lim(n-> inf) Sum(9 * 10^-i) [for i = 1 to n]
> > >
> > > If a = 9, what number is that 0.999.... but also the number 1.0 since
> > > they are the same.
> > >
> >
> > I should have provided all that can explain your doubt, but you still
> > keep insisting 0.999...=1 with no proof, like POOP.
>
> But I did, see below
>
> Since there is no finite e that doesn't have an N, the limit of the
> function, which is the MEANING of the representation 0.999... is 1
>

I guess you were talking about delta-epsilon method. But, firstly, we are
not talking about the number system here.

In lim(x->c) f(x), x is the number you choose. The numbers in the sequence
chosen are those expressible. But you would agree there exits numbers not
expressible. And, you seemed to choose "finite e".

> >
> > > For ANY e > 0, there exists an N that for all values of function/series
> > > witn n >= N the difference between the function and 1 is less then e.
> > >
> > > BY THE DEFINITION OF LIMIT, that means that 0.999... IS EQUAL TO 1.000
> > >
> > See the link above. limit says the limit of 0.999... is 1, not 0.999... is 1.
> > You keep talking RD's POOP.
>
> Where?
>
4.1 Limits of Functions
https://www.geneseo.edu/~aguilar/public/notes/Real-Analysis-HTML/ch4-limits..html
> It defines what a limit is. Is says NOTHING about what "0.999..." is.
>
> That comes out of the DEFINITION of the REPRESENTATION of repeating
> decimal literals.
>
> >
> > > For Reals
> > >
> > For your POO Real (not even the obsolete real)
>
> Nope, I am quoting from the classical (which you want to call obsolete,
> but can't show how it is obsolete) theory.
>
> >
> > > Remember n-ary representations are NOT numbers, but representations of
> > > the number.
> > >
> > > the value of repeating n-ary representations are defined by limits
> > >
> > I already said, limit is defined on existing number system, it cannot define
> > numbers it talks about.
>
> But 0.999... ISN'T a "NUMBER" but the REPRESENTATION of a Number, and
> for numbers in the Real Number System, the number it represents is 1
>

If RD's limt of a "number" is not a number, RD's limit should say so explicitly,
E.g. lim(x->1) x // x is 0.999.. but not infinitely long because it is not a
number. You contradict yourself.

> >
> > > Limits are NOT on "a number" but on a function or series (which is a
> > > sort of function of the number of terms being used).
> > >
> > Ok, now you changed to another excuse. So, you are not really talking
> > about numbers, right.
>
> Since there is no such thing as the limit of a "Number", YOUR
> explanation is just illogical
>
> >
> > > >
> > > > > >
> > > > > > > 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 > > > > > > > 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞. The
> > > > > > > = symbol in the context of a limit means in this case:
> > > > > > > For each rational ε > 0 (no matter how small) we can find a number N
> > > > > > > {in this case 10log(1/ε)}, such that for all n > N the absolute value
> > > > > > > of the difference between xn and 1.0 is less than ε.
> > > > > > > It is not more and not less. Note that it does not speak of what
> > > > > > > happens at the end of the sequence, or about completing the sequence.
> > > > > > > If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
> > > > > > > system), then he has to specify a rational ε for which no such N can
> > > > > > > be found. If he cannot do that, then he is not speaking about real
> > > > > > > numbers.
> > > > > > >
> > > > > >
> > > > >
> > > >
> > > >
> > >
> >
> >
>


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

<uu9qqn$16gt9$1@dont-email.me>

  copy mid

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

  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: Sat, 30 Mar 2024 14:57:11 -0500
Organization: A noiseless patient Spider
Lines: 76
Message-ID: <uu9qqn$16gt9$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 19:57:12 +0100 (CET)
Injection-Info: dont-email.me; posting-host="95939dfdeb30f2e43b3a787156a44dad";
logging-data="1262505"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/GffccnE76nyA8Z4v7Gt1I"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:5Go8gnkmqJsmrpULATFUeH4pfqI=
Content-Language: en-US
In-Reply-To: <uu9q43$16c9d$2@dont-email.me>
 by: olcott - Sat, 30 Mar 2024 19:57 UTC

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

> only tell us that we don't need to go further than needed and that this
> is reachable for any given rational ε > 0. It is interesting that this
> is sufficient to construct reals.
>
>>
>>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞.
>>> The = symbol in the context of a limit means in this case:
>>> For each rational ε > 0 (no matter how small) we can find a number N
>>> {in this case 10log(1/ε)}, such that for all n > N the absolute value
>>> of the difference between xn and 1.0 is less than ε.
>>> It is not more and not less. Note that it does not speak of what
>>> happens at the end of the sequence, or about completing the sequence.
>>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>>> system), then he has to specify a rational ε for which no such N can
>>> be found. If he cannot do that, then he is not speaking about real
>>> numbers.
>>>
>
> Good to see that there is no objection against this proof.
>

--
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--

<uu9s39$16gks$1@dont-email.me>

  copy mid

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

  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: Sat, 30 Mar 2024 21:18:48 +0100
Organization: A noiseless patient Spider
Lines: 91
Message-ID: <uu9s39$16gks$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 20:18:50 +0100 (CET)
Injection-Info: dont-email.me; posting-host="fc2d1a2bb824612199f925b09c3c0592";
logging-data="1262236"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/AGKdL6fiJ/lnclU+qxutD"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:QwyMB1NQEPzi6k8sAmpAdHtywtI=
In-Reply-To: <uu9qqn$16gt9$1@dont-email.me>
Content-Language: en-GB
 by: Fred. Zwarts - Sat, 30 Mar 2024 20:18 UTC

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. It does not say (nor deny) that 1.0 will be reached. That is
the meaning of the = symbol in the context of limits. It is olcott's
problem that he changes the meaning of the = symbol.

>
>> only tell us that we don't need to go further than needed and that
>> this is reachable for any given rational ε > 0. It is interesting that
>> this is sufficient to construct reals.
>>
>>>
>>>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>>>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞.
>>>> The = symbol in the context of a limit means in this case:
>>>> For each rational ε > 0 (no matter how small) we can find a number N
>>>> {in this case 10log(1/ε)}, such that for all n > N the absolute
>>>> value of the difference between xn and 1.0 is less than ε.
>>>> It is not more and not less. Note that it does not speak of what
>>>> happens at the end of the sequence, or about completing the sequence.
>>>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>>>> system), then he has to specify a rational ε for which no such N can
>>>> be found. If he cannot do that, then he is not speaking about real
>>>> numbers.
>>>>
>>
>> Good to see that there is no objection against this proof.
>>
>

--
Paradoxes in the relation between Creator and creature.
<http://www.wirholt.nl/English>.

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

<uu9sj2$16rdo$1@dont-email.me>

  copy mid

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

  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: Sat, 30 Mar 2024 15:27:14 -0500
Organization: A noiseless patient Spider
Lines: 97
Message-ID: <uu9sj2$16rdo$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 20:27:14 +0100 (CET)
Injection-Info: dont-email.me; posting-host="95939dfdeb30f2e43b3a787156a44dad";
logging-data="1273272"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX184XAZuKgWT0Brpu4nEshZv"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:fC1Xm5KNHTzcmU6z1vmP7M0aXO4=
Content-Language: en-US
In-Reply-To: <uu9s39$16gks$1@dont-email.me>
 by: olcott - Sat, 30 Mar 2024 20:27 UTC

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.

> It does not say (nor deny) that 1.0 will be reached. That is
> the meaning of the = symbol in the context of limits. It is olcott's
> problem that he changes the meaning of the = symbol.
>
>>
>>> only tell us that we don't need to go further than needed and that
>>> this is reachable for any given rational ε > 0. It is interesting
>>> that this is sufficient to construct reals.
>>>
>>>>
>>>>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>>>>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞.
>>>>> The = symbol in the context of a limit means in this case:
>>>>> For each rational ε > 0 (no matter how small) we can find a number
>>>>> N {in this case 10log(1/ε)}, such that for all n > N the absolute
>>>>> value of the difference between xn and 1.0 is less than ε.
>>>>> It is not more and not less. Note that it does not speak of what
>>>>> happens at the end of the sequence, or about completing the sequence.
>>>>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>>>>> system), then he has to specify a rational ε for which no such N
>>>>> can be found. If he cannot do that, then he is not speaking about
>>>>> real numbers.
>>>>>
>>>
>>> Good to see that there is no objection against this proof.
>>>
>>
>

--
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--

<uu9tnh$3gijb$1@i2pn2.org>

  copy mid

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

  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: Sat, 30 Mar 2024 16:46:41 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uu9tnh$3gijb$1@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>
<uu95v6$3gijc$4@i2pn2.org>
<9efc5fdfd7b1c575fcfc436c0ad7294de78e0e0c.camel@gmail.com>
<uu9bf1$3gijc$6@i2pn2.org>
<ee7ed11a313013d1520d400c6e1709c715e38c40.camel@gmail.com>
<uu9hr4$3gijc$7@i2pn2.org>
<85c3912545b9e0dc898ab20b4b862645aff0b7f4.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 20:46:41 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3689067"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <85c3912545b9e0dc898ab20b4b862645aff0b7f4.camel@gmail.com>
 by: Richard Damon - Sat, 30 Mar 2024 20:46 UTC

On 3/30/24 3:52 PM, wij wrote:
> On Sat, 2024-03-30 at 13:23 -0400, Richard Damon wrote:
>> On 3/30/24 12:00 PM, wij wrote:
>>> On Sat, 2024-03-30 at 11:34 -0400, Richard Damon wrote:
>>>> On 3/30/24 10:57 AM, wij wrote:
>>>>> On Sat, 2024-03-30 at 10:01 -0400, Richard Damon wrote:
>>>>>> On 3/30/24 9:56 AM, olcott wrote:
>>>>>>> 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.
>>>>>>
>>>>>> Nope. Shows you don't really understand what limits are.
>>>>>>
>>>>>> And are just a pathological liar as you insist that you falsehoods based
>>>>>> on the wrong definitions are the truth.
>>>>>>
>>>>>
>>>>> You are nut who always think he is talking B while reading A. (x!=c)
>>>>> https://www.geneseo.edu/~aguilar/public/notes/Real-Analysis-HTML/ch4-limits.html
>>>>>
>>>>>
>>>>> Limit is defined on existing numbers, it cannot define the the number it is using.
>>>>> Things is very simple: "repeating decimal" means the pattern is infinite.
>>>>> (you are worse than olcott in this)
>>>>> If it does not exit, your math (repeating decimal is ...) is garbage talking
>>>>> about something does not exist and use it as proof of fact.
>>>>
>>>>
>>>> What number does the representation 0.abc represent?
>>>>
>>>> it is BY DEFINITION 0 + a * 10^-1 + b * 10^-2 + c * 10^-3
>>>>
>>>> what number does the representation 0.aaa... represent:
>>>>
>>>> The value of lim(n-> inf) Sum(9 * 10^-i) [for i = 1 to n]
>>>>
>>>> If a = 9, what number is that 0.999.... but also the number 1.0 since
>>>> they are the same.
>>>>
>>>
>>> I should have provided all that can explain your doubt, but you still
>>> keep insisting 0.999...=1 with no proof, like POOP.
>>
>> But I did, see below
>>
>> Since there is no finite e that doesn't have an N, the limit of the
>> function, which is the MEANING of the representation 0.999... is 1
>>
>
> I guess you were talking about delta-epsilon method. But, firstly, we are
> not talking about the number system here.
>
> In lim(x->c) f(x), x is the number you choose. The numbers in the sequence
> chosen are those expressible. But you would agree there exits numbers not
> expressible. And, you seemed to choose "finite e".
>
>>>
>>>> For ANY e > 0, there exists an N that for all values of function/series
>>>> witn n >= N the difference between the function and 1 is less then e.
>>>>
>>>> BY THE DEFINITION OF LIMIT, that means that 0.999... IS EQUAL TO 1.000
>>>>
>>> See the link above. limit says the limit of 0.999... is 1, not 0.999... is 1.
>>> You keep talking RD's POOP.
>>
>> Where?
>>
> 4.1 Limits of Functions
> https://www.geneseo.edu/~aguilar/public/notes/Real-Analysis-HTML/ch4-limits.html
>> It defines what a limit is. Is says NOTHING about what "0.999..." is.
>>
>> That comes out of the DEFINITION of the REPRESENTATION of repeating
>> decimal literals.
>>
>>>
>>>> For Reals
>>>>
>>> For your POO Real (not even the obsolete real)
>>
>> Nope, I am quoting from the classical (which you want to call obsolete,
>> but can't show how it is obsolete) theory.
>>
>>>
>>>> Remember n-ary representations are NOT numbers, but representations of
>>>> the number.
>>>>
>>>> the value of repeating n-ary representations are defined by limits
>>>>
>>> I already said, limit is defined on existing number system, it cannot define
>>> numbers it talks about.
>>
>> But 0.999... ISN'T a "NUMBER" but the REPRESENTATION of a Number, and
>> for numbers in the Real Number System, the number it represents is 1
>>
>
> If RD's limt of a "number" is not a number, RD's limit should say so explicitly,
> E.g. lim(x->1) x // x is 0.999.. but not infinitely long because it is not a
> number. You contradict yourself.

But for looking at something like 0.9999...
The term in the limit was as n (the number of digits used) when to
infinity. Not as the "number" go to 1.

We can show that the error between the partial expression of the number
with only a finite number of digits can be made arbitrary close to 1 (by
a choice of a small enough e) be choosing a suitably large enough N.

So *ANY* finite error can be acheived with a finite number of digits, so
the LIMIT when we have the infinite number of digits, would be at zero
error.

It can't be any other number, as any other number would have a finite
difference between it and the limit, and thus making e smaller than that
size would not be satisified, so the only number the limit can be is
what we were testing with the e (epsilon).

0.999... is not "A Number", but just a representation of the number, and
all the ways to interpret that representation end up using limits (since
the pattern is infinite in length).

>
>>>
>>>> Limits are NOT on "a number" but on a function or series (which is a
>>>> sort of function of the number of terms being used).
>>>>
>>> Ok, now you changed to another excuse. So, you are not really talking
>>> about numbers, right.
>>
>> Since there is no such thing as the limit of a "Number", YOUR
>> explanation is just illogical
>>
>>>
>>>>>
>>>>>>>
>>>>>>>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>>>>>>>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞. The
>>>>>>>> = symbol in the context of a limit means in this case:
>>>>>>>> For each rational ε > 0 (no matter how small) we can find a number N
>>>>>>>> {in this case 10log(1/ε)}, such that for all n > N the absolute value
>>>>>>>> of the difference between xn and 1.0 is less than ε.
>>>>>>>> It is not more and not less. Note that it does not speak of what
>>>>>>>> happens at the end of the sequence, or about completing the sequence.
>>>>>>>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>>>>>>>> system), then he has to specify a rational ε for which no such N can
>>>>>>>> be found. If he cannot do that, then he is not speaking about real
>>>>>>>> numbers.
>>>>>>>>
>>>>>>>
>>>>>>
>>>>>
>>>>>
>>>>
>>>
>>>
>>
>
>


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

<uu9ukk$177al$1@dont-email.me>

  copy mid

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

  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: Sat, 30 Mar 2024 16:02:12 -0500
Organization: A noiseless patient Spider
Lines: 96
Message-ID: <uu9ukk$177al$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 21:02:13 +0100 (CET)
Injection-Info: dont-email.me; posting-host="95939dfdeb30f2e43b3a787156a44dad";
logging-data="1285461"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+L+d/x3J+wNMkojfSXuJPX"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:j36YbM+M83ZOx4xY6IlZX9UTGnI=
In-Reply-To: <uu9s39$16gks$1@dont-email.me>
Content-Language: en-US
 by: olcott - Sat, 30 Mar 2024 21:02 UTC

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... is the length of this line segment [0.0, 1.0)

> 0.999... = 1.0 means that with this sequence we can come as close to 1.0
> as needed. It does not say (nor deny) that 1.0 will be reached. That is
> the meaning of the = symbol in the context of limits. It is olcott's
> problem that he changes the meaning of the = symbol.
>
>>
>>> only tell us that we don't need to go further than needed and that
>>> this is reachable for any given rational ε > 0. It is interesting
>>> that this is sufficient to construct reals.
>>>
>>>>
>>>>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>>>>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞.
>>>>> The = symbol in the context of a limit means in this case:
>>>>> For each rational ε > 0 (no matter how small) we can find a number
>>>>> N {in this case 10log(1/ε)}, such that for all n > N the absolute
>>>>> value of the difference between xn and 1.0 is less than ε.
>>>>> It is not more and not less. Note that it does not speak of what
>>>>> happens at the end of the sequence, or about completing the sequence.
>>>>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>>>>> system), then he has to specify a rational ε for which no such N
>>>>> can be found. If he cannot do that, then he is not speaking about
>>>>> real numbers.
>>>>>
>>>
>>> Good to see that there is no objection against this proof.
>>>
>>
>

--
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--

<uu9vi9$3gijb$2@i2pn2.org>

  copy mid

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

  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: Sat, 30 Mar 2024 17:18:01 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <uu9vi9$3gijb$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> <uu9ukk$177al$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Mar 2024 21:18:02 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3689067"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <uu9ukk$177al$1@dont-email.me>
 by: Richard Damon - Sat, 30 Mar 2024 21:18 UTC

On 3/30/24 5:02 PM, olcott wrote:
> 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... is the length of this line segment [0.0, 1.0)

Which is of Length 1.000, with or without the end points, as points have
no length.

>
>> 0.999... = 1.0 means that with this sequence we can come as close to
>> 1.0 as needed. It does not say (nor deny) that 1.0 will be reached.
>> That is the meaning of the = symbol in the context of limits. It is
>> olcott's problem that he changes the meaning of the = symbol.
>>
>>>
>>>> only tell us that we don't need to go further than needed and that
>>>> this is reachable for any given rational ε > 0. It is interesting
>>>> that this is sufficient to construct reals.
>>>>
>>>>>
>>>>>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>>>>>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞.
>>>>>> The = symbol in the context of a limit means in this case:
>>>>>> For each rational ε > 0 (no matter how small) we can find a number
>>>>>> N {in this case 10log(1/ε)}, such that for all n > N the absolute
>>>>>> value of the difference between xn and 1.0 is less than ε.
>>>>>> It is not more and not less. Note that it does not speak of what
>>>>>> happens at the end of the sequence, or about completing the sequence.
>>>>>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>>>>>> system), then he has to specify a rational ε for which no such N
>>>>>> can be found. If he cannot do that, then he is not speaking about
>>>>>> real numbers.
>>>>>>
>>>>
>>>> Good to see that there is no objection against this proof.
>>>>
>>>
>>
>

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

<VAKdnbWVOtXJb5X7nZ2dnZfqnPednZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!newsfeed.endofthelinebbs.com!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 31 Mar 2024 05:19:16 +0000
Subject: Re:_Definition_of_real_number_ℝ_--infinitesimal--
Newsgroups: comp.theory
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>
<uu9imp$149kg$1@dont-email.me>
From: ross.a.finlayson@gmail.com (Ross Finlayson)
Date: Sat, 30 Mar 2024 22:19:15 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <uu9imp$149kg$1@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <VAKdnbWVOtXJb5X7nZ2dnZfqnPednZ2d@giganews.com>
Lines: 86
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-G9Fx8BMDrY3DDWk0ziLmCaZpzq4rPyYuykM0Rrv7sd53BBkjJAgHSiu5xiKGclsJobLek27Ow4u76VW!4ZT8IQ1y3F7GtVOkqOXvXW9+/JOGIqNFjcgUOL0hmYiA+KCxpNM3bVqwUn4LO8sexhPgSZKPG7+Q
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Received-Bytes: 5582
 by: Ross Finlayson - Sun, 31 Mar 2024 05:19 UTC

On 03/30/2024 10:38 AM, 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.
>
> So, olcott did not understand the explanation (below) and continues to
> claim that limits talk about reaching the end of the sequence. Since for
> real numbers this is not true, he must be talking about is unspecified
> olcott numbers.
>
>>
>>> 0.999... indicates the Cauchy sequence xn, where x1 = 9/10, x2 =
>>> 99/100, x3 = 999/100, etc. The three dots indicates the limit n→∞.
>>> The = symbol in the context of a limit means in this case:
>>> For each rational ε > 0 (no matter how small) we can find a number N
>>> {in this case 10log(1/ε)}, such that for all n > N the absolute value
>>> of the difference between xn and 1.0 is less than ε.
>>> It is not more and not less. Note that it does not speak of what
>>> happens at the end of the sequence, or about completing the sequence.
>>> If olcott wants to prove that 0.999... ≠ 1.0 (in the real number
>>> system), then he has to specify a rational ε for which no such N can
>>> be found. If he cannot do that, then he is not speaking about real
>>> numbers.
>>>
>>
>
> I see olcott did not attempt to specify a rational ε, so, he had no
> rebuttal against the claim that 0.999... = 1 using the correct meaning
> of the words and symbols for reals.

"Correct" here can mean various things, "no options",
"no alternatives", "no other explanations", yet when
there's an option, and alternative, an other explanation,
then it just means "usual".

Here, take the limit of the function, naturals n, d,
f(n) = n/d, 0 <= n <= d, d -> oo, f(0) = 1, lim n->oo f(n) = 1.

You see, 0 <= n <= d.

It's a different "set" of numbers in [0,1], but its values
lay in the extent [0,1], are dense in [0,1], complete in
[0,1], have measure 1.0 in [0,1], it's a continuous domain.

It's "standard infinitesimals of nonstandard analysis: iota-values".

It _is_ what it _is_.


devel / comp.theory / Re: Definition of real number ℝ --infinitesimal--

Pages:12345678
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor