Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Alexander Graham Bell is alive and well in New York, and still waiting for a dial tone.


tech / sci.math / Re: Counterexample

SubjectAuthor
* CounterexampleWilliam
`* Re: CounterexampleWM
 +- Re: CounterexampleDoug Huston
 +* Re: CounterexampleWilliam
 |`* Re: CounterexampleWM
 | `* Re: CounterexampleWilliam
 |  `* Re: CounterexampleWM
 |   `* Re: CounterexampleWilliam
 |    `* Re: CounterexampleWM
 |     +* Re: CounterexampleSergio
 |     |`* Re: CounterexampleChris M. Thomasson
 |     | `* Re: CounterexampleSergio
 |     |  `- Re: CounterexampleChris M. Thomasson
 |     `* Re: CounterexampleWilliam
 |      `* Re: CounterexampleWM
 |       +* Re: CounterexampleWilliam
 |       |`* Re: CounterexampleWM
 |       | `* Re: CounterexampleWilliam
 |       |  `* Re: CounterexampleWM
 |       |   +* Re: CounterexampleSergio
 |       |   |`- Re: CounterexampleRoss A. Finlayson
 |       |   +* Re: CounterexampleWilliam
 |       |   |`* Re: CounterexampleWM
 |       |   | +* Re: CounterexampleWilliam
 |       |   | |+- Re: CounterexampleGus Gassmann
 |       |   | |`* Re: CounterexampleWM
 |       |   | | +- Re: CounterexampleWilliam
 |       |   | | +* Re: CounterexampleSergio
 |       |   | | |`- Re: CounterexampleSergio
 |       |   | | `- Re: CounterexampleGreg Cunt
 |       |   | `* Re: CounterexampleSergio
 |       |   |  `* Re: CounterexampleWM
 |       |   |   +- Re: CounterexampleGus Gassmann
 |       |   |   +* Re: CounterexampleWM
 |       |   |   |`- Re: CounterexampleSergio
 |       |   |   +- Re: CounterexampleGus Gassmann
 |       |   |   +- Re: CounterexampleWilliam
 |       |   |   +* Re: CounterexampleWM
 |       |   |   |`- Re: CounterexampleSergio
 |       |   |   +- Re: CounterexampleWM
 |       |   |   +- Re: CounterexampleWilliam
 |       |   |   +- Re: CounterexampleGus Gassmann
 |       |   |   +* Re: CounterexampleWM
 |       |   |   |`- Re: CounterexampleSergio
 |       |   |   +- Re: CounterexampleWilliam
 |       |   |   +- Re: CounterexampleWM
 |       |   |   +- Re: CounterexampleWilliam
 |       |   |   +- Re: CounterexampleWM
 |       |   |   +- Re: CounterexampleWilliam
 |       |   |   +- Re: CounterexampleWM
 |       |   |   +- Re: CounterexampleWilliam
 |       |   |   +- Re: CounterexampleWM
 |       |   |   +- Re: CounterexampleWilliam
 |       |   |   +- Re: Counterexamplezelos...@gmail.com
 |       |   |   +- Re: CounterexampleGreg Cunt
 |       |   |   +* Re: CounterexampleWM
 |       |   |   |`* Re: CounterexampleSergio
 |       |   |   | `* Re: CounterexampleGus Gassmann
 |       |   |   |  `- Re: CounterexampleSergio
 |       |   |   +* Re: CounterexampleWM
 |       |   |   |+- Re: CounterexampleJim Burns
 |       |   |   |`* Re: CounterexampleJim Burns
 |       |   |   | `* Re: CounterexampleWM
 |       |   |   |  `* Re: CounterexampleJim Burns
 |       |   |   |   `* Re: CounterexampleWM
 |       |   |   |    `* Re: CounterexampleJim Burns
 |       |   |   |     `* Re: CounterexampleWM
 |       |   |   |      `- Re: CounterexampleSergio
 |       |   |   +- Re: CounterexampleWilliam
 |       |   |   +- Re: CounterexampleWM
 |       |   |   +- Re: CounterexampleWilliam
 |       |   |   +- Re: CounterexampleGus Gassmann
 |       |   |   +- Re: CounterexampleGreg Cunt
 |       |   |   +- Re: CounterexampleGreg Cunt
 |       |   |   +- Re: Counterexamplezelos...@gmail.com
 |       |   |   +* Re: CounterexampleWM
 |       |   |   |`* Re: CounterexampleFromTheRafters
 |       |   |   | +* Re: CounterexampleGreg Cunt
 |       |   |   | |`- Re: CounterexampleFromTheRafters
 |       |   |   | `* Re: CounterexampleWM
 |       |   |   |  `* Re: CounterexampleFromTheRafters
 |       |   |   |   +* Re: CounterexampleWM
 |       |   |   |   |+- Re: CounterexampleFromTheRafters
 |       |   |   |   |+- Re: CounterexampleGreg Cunt
 |       |   |   |   |+* Re: CounterexampleWM
 |       |   |   |   ||`- Re: CounterexampleSergio
 |       |   |   |   |+- Re: CounterexampleGreg Cunt
 |       |   |   |   |+* Re: CounterexampleGreg Cunt
 |       |   |   |   ||`* Re: CounterexamplePython
 |       |   |   |   || `* Re: CounterexampleGreg Cunt
 |       |   |   |   ||  `- Re: CounterexampleSergio
 |       |   |   |   |+- Re: CounterexampleGus Gassmann
 |       |   |   |   |+* Re: CounterexampleWM
 |       |   |   |   ||`- Re: CounterexampleFromTheRafters
 |       |   |   |   |+- Re: CounterexampleGus Gassmann
 |       |   |   |   |+- Re: CounterexampleWM
 |       |   |   |   |+- Re: CounterexampleGreg Cunt
 |       |   |   |   |+- Re: CounterexampleWM
 |       |   |   |   |`- Re: CounterexampleGreg Cunt
 |       |   |   |   `* Re: CounterexampleGreg Cunt
 |       |   |   |    `- Re: CounterexampleFromTheRafters
 |       |   |   +- Re: CounterexampleWM
 |       |   |   +* Re: CounterexampleWM
 |       |   |   +* Re: CounterexampleWM
 |       |   |   +- Re: CounterexampleWM
 |       |   |   +- Re: CounterexampleGreg Cunt
 |       |   |   +- Re: CounterexampleGreg Cunt
 |       |   |   +- Re: CounterexampleGreg Cunt
 |       |   |   +- Re: CounterexampleGus Gassmann
 |       |   |   +* Re: CounterexampleWM
 |       |   |   +- Re: CounterexampleGreg Cunt
 |       |   |   +- Re: CounterexampleWilliam
 |       |   |   +- Re: CounterexampleWilliam
 |       |   |   +* Re: CounterexampleWM
 |       |   |   +- Re: Counterexamplezelos...@gmail.com
 |       |   |   +* Re: CounterexampleWM
 |       |   |   +* Re: Counterexamplezelos...@gmail.com
 |       |   |   +* Re: CounterexampleWM
 |       |   |   +- Re: Counterexamplezelos...@gmail.com
 |       |   |   +- Re: CounterexampleWM
 |       |   |   +- Re: CounterexampleGreg Cunt
 |       |   |   +- Re: Counterexamplezelos...@gmail.com
 |       |   |   +* Re: CounterexampleWM
 |       |   |   `- Re: Counterexamplezelos...@gmail.com
 |       |   `* Re: CounterexampleGreg Cunt
 |       `- Re: CounterexampleSergio
 `* Re: CounterexampleGus Gassmann

Pages:123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475
Re: Counterexample

<074fe937-29b2-4f3b-89f7-0a53e74740a8n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73585&group=sci.math#73585

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:43ca:: with SMTP id w10mr19082996qtn.326.1630287460277;
Sun, 29 Aug 2021 18:37:40 -0700 (PDT)
X-Received: by 2002:a25:a527:: with SMTP id h36mr20967608ybi.326.1630287459946;
Sun, 29 Aug 2021 18:37:39 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 29 Aug 2021 18:37:39 -0700 (PDT)
In-Reply-To: <612be8c8$0$27454$426a74cc@news.free.fr>
Injection-Info: google-groups.googlegroups.com; posting-host=75.172.111.74; posting-account=_-PQygoAAAAciOn_89sZIlnxfb74FzXU
NNTP-Posting-Host: 75.172.111.74
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com> <227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com>
<195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com> <df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com> <5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com> <af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com> <c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<dbe72691-130e-478d-a619-acc81f107474n@googlegroups.com> <76611652-0fb5-45e5-ae8b-0e61c0cd36bcn@googlegroups.com>
<49c03189-7d93-4e79-9dcd-a63659a36229n@googlegroups.com> <ce38466f-7fb5-4f7c-bc65-7b94b6f6558fn@googlegroups.com>
<0c0425fd-b89c-4de2-9540-f902a84b0a18n@googlegroups.com> <f01d22a1-65a0-4db3-99d9-aa70db568022n@googlegroups.com>
<612be8c8$0$27454$426a74cc@news.free.fr>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <074fe937-29b2-4f3b-89f7-0a53e74740a8n@googlegroups.com>
Subject: Re: Counterexample
From: ross.fin...@gmail.com (Ross A. Finlayson)
Injection-Date: Mon, 30 Aug 2021 01:37:40 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Ross A. Finlayson - Mon, 30 Aug 2021 01:37 UTC

On Sunday, August 29, 2021 at 1:06:42 PM UTC-7, Python wrote:
> Crank Wolfgang Mueckenheim, aka WM wrote:
> > Ross A. Finlayson schrieb am Sonntag, 29. August 2021 um 18:24:24 UTC+2:
> >> On Sunday, August 29, 2021 at 9:13:35 AM UTC-7, WM wrote:
> >
> >> There is only one Grossone it's Yaroslav Sergeyev's.
> >>
> > Yes.
> Reminder:
>
> ---
> Following the publication of an article by Sergeyev in EMS Surveys in
> Mathematical Sciences, the editors published the following
> clarification:
>
> Statement of the editorial board
>
> We deeply regret that this article appears in this issue of the EMS
> Surveys in Mathematical Sciences.
>
> It was a serious mistake to accept it for publication. Owing to an
> unfortunate error, the entire processing of the paper, including the
> decision to accept it, took place without the editorial board being
> aware of what was happening. The editorial board unanimously
> dissociates itself from this decision. It is not representative of the
> very high level that we expect to see in our journal, which can be
> assessed from all other papers that we have published.
>
> Both editors-in-chief have assumed responsibility for these
> mistakes and resigned from their position. Having said that, we add
> that this journal would not exist without their dedication and years of
> hard work, and we wish to register our thanks to them.
> ---

Yet, he continues to be quoted and cited in further works....

Do you happen to know much of the substance of his works?

What all, perhaps, was found so detestable?

Re: Counterexample

<sghdc8$j3t$1@gioia.aioe.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73586&group=sci.math#73586

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (Serg io)
Newsgroups: sci.math
Subject: Re: Counterexample
Date: Sun, 29 Aug 2021 20:47:52 -0500
Organization: Aioe.org NNTP Server
Message-ID: <sghdc8$j3t$1@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com>
<df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com>
<5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com>
<af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com>
<c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<dbe72691-130e-478d-a619-acc81f107474n@googlegroups.com>
<76611652-0fb5-45e5-ae8b-0e61c0cd36bcn@googlegroups.com>
<49c03189-7d93-4e79-9dcd-a63659a36229n@googlegroups.com>
<ce38466f-7fb5-4f7c-bc65-7b94b6f6558fn@googlegroups.com>
<0c0425fd-b89c-4de2-9540-f902a84b0a18n@googlegroups.com>
<f01d22a1-65a0-4db3-99d9-aa70db568022n@googlegroups.com>
<612be8c8$0$27454$426a74cc@news.free.fr>
<074fe937-29b2-4f3b-89f7-0a53e74740a8n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="19581"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
 by: Serg io - Mon, 30 Aug 2021 01:47 UTC

On 8/29/2021 8:37 PM, Ross A. Finlayson wrote:
> On Sunday, August 29, 2021 at 1:06:42 PM UTC-7, Python wrote:
>> Crank Wolfgang Mueckenheim, aka WM wrote:
>>> Ross A. Finlayson schrieb am Sonntag, 29. August 2021 um 18:24:24 UTC+2:
>>>> On Sunday, August 29, 2021 at 9:13:35 AM UTC-7, WM wrote:
>>>
>>>> There is only one Grossone it's Yaroslav Sergeyev's.
>>>>
>>> Yes.
>> Reminder:
>>
>> ---
>> Following the publication of an article by Sergeyev in EMS Surveys in
>> Mathematical Sciences, the editors published the following
>> clarification:
>>
>> Statement of the editorial board
>>
>> We deeply regret that this article appears in this issue of the EMS
>> Surveys in Mathematical Sciences.
>>
>> It was a serious mistake to accept it for publication. Owing to an
>> unfortunate error, the entire processing of the paper, including the
>> decision to accept it, took place without the editorial board being
>> aware of what was happening. The editorial board unanimously
>> dissociates itself from this decision. It is not representative of the
>> very high level that we expect to see in our journal, which can be
>> assessed from all other papers that we have published.
>>
>> Both editors-in-chief have assumed responsibility for these
>> mistakes and resigned from their position. Having said that, we add
>> that this journal would not exist without their dedication and years of
>> hard work, and we wish to register our thanks to them.
>> ---
>
> Yet, he continues to be quoted and cited in further works....
>
> Do you happen to know much of the substance of his works?
>
> What all, perhaps, was found so detestable?
>

bad math

Re: Counterexample

<1cc5f14b-4bbf-425e-a696-62cc1fd04ca5n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73587&group=sci.math#73587

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:66d8:: with SMTP id m24mr18740279qtp.39.1630288188520;
Sun, 29 Aug 2021 18:49:48 -0700 (PDT)
X-Received: by 2002:a25:b787:: with SMTP id n7mr20707010ybh.468.1630288188362;
Sun, 29 Aug 2021 18:49:48 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 29 Aug 2021 18:49:48 -0700 (PDT)
In-Reply-To: <9f7b720e-1e88-4ecc-8486-f382fe63e2a7n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=75.172.111.74; posting-account=_-PQygoAAAAciOn_89sZIlnxfb74FzXU
NNTP-Posting-Host: 75.172.111.74
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<c0d11687-29ad-4639-8ea6-c71ed5ddb043n@googlegroups.com> <72809c10-f572-40d0-b2c6-cdfd0faa17cbn@googlegroups.com>
<c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com> <227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com>
<195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com> <df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com> <5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com> <af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com> <c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<3bf11478-54c0-4180-9178-1b7ea66aed0en@googlegroups.com> <390e6274-9d26-41e8-9f74-e2f288868652n@googlegroups.com>
<e1616741-0674-ec26-5d6f-f5277e0bdd2a@att.net> <a5f7a423-2888-4ab1-b599-6a247b16e358n@googlegroups.com>
<9d12f2e2-4e7e-c2f8-299c-92302c24afcb@att.net> <762394f2-5cdb-4a68-9e98-dee39425833cn@googlegroups.com>
<51347752-0acc-4681-b52e-64864b1cfeden@googlegroups.com> <9f7b720e-1e88-4ecc-8486-f382fe63e2a7n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1cc5f14b-4bbf-425e-a696-62cc1fd04ca5n@googlegroups.com>
Subject: Re: Counterexample
From: ross.fin...@gmail.com (Ross A. Finlayson)
Injection-Date: Mon, 30 Aug 2021 01:49:48 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Ross A. Finlayson - Mon, 30 Aug 2021 01:49 UTC

On Sunday, August 29, 2021 at 1:01:36 PM UTC-7, Ross A. Finlayson wrote:
> On Sunday, August 29, 2021 at 12:39:51 PM UTC-7, Ross A. Finlayson wrote:
> > On Sunday, August 29, 2021 at 12:10:22 PM UTC-7, Ross A. Finlayson wrote:
> > > On Sunday, August 29, 2021 at 11:24:51 AM UTC-7, Jim Burns wrote:
> > > > On 8/29/2021 1:33 PM, Ross A. Finlayson wrote:
> > > > > On Sunday, August 29, 2021 at 10:06:47 AM UTC-7,
> > > > > Jim Burns wrote:
> > > >
> > > > >> To borrow a term from art, a gap is _negative space_
> > > > >> It is an interval in which points are NOT.
> > > > >> https://en.wikipedia.org/wiki/Negative_space
> > > > >>
> > > > >> In order for there to be a point next to zero,
> > > > >> there must be negative space next to zero, and then the point.
> > > > >> If there is no negative space, there is no next point.
> > > > >> If there is no negative space, there is no gap.
> > > > >
> > > > > Least Upper Bound is the usual axiom attached to the
> > > > > ordered field to result the gapless complete ordered field.
> > > > Here, I'm using "gap" in a more restricted sense than I have
> > > > elsewhere. Call them "multi-point gaps".
> > > >
> > > > The rationals are already sufficient for a multi-point-gapless
> > > > ordered field. No multi-point interval (a,b) with a ~= b
> > > > is without rationals. No (a,b) is a gap.
> > > >
> > > > The Least Upper Bound property eliminates single-point gaps.
> > > >
> > > > One important consequence of the elimination of single-point
> > > > gaps is that we can formally describe and reason about
> > > > Achilles chasing the tortoise along a _continuous_ path.
> > > > Well, we could use the same definitions _without_ LUB, but they
> > > > won't mean what we want them to mean. The path Achilles takes
> > > > can be continuous _at every point_ but, if there are
> > > > single-point gaps, he can execute arbitrarily large teleports
> > > > across that gap. Sure, that wouldn't be continuous _if there_
> > > > _was a point there_ but there isn't.
> > > >
> > > > That is the reason (one, at least) that we need the LUB
> > > > property: so that "continuous at all the points"
> > > > works out to "no teleporting".
> > > > > (That the definition of continuous function applies to
> > > > > domains that preserve a metric.)
> > > > Continuous functions don't need to preserve a metric.
> > > >
> > > > Rotations and translations preserve the metric.
> > > >
> > > > Something along those lines that is true:
> > > > The inverse f^-1 of a continuous function f maps open sets
> > > > to open sets. We could say f^-1 preserves the topology.
> > > Such a topology as about this points-in-a-line would
> > > have two-point neighborhoods at endpoints and
> > > three-point neighborhoods throughout the line.
> > >
> > > Not sure "continuous functions don't preserve a metric".
> > > I'll agree they're perhaps not affine, where they're also
> > > transformations and make a mapping.
> > >
> > > I.e. they define the reversible/invertible mapping the metric.
> > >
> > > I thank you though, about the affine.
> > >
> > > The continuous functions don't so much care that the image
> > > is the rationals or complete ordered field or as about pretty
> > > much any other topology with a metric.
> > https://en.wikipedia.org/wiki/Natural_topology
> My point here is that though the usual "must be no smallest"
> and "must be next largest" are at odds, that, when there are
> both structures then each has all the usual features of what
> makes for modeling each other's natural topologies.
>
> That a vector space makes a basis for a topology,
> and that ran(EF) is a vector space, with its range of iota-values.
>
> "The natural/unit equivalency function that best relates
> integers zero to infinity and reals zero through one is a
> drawing of a line."
>
> Once a model of real numbers that is iota-values is equipped
> with all the other usual features what are handles for analysis,
> there is implemented a neat extensionality what all the results
> go both ways for either.
>
> I.e. the length assignment for ran(f) the iota-values, pretty much
> stands up as a default metric along with all the other usual naive
> properties why this object is more primitive, and primary, in theory,
> than needs require after all of topology the ultrafilter, or a countable
> basis in a space for a characterization of real regions, that it's the
> default natural model as for example by time of constant motion or change.
>
>
> Or, besides being fundamentally at odds,
> models of continuity are reflective and replete.
>
> Then I have written this up and about its topologies
> the contiguous points "in" a line vis-a-vis the
> ordered field's points "on" a line, why each are
> models of continuity, or here continuous domains.

About infinitesimals and their modern rehabilitations,
perhaps you'll find interesting Katz' collected studies.

https://u.math.biu.ac.il/~katzmik/infinitesimals.html

Re: Counterexample

<sghdm6$mmr$1@gioia.aioe.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73588&group=sci.math#73588

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (Serg io)
Newsgroups: sci.math
Subject: Re: Counterexample
Date: Sun, 29 Aug 2021 20:53:09 -0500
Organization: Aioe.org NNTP Server
Message-ID: <sghdm6$mmr$1@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<72809c10-f572-40d0-b2c6-cdfd0faa17cbn@googlegroups.com>
<c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com>
<227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com>
<195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com>
<df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com>
<5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com>
<af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com>
<c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<3bf11478-54c0-4180-9178-1b7ea66aed0en@googlegroups.com>
<390e6274-9d26-41e8-9f74-e2f288868652n@googlegroups.com>
<e1616741-0674-ec26-5d6f-f5277e0bdd2a@att.net>
<a5f7a423-2888-4ab1-b599-6a247b16e358n@googlegroups.com>
<9d12f2e2-4e7e-c2f8-299c-92302c24afcb@att.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="23259"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Serg io - Mon, 30 Aug 2021 01:53 UTC

On 8/29/2021 1:24 PM, Jim Burns wrote:
> On 8/29/2021 1:33 PM, Ross A. Finlayson wrote:
>> On Sunday, August 29, 2021 at 10:06:47 AM UTC-7,
>> Jim Burns wrote:
>
>>> To borrow a term from art, a gap is _negative space_
>>> It is an interval in which points are NOT.
>>> https://en.wikipedia.org/wiki/Negative_space
>>>
>>> In order for there to be a point next to zero,
>>> there must be negative space next to zero, and then the point.
>>> If there is no negative space, there is no next point.
>>> If there is no negative space, there is no gap.
>>
>> Least Upper Bound is the usual axiom attached to the
>> ordered field to result the gapless complete ordered field.
>
> Here, I'm using "gap" in a more restricted sense than I have
> elsewhere. Call them "multi-point gaps".
>
> The rationals are already sufficient for a multi-point-gapless
> ordered field. No multi-point interval (a,b) with a ~= b
> is without rationals. No (a,b) is a gap.
>
> The Least Upper Bound property eliminates single-point gaps.
>
> One important consequence of the elimination of single-point
> gaps is that we can formally describe and reason about
> Achilles chasing the tortoise along a _continuous_ path.
> Well, we could use the same definitions _without_ LUB, but they
> won't mean what we want them to mean. The path Achilles takes
> can be continuous _at every point_ but, if there are
> single-point gaps, he can execute arbitrarily large teleports
> across that gap. Sure, that wouldn't be continuous _if there_
> _was a point there_ but there isn't.
>
> That is the reason (one, at least) that we need the LUB
> property: so that "continuous at all the points"
> works out to "no teleporting".
>
>> (That the definition of continuous function applies to
>> domains that preserve a metric.)
>
> Continuous functions don't need to preserve a metric.
>
> Rotations and translations preserve the metric.
>
> Something along those lines that is true:
> The inverse f^-1 of a continuous function f maps open sets
> to open sets. We could say f^-1 preserves the topology.
>

so, Achilles with a spear is running after this poor scared turtle on a stone path, where the ground is continuous, but each stone (numbered in
ascending natural numbers) had GAPS between all the stones. And WM says each gap is brimming with, and infested with, Dark Numbers.

Question: How does the turtle get across all these gaps packed full of Dark Numbers ? Does he grease the bottom of his shell ?

Re: Counterexample

<2f7a8ae8-384e-4d87-acfe-c100287ac97bn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73589&group=sci.math#73589

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7f51:: with SMTP id g17mr18541123qtk.16.1630289338017;
Sun, 29 Aug 2021 19:08:58 -0700 (PDT)
X-Received: by 2002:a25:b3c9:: with SMTP id x9mr19980114ybf.514.1630289337861;
Sun, 29 Aug 2021 19:08:57 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!news-out.netnews.com!news.alt.net!fdc3.netnews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!feeder1.cambriumusenet.nl!feed.tweak.nl!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 29 Aug 2021 19:08:57 -0700 (PDT)
In-Reply-To: <sghdc8$j3t$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=75.172.111.74; posting-account=_-PQygoAAAAciOn_89sZIlnxfb74FzXU
NNTP-Posting-Host: 75.172.111.74
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com> <df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com> <5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com> <af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com> <c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<dbe72691-130e-478d-a619-acc81f107474n@googlegroups.com> <76611652-0fb5-45e5-ae8b-0e61c0cd36bcn@googlegroups.com>
<49c03189-7d93-4e79-9dcd-a63659a36229n@googlegroups.com> <ce38466f-7fb5-4f7c-bc65-7b94b6f6558fn@googlegroups.com>
<0c0425fd-b89c-4de2-9540-f902a84b0a18n@googlegroups.com> <f01d22a1-65a0-4db3-99d9-aa70db568022n@googlegroups.com>
<612be8c8$0$27454$426a74cc@news.free.fr> <074fe937-29b2-4f3b-89f7-0a53e74740a8n@googlegroups.com>
<sghdc8$j3t$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2f7a8ae8-384e-4d87-acfe-c100287ac97bn@googlegroups.com>
Subject: Re: Counterexample
From: ross.fin...@gmail.com (Ross A. Finlayson)
Injection-Date: Mon, 30 Aug 2021 02:08:58 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 5217
 by: Ross A. Finlayson - Mon, 30 Aug 2021 02:08 UTC

On Sunday, August 29, 2021 at 6:48:02 PM UTC-7, Serg io wrote:
> On 8/29/2021 8:37 PM, Ross A. Finlayson wrote:
> > On Sunday, August 29, 2021 at 1:06:42 PM UTC-7, Python wrote:
> >> Crank Wolfgang Mueckenheim, aka WM wrote:
> >>> Ross A. Finlayson schrieb am Sonntag, 29. August 2021 um 18:24:24 UTC+2:
> >>>> On Sunday, August 29, 2021 at 9:13:35 AM UTC-7, WM wrote:
> >>>
> >>>> There is only one Grossone it's Yaroslav Sergeyev's.
> >>>>
> >>> Yes.
> >> Reminder:
> >>
> >> ---
> >> Following the publication of an article by Sergeyev in EMS Surveys in
> >> Mathematical Sciences, the editors published the following
> >> clarification:
> >>
> >> Statement of the editorial board
> >>
> >> We deeply regret that this article appears in this issue of the EMS
> >> Surveys in Mathematical Sciences.
> >>
> >> It was a serious mistake to accept it for publication. Owing to an
> >> unfortunate error, the entire processing of the paper, including the
> >> decision to accept it, took place without the editorial board being
> >> aware of what was happening. The editorial board unanimously
> >> dissociates itself from this decision. It is not representative of the
> >> very high level that we expect to see in our journal, which can be
> >> assessed from all other papers that we have published.
> >>
> >> Both editors-in-chief have assumed responsibility for these
> >> mistakes and resigned from their position. Having said that, we add
> >> that this journal would not exist without their dedication and years of
> >> hard work, and we wish to register our thanks to them.
> >> ---
> >
> > Yet, he continues to be quoted and cited in further works....
> >
> > Do you happen to know much of the substance of his works?
> >
> > What all, perhaps, was found so detestable?
> >
> bad math

Yeah, it's fair that there's the edifice of formalism to satisfy,
also with respect to underdefined terms, and otherwise as about
validity and soundness and all.

Still, though, in scalar terms, and about something like the
long line, which as the space of functions R to R is bigger than
R but parameterized by values in R, sorts in trichotomy,
there's something to be said for the terms of his theory all
by themselves, tools or platforms or a plank, if not, of course,
foundations of mathematics writ large and "true" definition.

I just find it much, much simpler to have a primitive for time,
central in the theory, instead of building a model of one very,
very high above in ultrafilters, the parametrizing, and as where
the model of countable additivity and well-ordering across the
range uses much, much more numerical resources. (Than sweep.)

I.e., you should know they have one just like that, but,
can't admit its properties back to set theory.

While, revising set theory with the ubiquitous ordinals,
for the powerset theorem, then having sweep as a
non-Cartesian function or even as simply defined,
has a formalism for continuity that can be relayed,
among formalisms of continuity (and not just umpteen
"conservative" extensions of each other).

Or, those two will never stop arguing.

Re: Counterexample

<bf0127a4-0c53-401c-83f3-c49292f8ec69n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73590&group=sci.math#73590

  copy link   Newsgroups: sci.math
X-Received: by 2002:ae9:df07:: with SMTP id t7mr20435957qkf.95.1630289445161; Sun, 29 Aug 2021 19:10:45 -0700 (PDT)
X-Received: by 2002:a25:c986:: with SMTP id z128mr20576458ybf.112.1630289444963; Sun, 29 Aug 2021 19:10:44 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 29 Aug 2021 19:10:44 -0700 (PDT)
In-Reply-To: <sghdm6$mmr$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=75.172.111.74; posting-account=_-PQygoAAAAciOn_89sZIlnxfb74FzXU
NNTP-Posting-Host: 75.172.111.74
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com> <72809c10-f572-40d0-b2c6-cdfd0faa17cbn@googlegroups.com> <c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com> <227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com> <195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com> <df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com> <7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com> <5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com> <a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com> <af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com> <da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com> <c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com> <3bf11478-54c0-4180-9178-1b7ea66aed0en@googlegroups.com> <390e6274-9d26-41e8-9f74-e2f288868652n@googlegroups.com> <e1616741-0674-ec26-5d6f-f5277e0bdd2a@att.net> <a5f7a423-2888-4ab1-b599-6a247b16e358n@googlegroups.com> <9d12f2e2-4e7e-c2f8-299c-92302c24afcb@att.net> <sghdm6$mmr$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bf0127a4-0c53-401c-83f3-c49292f8ec69n@googlegroups.com>
Subject: Re: Counterexample
From: ross.fin...@gmail.com (Ross A. Finlayson)
Injection-Date: Mon, 30 Aug 2021 02:10:45 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 59
 by: Ross A. Finlayson - Mon, 30 Aug 2021 02:10 UTC

On Sunday, August 29, 2021 at 6:53:20 PM UTC-7, Serg io wrote:
> On 8/29/2021 1:24 PM, Jim Burns wrote:
> > On 8/29/2021 1:33 PM, Ross A. Finlayson wrote:
> >> On Sunday, August 29, 2021 at 10:06:47 AM UTC-7,
> >> Jim Burns wrote:
> >
> >>> To borrow a term from art, a gap is _negative space_
> >>> It is an interval in which points are NOT.
> >>> https://en.wikipedia.org/wiki/Negative_space
> >>>
> >>> In order for there to be a point next to zero,
> >>> there must be negative space next to zero, and then the point.
> >>> If there is no negative space, there is no next point.
> >>> If there is no negative space, there is no gap.
> >>
> >> Least Upper Bound is the usual axiom attached to the
> >> ordered field to result the gapless complete ordered field.
> >
> > Here, I'm using "gap" in a more restricted sense than I have
> > elsewhere. Call them "multi-point gaps".
> >
> > The rationals are already sufficient for a multi-point-gapless
> > ordered field. No multi-point interval (a,b) with a ~= b
> > is without rationals. No (a,b) is a gap.
> >
> > The Least Upper Bound property eliminates single-point gaps.
> >
> > One important consequence of the elimination of single-point
> > gaps is that we can formally describe and reason about
> > Achilles chasing the tortoise along a _continuous_ path.
> > Well, we could use the same definitions _without_ LUB, but they
> > won't mean what we want them to mean. The path Achilles takes
> > can be continuous _at every point_ but, if there are
> > single-point gaps, he can execute arbitrarily large teleports
> > across that gap. Sure, that wouldn't be continuous _if there_
> > _was a point there_ but there isn't.
> >
> > That is the reason (one, at least) that we need the LUB
> > property: so that "continuous at all the points"
> > works out to "no teleporting".
> >
> >> (That the definition of continuous function applies to
> >> domains that preserve a metric.)
> >
> > Continuous functions don't need to preserve a metric.
> >
> > Rotations and translations preserve the metric.
> >
> > Something along those lines that is true:
> > The inverse f^-1 of a continuous function f maps open sets
> > to open sets. We could say f^-1 preserves the topology.
> >
> so, Achilles with a spear is running after this poor scared turtle on a stone path, where the ground is continuous, but each stone (numbered in
> ascending natural numbers) had GAPS between all the stones. And WM says each gap is brimming with, and infested with, Dark Numbers.
>
> Question: How does the turtle get across all these gaps packed full of Dark Numbers ? Does he grease the bottom of his shell ?

"Paradoxes of Zeno _again_? Don't we have that at the _beginning_?"

Re: Counterexample

<sghf2l$17pr$1@gioia.aioe.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73592&group=sci.math#73592

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (Serg io)
Newsgroups: sci.math
Subject: Re: Counterexample
Date: Sun, 29 Aug 2021 21:16:52 -0500
Organization: Aioe.org NNTP Server
Message-ID: <sghf2l$17pr$1@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com>
<df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com>
<5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com>
<af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com>
<c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<dbe72691-130e-478d-a619-acc81f107474n@googlegroups.com>
<76611652-0fb5-45e5-ae8b-0e61c0cd36bcn@googlegroups.com>
<49c03189-7d93-4e79-9dcd-a63659a36229n@googlegroups.com>
<ce38466f-7fb5-4f7c-bc65-7b94b6f6558fn@googlegroups.com>
<0c0425fd-b89c-4de2-9540-f902a84b0a18n@googlegroups.com>
<f01d22a1-65a0-4db3-99d9-aa70db568022n@googlegroups.com>
<612be8c8$0$27454$426a74cc@news.free.fr>
<074fe937-29b2-4f3b-89f7-0a53e74740a8n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="40763"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
 by: Serg io - Mon, 30 Aug 2021 02:16 UTC

On 8/29/2021 8:37 PM, Ross A. Finlayson wrote:
> On Sunday, August 29, 2021 at 1:06:42 PM UTC-7, Python wrote:
>> Crank Wolfgang Mueckenheim, aka WM wrote:
>>> Ross A. Finlayson schrieb am Sonntag, 29. August 2021 um 18:24:24 UTC+2:
>>>> On Sunday, August 29, 2021 at 9:13:35 AM UTC-7, WM wrote:
>>>
>>>> There is only one Grossone it's Yaroslav Sergeyev's.
>>>>
>>> Yes.
>> Reminder:
>>
>> ---
>> Following the publication of an article by Sergeyev in EMS Surveys in
>> Mathematical Sciences, the editors published the following
>> clarification:
>>
>> Statement of the editorial board
>>
>> We deeply regret that this article appears in this issue of the EMS
>> Surveys in Mathematical Sciences.
>>
>> It was a serious mistake to accept it for publication. Owing to an
>> unfortunate error, the entire processing of the paper, including the
>> decision to accept it, took place without the editorial board being
>> aware of what was happening. The editorial board unanimously
>> dissociates itself from this decision. It is not representative of the
>> very high level that we expect to see in our journal, which can be
>> assessed from all other papers that we have published.
>>
>> Both editors-in-chief have assumed responsibility for these
>> mistakes and resigned from their position. Having said that, we add
>> that this journal would not exist without their dedication and years of
>> hard work, and we wish to register our thanks to them.
>> ---
>
> Yet, he continues to be quoted and cited in further works....
>
> Do you happen to know much of the substance of his works?
>
> What all, perhaps, was found so detestable?
>

One critic, Alexander Shen, director of research at the National Center for Scientific Research in Montpellier, France wrote to the editors on Nov. 29,
expressing his concern:

Assuming that this is not a fake or April Fool Day’s joke and the paper was indeed published, I would say that the reputation damage to the Journal,
to EMS and to mathematical community as a whole cannot be fully undone, but a clear apology/retraction seems to be needed.

However, Shen and two mathematicians from Novosibirsk State University in Russia—S. Kutateladze and Alexander Gutman—have published critiques of
Sergeyev’s work. Gutman told us that he thinks the current paper, along with other articles by Sergeyev, are disrespectful to modern mathematics:

[Sergeyev] simply does not call things by their proper names. In his games with “grossone”, the fundamental concepts are redefined, and famous
complex or unresolved problems are replaced by their primitive counterparts. Of course, it is very unpleasant to observe such substitutions, especially
with respect to real mathematical problems, which are complex and beautiful.

Kutateladze added:

The recent publication of the paper by Sergeyev in European Mathematical Society Surveys was a scandalous blunder.

.....................................................................

Sergeyev’s idea is to introduce into arithmetic some infinitely large number— grossone, consider only the numbers that are less than the grossone, and
operate exclusively on these numbers. Sergeyev embellishes his idea with shallow arguments, emphasizing that he does not use Cantor’s approach and
returns to Ancient Greeks. He formulates the three postulates of his own:

Postulate 1. Existence of infinite and infinitesimal objects is postulated but it is also accepted that human beings and machines are able to
execute only a finite number of operations.
Postulate 2. It is not discussed what are the mathematical objects we deal with; we just construct more powerful tools that allow us to improve our
capacities to observe and to describe properties of mathematical objects.

Sergeyev confronts his ideas with the famous nonstandard analysis of Abraham Robinson. Robinsonian infinitesimal analysis is rightfully considered as
one of the most brilliant achievements of mathematics in the twentieth century. Using the sophisticated methods of the recently-invented model theory in
the beginning of the 1960s, Robinson synthesized the approaches by Newton and Leibniz in a new mathematical language and technique. Nonstandard analysis
not only inherited all technical tools of Newton’s method of prime and ultimate ratios and Leibniz’s monads but also explained and justified the
ingenious tricks of Euler who freely dealt with actual infinites and infinitesimals.

Sergeyev has poor knowledge of these classical scientific achievements, counterposing his bizarre surmisals to the modern analysis. But all linguistic
and mathematical tools that are needed to Sergeyev are readily available within nonstandard analysis.

Sergeyev defines his grossone as the “number of elements of the set of natural numbers.” In fact, the role of this would-be mysterious entity can
happily be performed by the factorial of an arbitrary infinite number which are galore in nonstandard analysis. This circumstance is absolutely evident
to specialists but nonetheless it was meticulously elaborated in Siberian Mathematical Journal, 49:5, 835–841 (2008) in order to demonstrate the humble
place of Sergeyev’s speculations. This article also revealed the principal shortcomings of Sergeyev’s attempts at implementing calculations with a
grossone on a computer. Unfortunately, it turned out impossible to stop the flood of Sergeyev’s publications in the variety of the international
journals having little if any in common with foundations of analysis. Miraculously, there are no Sergeyev’s publications on his grossone in Russian in
the Russian mathematical database Math-Net.Ru.

Sergeyev’s writings about invention of new numbers and the “Infinity Computer” are speculations of negligible interest to mathematics but exuberant with
pretensions, which might be perilous to science. The fact that these speculations underlie the Pytharogas Award by the City of Crotone on behalf of the
University of Calabria having Sergeyev on staff cannot improve neither the content of the writings of Sergeyev nor his attitude to the precious
knowledge of the treasure-trove of mathematics.

Ancient Italian grossones are linguistically close to Sergeyev’s grossone but differ in value.
Postulate 3. The principle formulated by Ancient Greeks ‘The part is less than the whole’ is applied to all numbers (finite, infinite, and
infinitesimal) and to all sets and processes (finite and infinite).

Re: Counterexample

<9a50f6da-3576-48c4-a61b-87ca6ce5a938n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73596&group=sci.math#73596

  copy link   Newsgroups: sci.math
X-Received: by 2002:a37:6354:: with SMTP id x81mr20297916qkb.330.1630291414091; Sun, 29 Aug 2021 19:43:34 -0700 (PDT)
X-Received: by 2002:a5b:142:: with SMTP id c2mr19216891ybp.425.1630291413824; Sun, 29 Aug 2021 19:43:33 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!tr3.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 29 Aug 2021 19:43:33 -0700 (PDT)
In-Reply-To: <bf0127a4-0c53-401c-83f3-c49292f8ec69n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=75.172.111.74; posting-account=_-PQygoAAAAciOn_89sZIlnxfb74FzXU
NNTP-Posting-Host: 75.172.111.74
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com> <72809c10-f572-40d0-b2c6-cdfd0faa17cbn@googlegroups.com> <c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com> <227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com> <195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com> <df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com> <7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com> <5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com> <a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com> <af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com> <da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com> <c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com> <3bf11478-54c0-4180-9178-1b7ea66aed0en@googlegroups.com> <390e6274-9d26-41e8-9f74-e2f288868652n@googlegroups.com> <e1616741-0674-ec26-5d6f-f5277e0bdd2a@att.net> <a5f7a423-2888-4ab1-b599-6a247b16e358n@googlegroups.com> <9d12f2e2-4e7e-c2f8-299c-92302c24afcb@att.net> <sghdm6$mmr$1@gioia.aioe.org> <bf0127a4-0c53-401c-83f3-c49292f8ec69n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9a50f6da-3576-48c4-a61b-87ca6ce5a938n@googlegroups.com>
Subject: Re: Counterexample
From: ross.fin...@gmail.com (Ross A. Finlayson)
Injection-Date: Mon, 30 Aug 2021 02:43:34 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 60
 by: Ross A. Finlayson - Mon, 30 Aug 2021 02:43 UTC

On Sunday, August 29, 2021 at 7:10:50 PM UTC-7, Ross A. Finlayson wrote:
> On Sunday, August 29, 2021 at 6:53:20 PM UTC-7, Serg io wrote:
> > On 8/29/2021 1:24 PM, Jim Burns wrote:
> > > On 8/29/2021 1:33 PM, Ross A. Finlayson wrote:
> > >> On Sunday, August 29, 2021 at 10:06:47 AM UTC-7,
> > >> Jim Burns wrote:
> > >
> > >>> To borrow a term from art, a gap is _negative space_
> > >>> It is an interval in which points are NOT.
> > >>> https://en.wikipedia.org/wiki/Negative_space
> > >>>
> > >>> In order for there to be a point next to zero,
> > >>> there must be negative space next to zero, and then the point.
> > >>> If there is no negative space, there is no next point.
> > >>> If there is no negative space, there is no gap.
> > >>
> > >> Least Upper Bound is the usual axiom attached to the
> > >> ordered field to result the gapless complete ordered field.
> > >
> > > Here, I'm using "gap" in a more restricted sense than I have
> > > elsewhere. Call them "multi-point gaps".
> > >
> > > The rationals are already sufficient for a multi-point-gapless
> > > ordered field. No multi-point interval (a,b) with a ~= b
> > > is without rationals. No (a,b) is a gap.
> > >
> > > The Least Upper Bound property eliminates single-point gaps.
> > >
> > > One important consequence of the elimination of single-point
> > > gaps is that we can formally describe and reason about
> > > Achilles chasing the tortoise along a _continuous_ path.
> > > Well, we could use the same definitions _without_ LUB, but they
> > > won't mean what we want them to mean. The path Achilles takes
> > > can be continuous _at every point_ but, if there are
> > > single-point gaps, he can execute arbitrarily large teleports
> > > across that gap. Sure, that wouldn't be continuous _if there_
> > > _was a point there_ but there isn't.
> > >
> > > That is the reason (one, at least) that we need the LUB
> > > property: so that "continuous at all the points"
> > > works out to "no teleporting".
> > >
> > >> (That the definition of continuous function applies to
> > >> domains that preserve a metric.)
> > >
> > > Continuous functions don't need to preserve a metric.
> > >
> > > Rotations and translations preserve the metric.
> > >
> > > Something along those lines that is true:
> > > The inverse f^-1 of a continuous function f maps open sets
> > > to open sets. We could say f^-1 preserves the topology.
> > >
> > so, Achilles with a spear is running after this poor scared turtle on a stone path, where the ground is continuous, but each stone (numbered in
> > ascending natural numbers) had GAPS between all the stones. And WM says each gap is brimming with, and infested with, Dark Numbers.
> >
> > Question: How does the turtle get across all these gaps packed full of Dark Numbers ? Does he grease the bottom of his shell ?
> "Paradoxes of Zeno _again_? Don't we have that at the _beginning_?"

"... which is among reasons why there is the Finlayson slates for uncountability and paradox."

Re: Counterexample

<a9efd721-28ea-4c75-a37a-33066c916b8bn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73600&group=sci.math#73600

  copy link   Newsgroups: sci.math
X-Received: by 2002:a37:2f47:: with SMTP id v68mr20830206qkh.190.1630298892179; Sun, 29 Aug 2021 21:48:12 -0700 (PDT)
X-Received: by 2002:a25:b7c6:: with SMTP id u6mr22415132ybj.16.1630298891944; Sun, 29 Aug 2021 21:48:11 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 29 Aug 2021 21:48:11 -0700 (PDT)
In-Reply-To: <da13c8cd-f30f-4305-bc39-b1e18488e184n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=79.136.72.131; posting-account=9KdpAQoAAAAHk6UQCkS1dsKOLsVDFEUN
NNTP-Posting-Host: 79.136.72.131
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com> <aa6b3dd4-e8c5-40ff-bba1-ab4aa19e378cn@googlegroups.com> <0513dcef-1037-496c-bca5-4fe5db5e147bn@googlegroups.com> <d32b7d02-35af-46b7-8190-a5b6a660533en@googlegroups.com> <68ec71b8-3f94-4553-b918-522d7e791a9fn@googlegroups.com> <bacc1d7b-e7d8-41ae-97d2-d95da4ecadefn@googlegroups.com> <4c56ede6-daa8-4f48-9c25-6999241d02b0n@googlegroups.com> <89ede4dd-974a-43f3-957b-e5e998f2e684n@googlegroups.com> <116661bb-7545-0851-8ea5-863da3d16461@att.net> <167833a4-ae34-493b-a775-7ea436dbbeadn@googlegroups.com> <ab839c89-07c2-f13a-6660-9036f0d2ec08@att.net> <84a34c3d-351b-473b-88e6-c5c14d164e80n@googlegroups.com> <678068ba-6364-2c38-8671-57bc17e2c9e4@att.net> <8bb1b792-5578-4b01-a1de-c35a20512c05n@googlegroups.com> <9533174f-f45b-8a5b-b4a0-33a2cece1b9c@att.net> <ce6828ca-5b77-44ca-803f-32355513e3e3n@googlegroups.com> <ca2ee569-6d0c-6216-3576-eb10ee37cba2@att.net> <a8a31e5c-aa7b-4eef-b074-87c2070d4753n@googlegroups.com> <84a759df-6568-d1f0-8421-80cd3fd486eb@att.net> <8476903a-e381-40c8-9bef-d96d91bd0d17n@googlegroups.com> <0cec82a3-391e-4d01-aa78-a8041bc9102cn@googlegroups.com> <4dda6b31-0901-42ca-8315-d948a9ca6d3fn@googlegroup
s.com> <bb503a90-e91d-4038-8b73-8ccd28db03a2n@googlegroups.com> <da13c8cd-f30f-4305-bc39-b1e18488e184n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a9efd721-28ea-4c75-a37a-33066c916b8bn@googlegroups.com>
Subject: Re: Counterexample
From: zelos.ma...@gmail.com (zelos...@gmail.com)
Injection-Date: Mon, 30 Aug 2021 04:48:12 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 24
 by: zelos...@gmail.com - Mon, 30 Aug 2021 04:48 UTC

torsdag 26 augusti 2021 kl. 14:38:12 UTC+2 skrev WM:
> zelos...@gmail.com schrieb am Donnerstag, 26. August 2021 um 07:15:08 UTC+2:
> > onsdag 25 augusti 2021 kl. 14:29:18 UTC+2 skrev WM:
>
> > > > ALL rational are indiced. It is trivial to show there is a bijection betwee N and Q+
> > > It is trivial to show the contrary:
> > > ∀ q ∈ (0, 1] ∃ q+n ∈ (n, n+1] und ∀ q+n ∈ (n, n+1] ∃ q ∈ (0, 1]
> > > 1/1, 1/2, 2/1, 1/3, 3/1, 1/4, 2/3, 3/2, 4/1, 1/5, 5/1, 1/6, ...
> > That does not go against my statement that there is a bijection between N and Q+
> Not against a bijection between the fractions enumerated in (0, 1] and (1000, 1001]. But it goes against the assumption, that Cantor enumerates all fractions. There are less enumerated in (1000, 1001] than in (0, 1] but there are not less in (1000, 1001]. This excludes a bijection between |N and Q+ by lack of surjectivity.
>
> Regards, WM

None of that follows from anything you said. It is surjective and gets all of the fractions.

It is trivial to show that they are of equal cardinality.

Re: Counterexample

<cd50ea7e-8b57-491f-a9df-6bef2e9e4e87n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73628&group=sci.math#73628

  copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:4b14:: with SMTP id r20mr21262488qvw.61.1630313056533; Mon, 30 Aug 2021 01:44:16 -0700 (PDT)
X-Received: by 2002:a25:a527:: with SMTP id h36mr22817182ybi.326.1630313056205; Mon, 30 Aug 2021 01:44:16 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 01:44:15 -0700 (PDT)
In-Reply-To: <sghf2l$17pr$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:12db:7970:6ad:17e4:d48a; posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:12db:7970:6ad:17e4:d48a
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com> <195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com> <df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com> <7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com> <5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com> <a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com> <af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com> <da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com> <c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com> <dbe72691-130e-478d-a619-acc81f107474n@googlegroups.com> <76611652-0fb5-45e5-ae8b-0e61c0cd36bcn@googlegroups.com> <49c03189-7d93-4e79-9dcd-a63659a36229n@googlegroups.com> <ce38466f-7fb5-4f7c-bc65-7b94b6f6558fn@googlegroups.com> <0c0425fd-b89c-4de2-9540-f902a84b0a18n@googlegroups.com> <f01d22a1-65a0-4db3-99d9-aa70db568022n@googlegroups.com> <612be8c8$0$27454$426a74cc@news.free.fr> <074fe937-29b2-4f3b-89f7-0a53e74740a8n@googlegroups.com> <sghf2l$17pr$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cd50ea7e-8b57-491f-a9df-6bef2e9e4e87n@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Mon, 30 Aug 2021 08:44:16 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 41
 by: WM - Mon, 30 Aug 2021 08:44 UTC

Serg io schrieb am Montag, 30. August 2021 um 04:17:05 UTC+2:

> One critic, Alexander Shen, director of research at the National Center for Scientific Research in Montpellier, France wrote to the editors on Nov. 29,
> expressing his concern:
>
> Assuming that this is not a fake or April Fool Day’s joke and the paper was indeed published, I would say that the reputation damage to the Journal,
> to EMS and to mathematical community as a whole cannot be fully undone, but a clear apology/retraction seems to be needed.

There we see that many people are too dense to comprehend new ideas. In particual in France there live many handicapped mathematicians as Arnold reported.
>
> Sergeyev’s work. Gutman told us that he thinks the current paper, along with other articles by Sergeyev, are disrespectful to modern mathematics:

That is the proper position. Modern mathematics is primarily Cantor's nonsense and does not deserve respect but contempt.
>
> Kutateladze added:
>
> The recent publication of the paper by Sergeyev in European Mathematical Society Surveys was a scandalous blunder.

"This is an instance of the amazing power of desire in blinding even very able men to fallacies which would otherwise be obvious at once." [Bertrand Russell]

> Robinsonian infinitesimal analysis is rightfully considered as
> one of the most brilliant achievements of mathematics in the twentieth century.

It had lasted a good while until this was fully recognized. But the fools of matheology will forever constitute the mayjority. Good taste is not the taste of the majority.

Regards, WM

Re: Counterexample

<5f1dbe4a-2288-4c12-89b1-eb9a33c7f491n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73629&group=sci.math#73629

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1aaa:: with SMTP id s42mr19788136qtc.122.1630313599023;
Mon, 30 Aug 2021 01:53:19 -0700 (PDT)
X-Received: by 2002:a25:1b86:: with SMTP id b128mr22103918ybb.124.1630313598824;
Mon, 30 Aug 2021 01:53:18 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!usenet.goja.nl.eu.org!3.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 01:53:18 -0700 (PDT)
In-Reply-To: <a8551c1d-57e8-800d-c266-9060ba750d27@att.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:12db:7970:6ad:17e4:d48a;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:12db:7970:6ad:17e4:d48a
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<ca2ee569-6d0c-6216-3576-eb10ee37cba2@att.net> <a8a31e5c-aa7b-4eef-b074-87c2070d4753n@googlegroups.com>
<84a759df-6568-d1f0-8421-80cd3fd486eb@att.net> <8476903a-e381-40c8-9bef-d96d91bd0d17n@googlegroups.com>
<d74442a6-aa72-b5cb-d977-f6bff765c03c@att.net> <2aab3536-1008-4c3a-98d5-6aa466b8f296n@googlegroups.com>
<0078103a-6a55-3c27-6fbf-7690f8dc46a3@att.net> <8e586580-fa06-4387-a476-119f8846a53en@googlegroups.com>
<61ebedef-d3a7-b1fb-a81e-c386ae1ebdb1@att.net> <1da09b71-42af-4667-a005-222ffead94d1n@googlegroups.com>
<e41e50ba-00e6-e864-2062-46f4a3a200c2@att.net> <dceb82f2-2a4c-4829-9765-47300233da74n@googlegroups.com>
<fd2bc967-78b9-b2d5-011d-46b7c04164c5@att.net> <f39a5918-2cf5-40c1-9005-e0335bb1732en@googlegroups.com>
<8b506054-26df-284e-de9a-ae0f636bcd98@att.net> <65c55212-ae27-4494-a63b-f715b6fbeddbn@googlegroups.com>
<sgas6s$1ags$1@gioia.aioe.org> <4b00d81b-ff5b-4350-8795-77a3eddf88e9n@googlegroups.com>
<a8551c1d-57e8-800d-c266-9060ba750d27@att.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5f1dbe4a-2288-4c12-89b1-eb9a33c7f491n@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Mon, 30 Aug 2021 08:53:19 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: WM - Mon, 30 Aug 2021 08:53 UTC

Jim Burns schrieb am Sonntag, 29. August 2021 um 23:04:02 UTC+2:
> On 8/27/2021 10:23 AM, WM wrote:
> > Serg io schrieb
> > am Freitag, 27. August 2021 um 16:18:14 UTC+2:
>
> >> Cantor enumerates all rationals.
> >
> > Why doesn't he start with all fractions n/1?
>
> There are infinitely-many fractions n/1.
> Starting with all n/1 first would make all the other
> fractions inaccessible to one-by-one stepping.

But when hidden "in the infinite", this does not happen? No, it does, but you cannot see it.
>
> Since the claim that that _at least one_ way to order
> the rationals has them all (like the naturals) accessible
> to one-by-one stepping (in that non-standard order)
> from any other rationals,
> starting with all n/1 is not a counter-example.
> It is merely not an example.

If surjectivity would prevail then the order was irrelevant. All is all, whatever you start with.
>
> But there are plenty of examples.
> We didn't need yours, anyway.

You would need plenty of brain to understand that a bijection does not depend on the ordering. Even Cantor made the mistake to admit this: "Those and only those transformations leave the ordinal number unchanged which can be put down to a finite or infinite set of transpositions, i.e., exchanges of two elements." [Cantor, p. 214] Of course this is false for Cantor's fake bijections.

Regards, WM

Re: Counterexample

<8701dcd3-7b8f-4cc8-8b08-53f61af944d4n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73641&group=sci.math#73641

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:922:: with SMTP id dk2mr22135481qvb.36.1630316167399; Mon, 30 Aug 2021 02:36:07 -0700 (PDT)
X-Received: by 2002:a25:b787:: with SMTP id n7mr22757097ybh.468.1630316167198; Mon, 30 Aug 2021 02:36:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!news.dns-netz.com!news.freedyn.net!newsfeed.xs4all.nl!newsfeed8.news.xs4all.nl!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 02:36:06 -0700 (PDT)
In-Reply-To: <6e81eb4d-f8d0-c922-e560-44cc511a7cc7@att.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:12db:5070:3abc:b10a:5983; posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:12db:5070:3abc:b10a:5983
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com> <ce6828ca-5b77-44ca-803f-32355513e3e3n@googlegroups.com> <ca2ee569-6d0c-6216-3576-eb10ee37cba2@att.net> <a8a31e5c-aa7b-4eef-b074-87c2070d4753n@googlegroups.com> <84a759df-6568-d1f0-8421-80cd3fd486eb@att.net> <8476903a-e381-40c8-9bef-d96d91bd0d17n@googlegroups.com> <d74442a6-aa72-b5cb-d977-f6bff765c03c@att.net> <2aab3536-1008-4c3a-98d5-6aa466b8f296n@googlegroups.com> <0078103a-6a55-3c27-6fbf-7690f8dc46a3@att.net> <8e586580-fa06-4387-a476-119f8846a53en@googlegroups.com> <61ebedef-d3a7-b1fb-a81e-c386ae1ebdb1@att.net> <1da09b71-42af-4667-a005-222ffead94d1n@googlegroups.com> <e41e50ba-00e6-e864-2062-46f4a3a200c2@att.net> <dceb82f2-2a4c-4829-9765-47300233da74n@googlegroups.com> <fd2bc967-78b9-b2d5-011d-46b7c04164c5@att.net> <f39a5918-2cf5-40c1-9005-e0335bb1732en@googlegroups.com> <8b506054-26df-284e-de9a-ae0f636bcd98@att.net> <65c55212-ae27-4494-a63b-f715b6fbeddbn@googlegroups.com> <6e81eb4d-f8d0-c922-e560-44cc511a7cc7@att.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8701dcd3-7b8f-4cc8-8b08-53f61af944d4n@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Mon, 30 Aug 2021 09:36:07 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 53
 by: WM - Mon, 30 Aug 2021 09:36 UTC

Jim Burns schrieb am Sonntag, 29. August 2021 um 18:43:59 UTC+2:

> > Arithmetic is consistent.
>
> Arithmetic says
> for each positive rational p, p > 0 ,
> a unique positive rational q, q > 1,
> exists such that q = p + 1.

Arithmetic would remain consistent in potential infinity without any dark numbers. This proves that arithmetic concerns only definable numbers. Although we cannot know about the properties of dark individuals, q = p + 1 is correct for definable and dark numbers, at least collectively, because we have the geometric argument: Translation invariance. The interval (0, 1] is identical to the interval (1, 2] except the added 1.
>
> Arithmetic says
> for each positive rational q, q > 1 ,
> a unique positive rational r, 1 > r > 0,
> exists such that r = 1/q.

Yes, but this can hold only for the definable rationals. Otherwise half of all rationals were in (0, 1], but by adding 1 to every fractions we would find half of all rationals in (1, 2]. This would show arithmetic inconsistent.
>
> Arithmetic says
> for each positive rational r, 1 > r > 0,
> for any positive rationals s,t,
> a unique positive rational u, s < u < s+t,
> exists such that u = s + t*r.

Again, arithmetic can handle only definable numbers, rationals as well as irrationals.
Your further similar arguments are therefore deleted. But my compliments to this very good and helpful contribution!

> > Set theory is inconsistent because
> > if we have an infinite matrix or plane,
> > then its entries or points above the diagonal
> > are precisely as many as below.
>
> You're claiming that set theory is inconsistent
> despite it *agreeing* with arithmetic.
> Arithmetic, though, is consistent.

See above. In order to handle dark numbers or elements which cannot be chosen as individuals we can only use tools which can be applied collectively. That is translation invariance and halving the infinite square by the diagonal.

Again thanks for your contribution. It has cleared a lot in my model.

Regards, WM

Re: Counterexample

<cce0d6f9-5cac-4468-9a60-bd920e1871acn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73643&group=sci.math#73643

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:135c:: with SMTP id c28mr21256249qkl.18.1630318628730;
Mon, 30 Aug 2021 03:17:08 -0700 (PDT)
X-Received: by 2002:a25:a527:: with SMTP id h36mr23282225ybi.326.1630318628546;
Mon, 30 Aug 2021 03:17:08 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 03:17:08 -0700 (PDT)
In-Reply-To: <e1616741-0674-ec26-5d6f-f5277e0bdd2a@att.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:12db:5070:3abc:b10a:5983;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:12db:5070:3abc:b10a:5983
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<2887d9ab-99dc-40cc-aa86-381b5d3da1d0n@googlegroups.com> <6afaf03a-7626-4ddb-8af7-f76b9bac9accn@googlegroups.com>
<c0d11687-29ad-4639-8ea6-c71ed5ddb043n@googlegroups.com> <72809c10-f572-40d0-b2c6-cdfd0faa17cbn@googlegroups.com>
<c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com> <227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com>
<195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com> <df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com> <5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com> <af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com> <c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<3bf11478-54c0-4180-9178-1b7ea66aed0en@googlegroups.com> <390e6274-9d26-41e8-9f74-e2f288868652n@googlegroups.com>
<e1616741-0674-ec26-5d6f-f5277e0bdd2a@att.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cce0d6f9-5cac-4468-9a60-bd920e1871acn@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Mon, 30 Aug 2021 10:17:08 +0000
Content-Type: text/plain; charset="UTF-8"
 by: WM - Mon, 30 Aug 2021 10:17 UTC

Jim Burns schrieb am Sonntag, 29. August 2021 um 19:06:47 UTC+2:
> On 8/29/2021 12:08 PM, WM wrote:
> > William schrieb
> > am Samstag, 28. August 2021 um 22:01:23 UTC+2:
> >> On Saturday, August 28, 2021 at 3:47:34 PM UTC-3,
> >> WM wrote:
>
> >>>> It is not true that there must be
> >>>> a gap next to zero, or a point next to zero.
> >>>
> >>> Either there is a definable point next to zero or
> >>> there is no definable point next to zero.
> >>> Do you agree?
> >>
> >> There is neither a point ("definable" or not)
> >> nor a gap next to zero.
> >
> > What is next to zero?
> > Note that "nothing" is synonymous to "gap".
> Note that "nothing" is NOT synonymous with "gap".

By my definition it is. But you can also say: Either there is a point next to zero or there is no point next to zero.

Regards, WM

Re: Counterexample

<d00bd987-4b28-4028-98aa-31559f8535c8n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73644&group=sci.math#73644

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1aaa:: with SMTP id s42mr20036404qtc.122.1630318792521;
Mon, 30 Aug 2021 03:19:52 -0700 (PDT)
X-Received: by 2002:a25:4587:: with SMTP id s129mr22480476yba.257.1630318792352;
Mon, 30 Aug 2021 03:19:52 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 03:19:52 -0700 (PDT)
In-Reply-To: <11cfe3fc-ca78-4861-b72b-f7b31c4d9352n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:12db:5070:3abc:b10a:5983;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:12db:5070:3abc:b10a:5983
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<1e09d7e9-cd28-40c0-8b9b-f9c913308b9en@googlegroups.com> <8f86a544-d201-4f26-898c-de578d207d89n@googlegroups.com>
<b439b36e-c64c-44c0-9ebc-ec97bb12b6d0n@googlegroups.com> <5c8ff84a-8ce5-f7ee-6d82-2d21d17cb3d4@att.net>
<cca5e92d-6478-4c89-827a-e92f5d499557n@googlegroups.com> <8c7e566d-ea1e-0127-849b-f2579bba8d34@att.net>
<3e9ff122-2783-46d3-a62a-61600fdc4018n@googlegroups.com> <21784a52-5b4d-3cb0-15f7-4bc03b884f05@att.net>
<413b8730-afe4-4f0f-b776-9a44d51a184fn@googlegroups.com> <73c3560b-20cf-8cea-f6de-845f4a9af3bd@att.net>
<8c1481cc-7935-422e-bf9d-85d41f877dd7n@googlegroups.com> <eda54bea-ccc0-4573-97f5-f3f2de23f706n@googlegroups.com>
<164457d8-a8c0-491f-8059-3ae47f0ff9a0n@googlegroups.com> <64d2c427-9ec8-45a4-a1a6-b8092624be91n@googlegroups.com>
<4a64d433-03bf-4ba0-b3f7-d1403222a552n@googlegroups.com> <8bc41398-233b-84f3-edf3-d3b87efcdb91@att.net>
<b27434d2-ff06-4d0d-844d-819c3fbe8456n@googlegroups.com> <2e0af624-7841-1b06-7d2d-e5780f6520fd@att.net>
<334a36c1-cc89-404d-9f85-4fbd4e0b5f2fn@googlegroups.com> <6fef4b28-b856-4584-bcdf-0f3106376db7n@googlegroups.com>
<79d16775-7a21-4067-a903-ad282feb9c15n@googlegroups.com> <c17fa888-c4fc-4624-82bb-f06e5778d891n@googlegroups.com>
<09aa1a06-caca-4207-b350-7d1ea7c6e8d3n@googlegroups.com> <4502b59d-123a-477e-a539-23755ac31299n@googlegroups.com>
<6de0143d-0ca5-4f7e-8bc4-10f4303d36e8n@googlegroups.com> <a4dea3b1-ac49-4d96-94f8-c376741cb8bdn@googlegroups.com>
<747d6e37-6bd3-46c7-a3cd-f1ce586f555dn@googlegroups.com> <fdf3ae44-541f-41ed-84d3-fca9c51458a7n@googlegroups.com>
<60ce44d9-c549-4567-b047-82865cd4f57fn@googlegroups.com> <d9a90e4d-60f9-4abf-86c4-c8148606bd92n@googlegroups.com>
<d44cdb1d-e0df-41e3-856c-55480305e639n@googlegroups.com> <2f440693-7c7c-4f48-a93c-d8a7d884dc1en@googlegroups.com>
<27cd4afb-5d84-4757-9ed7-a561a3cd4f86n@googlegroups.com> <dda2b6bc-27c6-45bc-a98d-01ce949d0002n@googlegroups.com>
<aa6b3dd4-e8c5-40ff-bba1-ab4aa19e378cn@googlegroups.com> <0513dcef-1037-496c-bca5-4fe5db5e147bn@googlegroups.com>
<d32b7d02-35af-46b7-8190-a5b6a660533en@googlegroups.com> <68ec71b8-3f94-4553-b918-522d7e791a9fn@googlegroups.com>
<bacc1d7b-e7d8-41ae-97d2-d95da4ecadefn@googlegroups.com> <4c56ede6-daa8-4f48-9c25-6999241d02b0n@googlegroups.com>
<89ede4dd-974a-43f3-957b-e5e998f2e684n@googlegroups.com> <dd0c7ed2-3e08-4d9c-8a36-05d25f954bcbn@googlegroups.com>
<12030b63-7013-4c99-8091-261d6e81fac0n@googlegroups.com> <217b20f5-bef5-4940-99b4-83cab982dc11n@googlegroups.com>
<084493be-7d0e-4b8a-81bc-c5294fa0d42bn@googlegroups.com> <6bf6ebd8-fec7-46d0-922f-ec77ce430328n@googlegroups.com>
<35b46cb8-598f-4169-bd23-1b61db02f6ben@googlegroups.com> <6867f7f4-129a-40a1-9ab5-f63da7bbe246n@googlegroups.com>
<85226894-ad24-44bb-a16a-e95ea7b96fban@googlegroups.com> <6aba3d3a-dfa0-4fe0-a332-9da5f52dc70en@googlegroups.com>
<91ba6df0-6ad3-4bea-9a90-f75619965d31n@googlegroups.com> <38c7d25b-6eb8-44c4-91cc-1a79b69c2c40n@googlegroups.com>
<4916b777-b70b-430e-8c56-d1a2ca78b03en@googlegroups.com> <8615d928-ab32-452d-81c4-bb15d89235ffn@googlegroups.com>
<c6a3173f-2aff-43f8-9c24-d55ad84f947cn@googlegroups.com> <82d4f10c-7f3f-4853-b357-812ea514a05en@googlegroups.com>
<05fafd19-77ad-49b6-ab07-bb22e551d152n@googlegroups.com> <ea9cc073-8742-4e34-b1e6-321563c22bbcn@googlegroups.com>
<002f7fa8-0286-4db8-998c-f247045b1532n@googlegroups.com> <d4d87214-a916-4165-9e1b-623e6cd9eacdn@googlegroups.com>
<fbeb895f-ecce-4066-a505-ba951a5460cfn@googlegroups.com> <b922319c-2c82-42bd-888f-eb630a473e1bn@googlegroups.com>
<1504c9c8-3f20-45ed-a3b6-4d45b346e17an@googlegroups.com> <69d0fe1f-9e65-4783-8a63-262fe487c897n@googlegroups.com>
<3ebfb56b-0fd7-439a-b468-6583c647534bn@googlegroups.com> <950d0dad-3e09-4acd-9199-f494f35c635bn@googlegroups.com>
<c60446fd-dacf-4f05-9681-bb362c4a68f8n@googlegroups.com> <62b6493b-4052-4d2a-9aee-e35438d3da00n@googlegroups.com>
<80a4aa48-a8ad-4a26-b838-e510165fb2fcn@googlegroups.com> <2887d9ab-99dc-40cc-aa86-381b5d3da1d0n@googlegroups.com>
<6afaf03a-7626-4ddb-8af7-f76b9bac9accn@googlegroups.com> <c0d11687-29ad-4639-8ea6-c71ed5ddb043n@googlegroups.com>
<72809c10-f572-40d0-b2c6-cdfd0faa17cbn@googlegroups.com> <c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com>
<227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com> <195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com>
<df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com> <7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com>
<5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com> <a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com>
<af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com> <da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com>
<c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com> <dbe72691-130e-478d-a619-acc81f107474n@googlegroups.com>
<76611652-0fb5-45e5-ae8b-0e61c0cd36bcn@googlegroups.com> <49c03189-7d93-4e79-9dcd-a63659a36229n@googlegroups.com>
<ce38466f-7fb5-4f7c-bc65-7b94b6f6558fn@googlegroups.com> <48941e25-d35c-4401-bff3-a56c3a6db028n@googlegroups.com>
<bbcb18b0-9ba5-408b-be37-1637e4c220c8n@googlegroups.com> <11cfe3fc-ca78-4861-b72b-f7b31c4d9352n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d00bd987-4b28-4028-98aa-31559f8535c8n@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Mon, 30 Aug 2021 10:19:52 +0000
Content-Type: text/plain; charset="UTF-8"
 by: WM - Mon, 30 Aug 2021 10:19 UTC

Greg Cunt schrieb am Sonntag, 29. August 2021 um 19:26:21 UTC+2:
> On Sunday, August 29, 2021 at 6:35:52 PM UTC+2, WM wrote:
> > Greg Cunt schrieb am Sonntag, 29. August 2021 um 18:23:52 UTC+2:
> > >
> > > There is no "point next to zero",
> > >
> > Then there is a gap.
> No, there is no gap.

So it is. There are dark numbers, none of which can be identified, let alone be identified as the last one.
>
> Hint: ~Ex e IR: Ay e (0, 1]: 0 < x < y .

Of course not. What you call existing means it can be chosen.

Regards, WM

Re: Counterexample

<f83808b2-2870-4825-a589-ba1f64040a60n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73646&group=sci.math#73646

  copy link   Newsgroups: sci.math
X-Received: by 2002:a0c:f351:: with SMTP id e17mr22102797qvm.21.1630319003441;
Mon, 30 Aug 2021 03:23:23 -0700 (PDT)
X-Received: by 2002:a25:a522:: with SMTP id h31mr23825835ybi.355.1630319003331;
Mon, 30 Aug 2021 03:23:23 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 03:23:23 -0700 (PDT)
In-Reply-To: <53c4557d-0bb7-67df-f316-9a5504834d37@att.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:12db:5070:3abc:b10a:5983;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:12db:5070:3abc:b10a:5983
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<2887d9ab-99dc-40cc-aa86-381b5d3da1d0n@googlegroups.com> <6afaf03a-7626-4ddb-8af7-f76b9bac9accn@googlegroups.com>
<c0d11687-29ad-4639-8ea6-c71ed5ddb043n@googlegroups.com> <72809c10-f572-40d0-b2c6-cdfd0faa17cbn@googlegroups.com>
<c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com> <227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com>
<195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com> <df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com> <5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com> <af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com> <c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<212f8f26-ffd6-3bfd-703b-210486e45cc7@att.net> <0f5f35b6-35e0-450c-af17-9590f5b5c605n@googlegroups.com>
<53c4557d-0bb7-67df-f316-9a5504834d37@att.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f83808b2-2870-4825-a589-ba1f64040a60n@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Mon, 30 Aug 2021 10:23:23 +0000
Content-Type: text/plain; charset="UTF-8"
 by: WM - Mon, 30 Aug 2021 10:23 UTC

Jim Burns schrieb am Sonntag, 29. August 2021 um 19:31:15 UTC+2:
> On 8/29/2021 12:31 PM, WM wrote:
> > Jim Burns schrieb
> > am Sonntag, 29. August 2021 um 06:58:57 UTC+2:
> >> In order for x to be next to 0,
> >> there must be no point y between 0 and x,
> >> there must be no point y in (0,x).
> >> In other words, (0,x) must be a gap.
> >
> > You forget that dark points cannot be analyzed
> > as individuals or ordered.
> A gap with points in it is not a gap.
> Please do not forget this.

No, if there are point, there is no gap.

> > But either there is something next to 0 or nothing.
> >
> > This are the alternatives:
> > A defined point or not a defined point.
> For each interval (0, d), there is a unit fraction 1/k
> such that a steppable 0,...,k exists in which,
> for adjacent i,j, j = i+1.

A defined point or a definable point cannot be next to zero.

> What is there that can be next to zero
> without there being a gap between it and zero?

Dark points.

Regards, WM

Re: Counterexample

<8c2307df-3304-46a5-9371-69958aef5ebfn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73648&group=sci.math#73648

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1aaa:: with SMTP id s42mr20137941qtc.122.1630320771896;
Mon, 30 Aug 2021 03:52:51 -0700 (PDT)
X-Received: by 2002:a25:a527:: with SMTP id h36mr23454770ybi.326.1630320771777;
Mon, 30 Aug 2021 03:52:51 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 03:52:51 -0700 (PDT)
In-Reply-To: <be6df617-2070-4bca-97d3-91252c75912en@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:12db:10e4:2090:8c4f:cc0d;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:12db:10e4:2090:8c4f:cc0d
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<1e09d7e9-cd28-40c0-8b9b-f9c913308b9en@googlegroups.com> <8f86a544-d201-4f26-898c-de578d207d89n@googlegroups.com>
<b439b36e-c64c-44c0-9ebc-ec97bb12b6d0n@googlegroups.com> <5c8ff84a-8ce5-f7ee-6d82-2d21d17cb3d4@att.net>
<cca5e92d-6478-4c89-827a-e92f5d499557n@googlegroups.com> <8c7e566d-ea1e-0127-849b-f2579bba8d34@att.net>
<3e9ff122-2783-46d3-a62a-61600fdc4018n@googlegroups.com> <21784a52-5b4d-3cb0-15f7-4bc03b884f05@att.net>
<413b8730-afe4-4f0f-b776-9a44d51a184fn@googlegroups.com> <73c3560b-20cf-8cea-f6de-845f4a9af3bd@att.net>
<8c1481cc-7935-422e-bf9d-85d41f877dd7n@googlegroups.com> <eda54bea-ccc0-4573-97f5-f3f2de23f706n@googlegroups.com>
<164457d8-a8c0-491f-8059-3ae47f0ff9a0n@googlegroups.com> <64d2c427-9ec8-45a4-a1a6-b8092624be91n@googlegroups.com>
<4a64d433-03bf-4ba0-b3f7-d1403222a552n@googlegroups.com> <8bc41398-233b-84f3-edf3-d3b87efcdb91@att.net>
<b27434d2-ff06-4d0d-844d-819c3fbe8456n@googlegroups.com> <2e0af624-7841-1b06-7d2d-e5780f6520fd@att.net>
<334a36c1-cc89-404d-9f85-4fbd4e0b5f2fn@googlegroups.com> <6fef4b28-b856-4584-bcdf-0f3106376db7n@googlegroups.com>
<79d16775-7a21-4067-a903-ad282feb9c15n@googlegroups.com> <c17fa888-c4fc-4624-82bb-f06e5778d891n@googlegroups.com>
<09aa1a06-caca-4207-b350-7d1ea7c6e8d3n@googlegroups.com> <4502b59d-123a-477e-a539-23755ac31299n@googlegroups.com>
<6de0143d-0ca5-4f7e-8bc4-10f4303d36e8n@googlegroups.com> <a4dea3b1-ac49-4d96-94f8-c376741cb8bdn@googlegroups.com>
<747d6e37-6bd3-46c7-a3cd-f1ce586f555dn@googlegroups.com> <fdf3ae44-541f-41ed-84d3-fca9c51458a7n@googlegroups.com>
<60ce44d9-c549-4567-b047-82865cd4f57fn@googlegroups.com> <d9a90e4d-60f9-4abf-86c4-c8148606bd92n@googlegroups.com>
<d44cdb1d-e0df-41e3-856c-55480305e639n@googlegroups.com> <2f440693-7c7c-4f48-a93c-d8a7d884dc1en@googlegroups.com>
<27cd4afb-5d84-4757-9ed7-a561a3cd4f86n@googlegroups.com> <dda2b6bc-27c6-45bc-a98d-01ce949d0002n@googlegroups.com>
<aa6b3dd4-e8c5-40ff-bba1-ab4aa19e378cn@googlegroups.com> <0513dcef-1037-496c-bca5-4fe5db5e147bn@googlegroups.com>
<d32b7d02-35af-46b7-8190-a5b6a660533en@googlegroups.com> <68ec71b8-3f94-4553-b918-522d7e791a9fn@googlegroups.com>
<bacc1d7b-e7d8-41ae-97d2-d95da4ecadefn@googlegroups.com> <4c56ede6-daa8-4f48-9c25-6999241d02b0n@googlegroups.com>
<89ede4dd-974a-43f3-957b-e5e998f2e684n@googlegroups.com> <dd0c7ed2-3e08-4d9c-8a36-05d25f954bcbn@googlegroups.com>
<12030b63-7013-4c99-8091-261d6e81fac0n@googlegroups.com> <217b20f5-bef5-4940-99b4-83cab982dc11n@googlegroups.com>
<084493be-7d0e-4b8a-81bc-c5294fa0d42bn@googlegroups.com> <6bf6ebd8-fec7-46d0-922f-ec77ce430328n@googlegroups.com>
<35b46cb8-598f-4169-bd23-1b61db02f6ben@googlegroups.com> <6867f7f4-129a-40a1-9ab5-f63da7bbe246n@googlegroups.com>
<85226894-ad24-44bb-a16a-e95ea7b96fban@googlegroups.com> <6aba3d3a-dfa0-4fe0-a332-9da5f52dc70en@googlegroups.com>
<91ba6df0-6ad3-4bea-9a90-f75619965d31n@googlegroups.com> <38c7d25b-6eb8-44c4-91cc-1a79b69c2c40n@googlegroups.com>
<4916b777-b70b-430e-8c56-d1a2ca78b03en@googlegroups.com> <8615d928-ab32-452d-81c4-bb15d89235ffn@googlegroups.com>
<c6a3173f-2aff-43f8-9c24-d55ad84f947cn@googlegroups.com> <82d4f10c-7f3f-4853-b357-812ea514a05en@googlegroups.com>
<05fafd19-77ad-49b6-ab07-bb22e551d152n@googlegroups.com> <ea9cc073-8742-4e34-b1e6-321563c22bbcn@googlegroups.com>
<002f7fa8-0286-4db8-998c-f247045b1532n@googlegroups.com> <d4d87214-a916-4165-9e1b-623e6cd9eacdn@googlegroups.com>
<fbeb895f-ecce-4066-a505-ba951a5460cfn@googlegroups.com> <b922319c-2c82-42bd-888f-eb630a473e1bn@googlegroups.com>
<1504c9c8-3f20-45ed-a3b6-4d45b346e17an@googlegroups.com> <69d0fe1f-9e65-4783-8a63-262fe487c897n@googlegroups.com>
<3ebfb56b-0fd7-439a-b468-6583c647534bn@googlegroups.com> <950d0dad-3e09-4acd-9199-f494f35c635bn@googlegroups.com>
<c60446fd-dacf-4f05-9681-bb362c4a68f8n@googlegroups.com> <62b6493b-4052-4d2a-9aee-e35438d3da00n@googlegroups.com>
<80a4aa48-a8ad-4a26-b838-e510165fb2fcn@googlegroups.com> <2887d9ab-99dc-40cc-aa86-381b5d3da1d0n@googlegroups.com>
<6afaf03a-7626-4ddb-8af7-f76b9bac9accn@googlegroups.com> <c0d11687-29ad-4639-8ea6-c71ed5ddb043n@googlegroups.com>
<72809c10-f572-40d0-b2c6-cdfd0faa17cbn@googlegroups.com> <c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com>
<227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com> <195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com>
<df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com> <7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com>
<5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com> <a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com>
<af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com> <da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com>
<c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com> <3bf11478-54c0-4180-9178-1b7ea66aed0en@googlegroups.com>
<390e6274-9d26-41e8-9f74-e2f288868652n@googlegroups.com> <b643c115-ad44-40d2-a171-b0f793536c22n@googlegroups.com>
<8676f702-0096-417a-8292-6deed3339f77n@googlegroups.com> <be6df617-2070-4bca-97d3-91252c75912en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8c2307df-3304-46a5-9371-69958aef5ebfn@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Mon, 30 Aug 2021 10:52:51 +0000
Content-Type: text/plain; charset="UTF-8"
 by: WM - Mon, 30 Aug 2021 10:52 UTC

William schrieb am Sonntag, 29. August 2021 um 22:35:47 UTC+2:
> On Sunday, August 29, 2021 at 4:43:07 PM UTC-3, WM wrote:
> > William schrieb am Sonntag, 29. August 2021 um 20:09:41 UTC+2:
> > > On Sunday, August 29, 2021 at 1:09:02 PM UTC-3, WM wrote:
> > >
> > > > What is next to zero? Note that "nothing" is synonymous to "gap".
> > > Nope
> > > A gap next to 0 is an interval [0,x] (note x must be a real number
> > The end of the gap is a real number x
> and a "gap", like a set, is not something that changes.

The collection of definable points is the complement. Therefore the size of the gap changes.

Regards, WM

Re: Counterexample

<4ba91f67-a338-4cad-af69-5e7601548bcfn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73649&group=sci.math#73649

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:135c:: with SMTP id c28mr21372660qkl.18.1630320970611;
Mon, 30 Aug 2021 03:56:10 -0700 (PDT)
X-Received: by 2002:a25:1b86:: with SMTP id b128mr22695945ybb.124.1630320970483;
Mon, 30 Aug 2021 03:56:10 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 03:56:10 -0700 (PDT)
In-Reply-To: <893bf5d6-0573-471d-0820-ded860dc253c@att.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:12db:10e4:2090:8c4f:cc0d;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:12db:10e4:2090:8c4f:cc0d
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<ea9cc073-8742-4e34-b1e6-321563c22bbcn@googlegroups.com> <002f7fa8-0286-4db8-998c-f247045b1532n@googlegroups.com>
<d4d87214-a916-4165-9e1b-623e6cd9eacdn@googlegroups.com> <fbeb895f-ecce-4066-a505-ba951a5460cfn@googlegroups.com>
<b922319c-2c82-42bd-888f-eb630a473e1bn@googlegroups.com> <1504c9c8-3f20-45ed-a3b6-4d45b346e17an@googlegroups.com>
<69d0fe1f-9e65-4783-8a63-262fe487c897n@googlegroups.com> <3ebfb56b-0fd7-439a-b468-6583c647534bn@googlegroups.com>
<950d0dad-3e09-4acd-9199-f494f35c635bn@googlegroups.com> <c60446fd-dacf-4f05-9681-bb362c4a68f8n@googlegroups.com>
<62b6493b-4052-4d2a-9aee-e35438d3da00n@googlegroups.com> <80a4aa48-a8ad-4a26-b838-e510165fb2fcn@googlegroups.com>
<2887d9ab-99dc-40cc-aa86-381b5d3da1d0n@googlegroups.com> <6afaf03a-7626-4ddb-8af7-f76b9bac9accn@googlegroups.com>
<72126f50-3810-59f9-ae18-af6040d5be4b@att.net> <08fb3f75-fc03-4ade-9d31-98e8d448f6ecn@googlegroups.com>
<893bf5d6-0573-471d-0820-ded860dc253c@att.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4ba91f67-a338-4cad-af69-5e7601548bcfn@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Mon, 30 Aug 2021 10:56:10 +0000
Content-Type: text/plain; charset="UTF-8"
 by: WM - Mon, 30 Aug 2021 10:56 UTC

Jim Burns schrieb am Sonntag, 29. August 2021 um 22:50:17 UTC+2:
> On 8/27/2021 7:27 AM, WM wrote:
> > Jim Burns schrieb
> > am Freitag, 27. August 2021 um 00:20:04 UTC+2:
>
> >> Each unit fraction 1/k is not _next to_ 0
> >> because 0 < 1/(k+1) < 1/k
> >
> > The cursor moving from 0 to 1 will encounter
> > some unit fraction first.
>
> The cursor can only encounter a non-unit-fraction unit fraction
> first. Any unit-fraction unit fraction will not be first.

One of them must be first. If the cursor is at 1/17, then this will not be the first unit fraction encoutered.

Regards, WM

Re: Counterexample

<f4798207-fabe-40f9-8997-16a030dce5ffn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73672&group=sci.math#73672

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7155:: with SMTP id h21mr20577126qtp.231.1630325248959;
Mon, 30 Aug 2021 05:07:28 -0700 (PDT)
X-Received: by 2002:a25:b787:: with SMTP id n7mr23501785ybh.468.1630325248725;
Mon, 30 Aug 2021 05:07:28 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 05:07:28 -0700 (PDT)
In-Reply-To: <4ba91f67-a338-4cad-af69-5e7601548bcfn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=79.206.193.219; posting-account=-75WZwoAAABL0f0-07Kn6tvNHWg7W9AE
NNTP-Posting-Host: 79.206.193.219
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<ea9cc073-8742-4e34-b1e6-321563c22bbcn@googlegroups.com> <002f7fa8-0286-4db8-998c-f247045b1532n@googlegroups.com>
<d4d87214-a916-4165-9e1b-623e6cd9eacdn@googlegroups.com> <fbeb895f-ecce-4066-a505-ba951a5460cfn@googlegroups.com>
<b922319c-2c82-42bd-888f-eb630a473e1bn@googlegroups.com> <1504c9c8-3f20-45ed-a3b6-4d45b346e17an@googlegroups.com>
<69d0fe1f-9e65-4783-8a63-262fe487c897n@googlegroups.com> <3ebfb56b-0fd7-439a-b468-6583c647534bn@googlegroups.com>
<950d0dad-3e09-4acd-9199-f494f35c635bn@googlegroups.com> <c60446fd-dacf-4f05-9681-bb362c4a68f8n@googlegroups.com>
<62b6493b-4052-4d2a-9aee-e35438d3da00n@googlegroups.com> <80a4aa48-a8ad-4a26-b838-e510165fb2fcn@googlegroups.com>
<2887d9ab-99dc-40cc-aa86-381b5d3da1d0n@googlegroups.com> <6afaf03a-7626-4ddb-8af7-f76b9bac9accn@googlegroups.com>
<72126f50-3810-59f9-ae18-af6040d5be4b@att.net> <08fb3f75-fc03-4ade-9d31-98e8d448f6ecn@googlegroups.com>
<893bf5d6-0573-471d-0820-ded860dc253c@att.net> <4ba91f67-a338-4cad-af69-5e7601548bcfn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f4798207-fabe-40f9-8997-16a030dce5ffn@googlegroups.com>
Subject: Re: Counterexample
From: franz.fr...@gmail.com (Greg Cunt)
Injection-Date: Mon, 30 Aug 2021 12:07:28 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Greg Cunt - Mon, 30 Aug 2021 12:07 UTC

On Monday, August 30, 2021 at 12:56:15 PM UTC+2, WM wrote:
> Jim Burns schrieb am Sonntag, 29. August 2021 um 22:50:17 UTC+2:
> >
> > The cursor can only encounter a non-unit-fraction unit fraction
> > first. Any unit-fraction unit fraction will not be first.

For simplicity let's call a "unit-fraction unit fraction" "unit-fraction".

> One of them must be first.

No. (Your claim is just one of the dogmas of your matheology.)

> If the cursor is at 1/17, then this will not be the first unit fraction encoutered.

Well, this claim can be compared with Russell's "The present king of France is bald."

Or, say, "1/17 is not the present king of France."

The problem with these sentences/claims is that THERE IS NO present king of France. (Concerning your orignal claim: There is no first unit fraction [encoutered].)

Go figure.

Re: Counterexample

<b9f5847e-b9cf-4184-93e3-919c120f89aan@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73676&group=sci.math#73676

  copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:4b14:: with SMTP id r20mr22011296qvw.61.1630326644196;
Mon, 30 Aug 2021 05:30:44 -0700 (PDT)
X-Received: by 2002:a25:b983:: with SMTP id r3mr22556349ybg.430.1630326643981;
Mon, 30 Aug 2021 05:30:43 -0700 (PDT)
Path: i2pn2.org!i2pn.org!news.niel.me!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 05:30:43 -0700 (PDT)
In-Reply-To: <f4798207-fabe-40f9-8997-16a030dce5ffn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:12db:19ad:ec14:e0fc:7f61;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:12db:19ad:ec14:e0fc:7f61
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<ea9cc073-8742-4e34-b1e6-321563c22bbcn@googlegroups.com> <002f7fa8-0286-4db8-998c-f247045b1532n@googlegroups.com>
<d4d87214-a916-4165-9e1b-623e6cd9eacdn@googlegroups.com> <fbeb895f-ecce-4066-a505-ba951a5460cfn@googlegroups.com>
<b922319c-2c82-42bd-888f-eb630a473e1bn@googlegroups.com> <1504c9c8-3f20-45ed-a3b6-4d45b346e17an@googlegroups.com>
<69d0fe1f-9e65-4783-8a63-262fe487c897n@googlegroups.com> <3ebfb56b-0fd7-439a-b468-6583c647534bn@googlegroups.com>
<950d0dad-3e09-4acd-9199-f494f35c635bn@googlegroups.com> <c60446fd-dacf-4f05-9681-bb362c4a68f8n@googlegroups.com>
<62b6493b-4052-4d2a-9aee-e35438d3da00n@googlegroups.com> <80a4aa48-a8ad-4a26-b838-e510165fb2fcn@googlegroups.com>
<2887d9ab-99dc-40cc-aa86-381b5d3da1d0n@googlegroups.com> <6afaf03a-7626-4ddb-8af7-f76b9bac9accn@googlegroups.com>
<72126f50-3810-59f9-ae18-af6040d5be4b@att.net> <08fb3f75-fc03-4ade-9d31-98e8d448f6ecn@googlegroups.com>
<893bf5d6-0573-471d-0820-ded860dc253c@att.net> <4ba91f67-a338-4cad-af69-5e7601548bcfn@googlegroups.com>
<f4798207-fabe-40f9-8997-16a030dce5ffn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b9f5847e-b9cf-4184-93e3-919c120f89aan@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Mon, 30 Aug 2021 12:30:44 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: WM - Mon, 30 Aug 2021 12:30 UTC

Greg Cunt schrieb am Montag, 30. August 2021 um 14:07:35 UTC+2:

> > If the cursor is at 1/17, then this will not be the first unit fraction encoutered.
> Well, this claim can be compared with Russell's "The present king of France is bald."

Wrong. 1/17 does exist.

> The problem with these sentences/claims is that THERE IS NO present king of France. (Concerning your orignal claim: There is no first unit fraction [encoutered].)

There is a first unit fraction encounterd, depending on the scale, the velocity, the attentiveness, etc. But if having encounterede it, it will be possible to find even smaller unit fractions. Nevertheless ℵo unit fractions will remain dark.

Regards, WM

Re: Counterexample

<76925d0d-3502-44ba-86a2-ac3f78c934e7n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73684&group=sci.math#73684

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7155:: with SMTP id h21mr20862384qtp.231.1630329325183;
Mon, 30 Aug 2021 06:15:25 -0700 (PDT)
X-Received: by 2002:a25:c6cd:: with SMTP id k196mr22538761ybf.348.1630329325042;
Mon, 30 Aug 2021 06:15:25 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 06:15:24 -0700 (PDT)
In-Reply-To: <b9f5847e-b9cf-4184-93e3-919c120f89aan@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=79.206.193.219; posting-account=-75WZwoAAABL0f0-07Kn6tvNHWg7W9AE
NNTP-Posting-Host: 79.206.193.219
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<ea9cc073-8742-4e34-b1e6-321563c22bbcn@googlegroups.com> <002f7fa8-0286-4db8-998c-f247045b1532n@googlegroups.com>
<d4d87214-a916-4165-9e1b-623e6cd9eacdn@googlegroups.com> <fbeb895f-ecce-4066-a505-ba951a5460cfn@googlegroups.com>
<b922319c-2c82-42bd-888f-eb630a473e1bn@googlegroups.com> <1504c9c8-3f20-45ed-a3b6-4d45b346e17an@googlegroups.com>
<69d0fe1f-9e65-4783-8a63-262fe487c897n@googlegroups.com> <3ebfb56b-0fd7-439a-b468-6583c647534bn@googlegroups.com>
<950d0dad-3e09-4acd-9199-f494f35c635bn@googlegroups.com> <c60446fd-dacf-4f05-9681-bb362c4a68f8n@googlegroups.com>
<62b6493b-4052-4d2a-9aee-e35438d3da00n@googlegroups.com> <80a4aa48-a8ad-4a26-b838-e510165fb2fcn@googlegroups.com>
<2887d9ab-99dc-40cc-aa86-381b5d3da1d0n@googlegroups.com> <6afaf03a-7626-4ddb-8af7-f76b9bac9accn@googlegroups.com>
<72126f50-3810-59f9-ae18-af6040d5be4b@att.net> <08fb3f75-fc03-4ade-9d31-98e8d448f6ecn@googlegroups.com>
<893bf5d6-0573-471d-0820-ded860dc253c@att.net> <4ba91f67-a338-4cad-af69-5e7601548bcfn@googlegroups.com>
<f4798207-fabe-40f9-8997-16a030dce5ffn@googlegroups.com> <b9f5847e-b9cf-4184-93e3-919c120f89aan@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <76925d0d-3502-44ba-86a2-ac3f78c934e7n@googlegroups.com>
Subject: Re: Counterexample
From: franz.fr...@gmail.com (Greg Cunt)
Injection-Date: Mon, 30 Aug 2021 13:15:25 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Greg Cunt - Mon, 30 Aug 2021 13:15 UTC

On Monday, August 30, 2021 at 2:30:49 PM UTC+2, WM wrote:
> Greg Cunt schrieb am Montag, 30. August 2021 um 14:07:35 UTC+2:
> >
> > The problem with these sentences/claims is that THERE IS NO present king of France. (Concerning your orignal claim: There is no first unit fraction [encoutered].)
> >
> There is a first unit fraction encounterd, depending on the scale, the velocity, the attentiveness, etc.

What you mean is "realized" not "encounterd". So your "cursor" is a compexe structure with inner workings? (How do unit fractions and/or rational numbers affect this mechanism, btw.? I mean, how does it recognize unit fractions?)

Still there's no first unit fraction. THAT was the original topic, you silly crank. Not if there's a "first unit fraction realized by a/the cursor".

Holy shit!

Langsam habe ich Ihren Schachsinn dicke, Mückenheim. Soviel Scheiße wie Sie daherlaber, das kann kein Mensch aushalten.

Re: Counterexample

<39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73687&group=sci.math#73687

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:734c:: with SMTP id q12mr20929075qtp.192.1630329838681;
Mon, 30 Aug 2021 06:23:58 -0700 (PDT)
X-Received: by 2002:a25:b787:: with SMTP id n7mr23965798ybh.468.1630329838491;
Mon, 30 Aug 2021 06:23:58 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!news.dns-netz.com!news.freedyn.net!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!news-out.netnews.com!news.alt.net!fdc3.netnews.com!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 30 Aug 2021 06:23:58 -0700 (PDT)
In-Reply-To: <8c2307df-3304-46a5-9371-69958aef5ebfn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=156.57.37.210; posting-account=1lE9SQkAAADFrJsDv61dh1YXcJ_ahy5I
NNTP-Posting-Host: 156.57.37.210
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<1e09d7e9-cd28-40c0-8b9b-f9c913308b9en@googlegroups.com> <8f86a544-d201-4f26-898c-de578d207d89n@googlegroups.com>
<b439b36e-c64c-44c0-9ebc-ec97bb12b6d0n@googlegroups.com> <5c8ff84a-8ce5-f7ee-6d82-2d21d17cb3d4@att.net>
<cca5e92d-6478-4c89-827a-e92f5d499557n@googlegroups.com> <8c7e566d-ea1e-0127-849b-f2579bba8d34@att.net>
<3e9ff122-2783-46d3-a62a-61600fdc4018n@googlegroups.com> <21784a52-5b4d-3cb0-15f7-4bc03b884f05@att.net>
<413b8730-afe4-4f0f-b776-9a44d51a184fn@googlegroups.com> <73c3560b-20cf-8cea-f6de-845f4a9af3bd@att.net>
<8c1481cc-7935-422e-bf9d-85d41f877dd7n@googlegroups.com> <eda54bea-ccc0-4573-97f5-f3f2de23f706n@googlegroups.com>
<164457d8-a8c0-491f-8059-3ae47f0ff9a0n@googlegroups.com> <64d2c427-9ec8-45a4-a1a6-b8092624be91n@googlegroups.com>
<4a64d433-03bf-4ba0-b3f7-d1403222a552n@googlegroups.com> <8bc41398-233b-84f3-edf3-d3b87efcdb91@att.net>
<b27434d2-ff06-4d0d-844d-819c3fbe8456n@googlegroups.com> <2e0af624-7841-1b06-7d2d-e5780f6520fd@att.net>
<334a36c1-cc89-404d-9f85-4fbd4e0b5f2fn@googlegroups.com> <6fef4b28-b856-4584-bcdf-0f3106376db7n@googlegroups.com>
<79d16775-7a21-4067-a903-ad282feb9c15n@googlegroups.com> <c17fa888-c4fc-4624-82bb-f06e5778d891n@googlegroups.com>
<09aa1a06-caca-4207-b350-7d1ea7c6e8d3n@googlegroups.com> <4502b59d-123a-477e-a539-23755ac31299n@googlegroups.com>
<6de0143d-0ca5-4f7e-8bc4-10f4303d36e8n@googlegroups.com> <a4dea3b1-ac49-4d96-94f8-c376741cb8bdn@googlegroups.com>
<747d6e37-6bd3-46c7-a3cd-f1ce586f555dn@googlegroups.com> <fdf3ae44-541f-41ed-84d3-fca9c51458a7n@googlegroups.com>
<60ce44d9-c549-4567-b047-82865cd4f57fn@googlegroups.com> <d9a90e4d-60f9-4abf-86c4-c8148606bd92n@googlegroups.com>
<d44cdb1d-e0df-41e3-856c-55480305e639n@googlegroups.com> <2f440693-7c7c-4f48-a93c-d8a7d884dc1en@googlegroups.com>
<27cd4afb-5d84-4757-9ed7-a561a3cd4f86n@googlegroups.com> <dda2b6bc-27c6-45bc-a98d-01ce949d0002n@googlegroups.com>
<aa6b3dd4-e8c5-40ff-bba1-ab4aa19e378cn@googlegroups.com> <0513dcef-1037-496c-bca5-4fe5db5e147bn@googlegroups.com>
<d32b7d02-35af-46b7-8190-a5b6a660533en@googlegroups.com> <68ec71b8-3f94-4553-b918-522d7e791a9fn@googlegroups.com>
<bacc1d7b-e7d8-41ae-97d2-d95da4ecadefn@googlegroups.com> <4c56ede6-daa8-4f48-9c25-6999241d02b0n@googlegroups.com>
<89ede4dd-974a-43f3-957b-e5e998f2e684n@googlegroups.com> <dd0c7ed2-3e08-4d9c-8a36-05d25f954bcbn@googlegroups.com>
<12030b63-7013-4c99-8091-261d6e81fac0n@googlegroups.com> <217b20f5-bef5-4940-99b4-83cab982dc11n@googlegroups.com>
<084493be-7d0e-4b8a-81bc-c5294fa0d42bn@googlegroups.com> <6bf6ebd8-fec7-46d0-922f-ec77ce430328n@googlegroups.com>
<35b46cb8-598f-4169-bd23-1b61db02f6ben@googlegroups.com> <6867f7f4-129a-40a1-9ab5-f63da7bbe246n@googlegroups.com>
<85226894-ad24-44bb-a16a-e95ea7b96fban@googlegroups.com> <6aba3d3a-dfa0-4fe0-a332-9da5f52dc70en@googlegroups.com>
<91ba6df0-6ad3-4bea-9a90-f75619965d31n@googlegroups.com> <38c7d25b-6eb8-44c4-91cc-1a79b69c2c40n@googlegroups.com>
<4916b777-b70b-430e-8c56-d1a2ca78b03en@googlegroups.com> <8615d928-ab32-452d-81c4-bb15d89235ffn@googlegroups.com>
<c6a3173f-2aff-43f8-9c24-d55ad84f947cn@googlegroups.com> <82d4f10c-7f3f-4853-b357-812ea514a05en@googlegroups.com>
<05fafd19-77ad-49b6-ab07-bb22e551d152n@googlegroups.com> <ea9cc073-8742-4e34-b1e6-321563c22bbcn@googlegroups.com>
<002f7fa8-0286-4db8-998c-f247045b1532n@googlegroups.com> <d4d87214-a916-4165-9e1b-623e6cd9eacdn@googlegroups.com>
<fbeb895f-ecce-4066-a505-ba951a5460cfn@googlegroups.com> <b922319c-2c82-42bd-888f-eb630a473e1bn@googlegroups.com>
<1504c9c8-3f20-45ed-a3b6-4d45b346e17an@googlegroups.com> <69d0fe1f-9e65-4783-8a63-262fe487c897n@googlegroups.com>
<3ebfb56b-0fd7-439a-b468-6583c647534bn@googlegroups.com> <950d0dad-3e09-4acd-9199-f494f35c635bn@googlegroups.com>
<c60446fd-dacf-4f05-9681-bb362c4a68f8n@googlegroups.com> <62b6493b-4052-4d2a-9aee-e35438d3da00n@googlegroups.com>
<80a4aa48-a8ad-4a26-b838-e510165fb2fcn@googlegroups.com> <2887d9ab-99dc-40cc-aa86-381b5d3da1d0n@googlegroups.com>
<6afaf03a-7626-4ddb-8af7-f76b9bac9accn@googlegroups.com> <c0d11687-29ad-4639-8ea6-c71ed5ddb043n@googlegroups.com>
<72809c10-f572-40d0-b2c6-cdfd0faa17cbn@googlegroups.com> <c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com>
<227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com> <195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com>
<df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com> <7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com>
<5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com> <a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com>
<af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com> <da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com>
<c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com> <3bf11478-54c0-4180-9178-1b7ea66aed0en@googlegroups.com>
<390e6274-9d26-41e8-9f74-e2f288868652n@googlegroups.com> <b643c115-ad44-40d2-a171-b0f793536c22n@googlegroups.com>
<8676f702-0096-417a-8292-6deed3339f77n@googlegroups.com> <be6df617-2070-4bca-97d3-91252c75912en@googlegroups.com>
<8c2307df-3304-46a5-9371-69958aef5ebfn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>
Subject: Re: Counterexample
From: wpihug...@gmail.com (William)
Injection-Date: Mon, 30 Aug 2021 13:23:58 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 7028
 by: William - Mon, 30 Aug 2021 13:23 UTC

On Monday, August 30, 2021 at 7:52:58 AM UTC-3, WM wrote:
> William schrieb am Sonntag, 29. August 2021 um 22:35:47 UTC+2:
> > On Sunday, August 29, 2021 at 4:43:07 PM UTC-3, WM wrote:
> > > William schrieb am Sonntag, 29. August 2021 um 20:09:41 UTC+2:
> > > > On Sunday, August 29, 2021 at 1:09:02 PM UTC-3, WM wrote:
> > > >
> > > > > What is next to zero? Note that "nothing" is synonymous to "gap".
> > > > Nope
> > > > A gap next to 0 is an interval [0,x] (note x must be a real number
> > > The end of the gap is a real number x
> > and a "gap", like a set, is not something that changes.
> The collection of definable points is the complement.

Nope, the set of points that you can write down plus the points that you cannot write down is the complement. The gap does not change.

--
William Hughes

Re: Counterexample

<sgiorm$j7u$1@gioia.aioe.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73691&group=sci.math#73691

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (Serg io)
Newsgroups: sci.math
Subject: Re: Counterexample
Date: Mon, 30 Aug 2021 09:09:57 -0500
Organization: Aioe.org NNTP Server
Message-ID: <sgiorm$j7u$1@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com>
<df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com>
<5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com>
<af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com>
<c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<dbe72691-130e-478d-a619-acc81f107474n@googlegroups.com>
<76611652-0fb5-45e5-ae8b-0e61c0cd36bcn@googlegroups.com>
<49c03189-7d93-4e79-9dcd-a63659a36229n@googlegroups.com>
<ce38466f-7fb5-4f7c-bc65-7b94b6f6558fn@googlegroups.com>
<48941e25-d35c-4401-bff3-a56c3a6db028n@googlegroups.com>
<bbcb18b0-9ba5-408b-be37-1637e4c220c8n@googlegroups.com>
<11cfe3fc-ca78-4861-b72b-f7b31c4d9352n@googlegroups.com>
<d00bd987-4b28-4028-98aa-31559f8535c8n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="19710"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Serg io - Mon, 30 Aug 2021 14:09 UTC

On 8/30/2021 5:19 AM, WM wrote:
> Greg Cunt schrieb am Sonntag, 29. August 2021 um 19:26:21 UTC+2:
>> On Sunday, August 29, 2021 at 6:35:52 PM UTC+2, WM wrote:
>>> Greg Cunt schrieb am Sonntag, 29. August 2021 um 18:23:52 UTC+2:
>>>>
>>>> There is no "point next to zero",
>>>>
>>> Then there is a gap.
>> No, there is no gap.
>
> So it is. There are dark numbers, none of which can be identified, let alone be identified as the last one.

nope.
We can prove there is no gap, no number next to zero, this includes your dark numbers,

we can prove unnamed numbers are not next to zero.

Re: Counterexample

<sgip3e$pp0$1@gioia.aioe.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73693&group=sci.math#73693

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (Serg io)
Newsgroups: sci.math
Subject: Re: Counterexample
Date: Mon, 30 Aug 2021 09:14:05 -0500
Organization: Aioe.org NNTP Server
Message-ID: <sgip3e$pp0$1@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com>
<5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com>
<af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com>
<c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<dbe72691-130e-478d-a619-acc81f107474n@googlegroups.com>
<76611652-0fb5-45e5-ae8b-0e61c0cd36bcn@googlegroups.com>
<49c03189-7d93-4e79-9dcd-a63659a36229n@googlegroups.com>
<ce38466f-7fb5-4f7c-bc65-7b94b6f6558fn@googlegroups.com>
<0c0425fd-b89c-4de2-9540-f902a84b0a18n@googlegroups.com>
<f01d22a1-65a0-4db3-99d9-aa70db568022n@googlegroups.com>
<612be8c8$0$27454$426a74cc@news.free.fr>
<074fe937-29b2-4f3b-89f7-0a53e74740a8n@googlegroups.com>
<sghf2l$17pr$1@gioia.aioe.org>
<cd50ea7e-8b57-491f-a9df-6bef2e9e4e87n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="26400"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Serg io - Mon, 30 Aug 2021 14:14 UTC

On 8/30/2021 3:44 AM, WM wrote:
> Serg io schrieb am Montag, 30. August 2021 um 04:17:05 UTC+2:
>
>> One critic, Alexander Shen, director of research at the National Center for Scientific Research in Montpellier, France wrote to the editors on Nov. 29,
>> expressing his concern:
>>
>> Assuming that this is not a fake or April Fool Day’s joke and the paper was indeed published, I would say that the reputation damage to the Journal,
>> to EMS and to mathematical community as a whole cannot be fully undone, but a clear apology/retraction seems to be needed.
>
> There we see that many people are too dense to comprehend new ideas. In particual in France there live many handicapped mathematicians as Arnold reported.
>>
>> Sergeyev’s work. Gutman told us that he thinks the current paper, along with other articles by Sergeyev, are disrespectful to modern mathematics:
>
> That is the proper position. Modern mathematics is primarily Cantor's nonsense and does not deserve respect but contempt.
>>
>> Kutateladze added:
>>
>> The recent publication of the paper by Sergeyev in European Mathematical Society Surveys was a scandalous blunder.
>
> "This is an instance of the amazing power of desire in blinding even very able men to fallacies which would otherwise be obvious at once." [Bertrand Russell]
>
>> Robinsonian infinitesimal analysis is rightfully considered as
>> one of the most brilliant achievements of mathematics in the twentieth century.
>
> It had lasted a good while until this was fully recognized. But the fools of matheology will forever constitute the mayjority. Good taste is not the taste of the majority.
>
> Regards, WM
>

blaming the rest of the world for your mistakes, is what Joe Biden does.

you snipped out Sergeyev's April Fool Day’s joke,

Sergeyev embellishes his idea with shallow arguments, emphasizing that he does not use Cantor’s approach and
returns to Ancient Greeks. He formulates the three postulates of his own:

Postulate 1. Existence of infinite and infinitesimal objects is postulated but it is also accepted that human beings and machines are able to
execute only a finite number of operations.
Postulate 2. It is not discussed what are the mathematical objects we deal with; we just construct more powerful tools that allow us to improve our
capacities to observe and to describe properties of mathematical objects.

Sergeyev has poor knowledge of these classical scientific achievements, counterposing his bizarre surmisals to the modern analysis. But all linguistic
and mathematical tools that are needed to Sergeyev are readily available within nonstandard analysis.

Re: Counterexample

<sgipct$v6k$1@gioia.aioe.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73694&group=sci.math#73694

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!news.niel.me!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (Serg io)
Newsgroups: sci.math
Subject: Re: Counterexample
Date: Mon, 30 Aug 2021 09:19:09 -0500
Organization: Aioe.org NNTP Server
Message-ID: <sgipct$v6k$1@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<c0d11687-29ad-4639-8ea6-c71ed5ddb043n@googlegroups.com>
<72809c10-f572-40d0-b2c6-cdfd0faa17cbn@googlegroups.com>
<c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com>
<227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com>
<195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com>
<df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com>
<5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com>
<af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com>
<c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<3bf11478-54c0-4180-9178-1b7ea66aed0en@googlegroups.com>
<390e6274-9d26-41e8-9f74-e2f288868652n@googlegroups.com>
<e1616741-0674-ec26-5d6f-f5277e0bdd2a@att.net>
<cce0d6f9-5cac-4468-9a60-bd920e1871acn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="31956"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Serg io - Mon, 30 Aug 2021 14:19 UTC

On 8/30/2021 5:17 AM, WM wrote:
> Jim Burns schrieb am Sonntag, 29. August 2021 um 19:06:47 UTC+2:
>> On 8/29/2021 12:08 PM, WM wrote:
>>> William schrieb
>>> am Samstag, 28. August 2021 um 22:01:23 UTC+2:
>>>> On Saturday, August 28, 2021 at 3:47:34 PM UTC-3,
>>>> WM wrote:
>>
>>>>>> It is not true that there must be
>>>>>> a gap next to zero, or a point next to zero.
>>>>>
>>>>> Either there is a definable point next to zero or
>>>>> there is no definable point next to zero.
>>>>> Do you agree?
>>>>
>>>> There is neither a point ("definable" or not)
>>>> nor a gap next to zero.
>>>
>>> What is next to zero?
>>> Note that "nothing" is synonymous to "gap".
>> Note that "nothing" is NOT synonymous with "gap".
>
> By my definition it is. But you can also say: Either there is a point next to zero or there is no point next to zero.
>
> Regards, WM
>

no, nothing means 0.

A gap is an interval and is specified by two endpoints. What are the endpoint of your assumed "gap" ?

there is no "next to", we have posted the proof using math that there is no "next to". Deal with it.

Re: Counterexample

<sgipfi$v6k$2@gioia.aioe.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=73695&group=sci.math#73695

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (Serg io)
Newsgroups: sci.math
Subject: Re: Counterexample
Date: Mon, 30 Aug 2021 09:20:33 -0500
Organization: Aioe.org NNTP Server
Message-ID: <sgipfi$v6k$2@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<c6ffeafe-958c-4aed-b433-e34f7a64125bn@googlegroups.com>
<227e70a6-3233-4a93-8dc5-e8fa2d011aabn@googlegroups.com>
<195c3e2f-b4ea-42a3-85d7-c1ba9fa7a979n@googlegroups.com>
<df507b63-0715-48b6-ba91-f21c7187ab01n@googlegroups.com>
<7d715751-1d76-460a-a425-f217ffb61731n@googlegroups.com>
<5c8a1710-f8a6-4df5-aced-ce990d1481edn@googlegroups.com>
<a4134b2f-4264-4c9b-bd2d-50143d31f675n@googlegroups.com>
<af459420-a5d4-4e0e-8321-0119f86150a2n@googlegroups.com>
<da5de714-355c-4440-a526-3bf78c099134n@googlegroups.com>
<c06437c3-c9a2-4b75-9e73-4e2e4b2be5a2n@googlegroups.com>
<3bf11478-54c0-4180-9178-1b7ea66aed0en@googlegroups.com>
<390e6274-9d26-41e8-9f74-e2f288868652n@googlegroups.com>
<b643c115-ad44-40d2-a171-b0f793536c22n@googlegroups.com>
<8676f702-0096-417a-8292-6deed3339f77n@googlegroups.com>
<be6df617-2070-4bca-97d3-91252c75912en@googlegroups.com>
<8c2307df-3304-46a5-9371-69958aef5ebfn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="31956"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
 by: Serg io - Mon, 30 Aug 2021 14:20 UTC

On 8/30/2021 5:52 AM, WM wrote:
> William schrieb am Sonntag, 29. August 2021 um 22:35:47 UTC+2:
>> On Sunday, August 29, 2021 at 4:43:07 PM UTC-3, WM wrote:
>>> William schrieb am Sonntag, 29. August 2021 um 20:09:41 UTC+2:
>>>> On Sunday, August 29, 2021 at 1:09:02 PM UTC-3, WM wrote:
>>>>
>>>>> What is next to zero? Note that "nothing" is synonymous to "gap".
>>>> Nope
>>>> A gap next to 0 is an interval [0,x] (note x must be a real number
>>> The end of the gap is a real number x
>> and a "gap", like a set, is not something that changes.
>
> The collection of definable points is the complement. Therefore the size of the gap changes.
>
> Regards, WM
>

there is no collection of "definable" points.


tech / sci.math / Re: Counterexample

Pages:123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor