Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

You can't have everything... where would you put it? -- Steven Wright


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

<37696909-319a-f7cc-c4be-85ee303fe088@att.net>

  copy mid

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

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: james.g....@att.net (Jim Burns)
Newsgroups: sci.math
Subject: Re: Counterexample
Date: Mon, 6 Sep 2021 18:24:47 -0400
Organization: A noiseless patient Spider
Lines: 33
Message-ID: <37696909-319a-f7cc-c4be-85ee303fe088@att.net>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<514732e8-5428-42bb-a4fa-131b369430e9n@googlegroups.com>
<f7a86c9c-7ffb-7b59-a58c-964789322557@att.net>
<1595efa5-f4c2-4d26-bc52-444f6331a83dn@googlegroups.com>
<c9049069-7779-9452-0a45-6606c34c2336@att.net>
<cf659b4c-fc46-4029-af35-2f760b140a84n@googlegroups.com>
<e46dc60b-a841-27f6-e66e-37cca19a3e14@att.net>
<96206c00-89d9-4e19-92ce-25a0ca37e051n@googlegroups.com>
<228ed842-06ac-ce67-0bd7-396530984301@att.net>
<cf65cb59-2621-4465-8779-08e03d8193c8n@googlegroups.com>
<46566cdf-cc01-998d-2197-99cbdf2e5d04@att.net>
<f0c74115-56c7-4de3-b2db-601ec7a98accn@googlegroups.com>
<c3fa1f78-97a6-606a-d52b-ddee1204169b@att.net>
<3d073885-291d-4baf-8ee2-392df9092ff4n@googlegroups.com>
<1aff75ff-4991-17b9-86e7-2caa30010730@att.net>
<3e9af970-37e3-4c2e-a287-8807ca9103ben@googlegroups.com>
<5c70a878-1225-1a19-5943-e928fffbec64@att.net>
<5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: reader02.eternal-september.org; posting-host="1a9a8fba415aaf5a44575d8fb91ef328";
logging-data="3616"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+AFgZFGEHJ0yCibxu6sN7M1vvzzDilSuI="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
Cancel-Lock: sha1:+Ked6BrTV7MWMP9l/Jg4XjilZyk=
In-Reply-To: <5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com>
Content-Language: en-US
 by: Jim Burns - Mon, 6 Sep 2021 22:24 UTC

On 9/6/2021 3:02 PM, WM wrote:
> Jim Burns schrieb
> am Montag, 6. September 2021 um 20:21:13 UTC+2:

>> Because Ak e N: E(k+1) = E(k)\{k}
>> the intersection is empty.
>
> The intersection is the last endsegment.
> If there is no last endsegment,

If there is no last end segment,
then the intersection is not an end segment.

> If there is no last endsegment,
> then every endegment has infinitely many elements
> and there is only a current intersection which is
> the same as the current endegment.

An end segment is
non-empty, and
closed upwards.

The intersection of closed-upwards sets is
closed upwards.

The intersection of end segments where there is
no last end segment is
closed upwards, and
not an end segment.

It is closed upwards and not (non-empty and closed upwards).
Therefore, it is empty.

Re: Counterexample

<sh6kvo$f09$1@gioia.aioe.org>

  copy mid

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

  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, 6 Sep 2021 22:06:31 -0500
Organization: Aioe.org NNTP Server
Message-ID: <sh6kvo$f09$1@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<c9049069-7779-9452-0a45-6606c34c2336@att.net>
<cf659b4c-fc46-4029-af35-2f760b140a84n@googlegroups.com>
<e46dc60b-a841-27f6-e66e-37cca19a3e14@att.net>
<96206c00-89d9-4e19-92ce-25a0ca37e051n@googlegroups.com>
<228ed842-06ac-ce67-0bd7-396530984301@att.net>
<cf65cb59-2621-4465-8779-08e03d8193c8n@googlegroups.com>
<46566cdf-cc01-998d-2197-99cbdf2e5d04@att.net>
<f0c74115-56c7-4de3-b2db-601ec7a98accn@googlegroups.com>
<c3fa1f78-97a6-606a-d52b-ddee1204169b@att.net>
<3d073885-291d-4baf-8ee2-392df9092ff4n@googlegroups.com>
<1aff75ff-4991-17b9-86e7-2caa30010730@att.net>
<3e9af970-37e3-4c2e-a287-8807ca9103ben@googlegroups.com>
<5c70a878-1225-1a19-5943-e928fffbec64@att.net>
<5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com>
<3844055a-b14e-478f-9ed2-4a58fc3f1bccn@googlegroups.com>
<c02eb439-8e37-4826-b45c-acb900a20c83n@googlegroups.com>
<sh5v9n$17oc$1@gioia.aioe.org> <sh5vi1$9lt$4@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="15369"; 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 - Tue, 7 Sep 2021 03:06 UTC

On 9/6/2021 4:00 PM, C6H12O6 wrote:
> Serg io wrote:
>
>>>> Is it floating? A fluent?
>>>
>>> Yes, since there is no last one to be considered.
>>
>> so the dude never finishes, he has lifetime employment.
>
> you math guys gotta learn to sing *The Internationale*.
>
> la laaaa, lala lala laaaa la, la la lala lala lala.
>

ah... Esperanto!

Re: Counterexample

<916548f9-830e-47ab-b5b6-7e2567ec7362n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:81d:: with SMTP id s29mr14110731qks.301.1630984637295;
Mon, 06 Sep 2021 20:17:17 -0700 (PDT)
X-Received: by 2002:a25:a241:: with SMTP id b59mr19015660ybi.522.1630984637099;
Mon, 06 Sep 2021 20:17:17 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.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, 6 Sep 2021 20:17:16 -0700 (PDT)
In-Reply-To: <sh5vi1$9lt$4@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=79.206.205.22; posting-account=-75WZwoAAABL0f0-07Kn6tvNHWg7W9AE
NNTP-Posting-Host: 79.206.205.22
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<1595efa5-f4c2-4d26-bc52-444f6331a83dn@googlegroups.com> <c9049069-7779-9452-0a45-6606c34c2336@att.net>
<cf659b4c-fc46-4029-af35-2f760b140a84n@googlegroups.com> <e46dc60b-a841-27f6-e66e-37cca19a3e14@att.net>
<96206c00-89d9-4e19-92ce-25a0ca37e051n@googlegroups.com> <228ed842-06ac-ce67-0bd7-396530984301@att.net>
<cf65cb59-2621-4465-8779-08e03d8193c8n@googlegroups.com> <46566cdf-cc01-998d-2197-99cbdf2e5d04@att.net>
<f0c74115-56c7-4de3-b2db-601ec7a98accn@googlegroups.com> <c3fa1f78-97a6-606a-d52b-ddee1204169b@att.net>
<3d073885-291d-4baf-8ee2-392df9092ff4n@googlegroups.com> <1aff75ff-4991-17b9-86e7-2caa30010730@att.net>
<3e9af970-37e3-4c2e-a287-8807ca9103ben@googlegroups.com> <5c70a878-1225-1a19-5943-e928fffbec64@att.net>
<5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com> <3844055a-b14e-478f-9ed2-4a58fc3f1bccn@googlegroups.com>
<c02eb439-8e37-4826-b45c-acb900a20c83n@googlegroups.com> <sh5v9n$17oc$1@gioia.aioe.org>
<sh5vi1$9lt$4@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <916548f9-830e-47ab-b5b6-7e2567ec7362n@googlegroups.com>
Subject: Re: Counterexample
From: franz.fr...@gmail.com (Greg Cunt)
Injection-Date: Tue, 07 Sep 2021 03:17:17 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 11
 by: Greg Cunt - Tue, 7 Sep 2021 03:17 UTC

On Monday, September 6, 2021 at 11:01:05 PM UTC+2, C6H12O6 wrote:

> you math guys gotta learn to sing *The Internationale*.
>
> la laaaa, lala lala laaaa la, la la lala lala lala.

If you say so.

How about this:
https://www.youtube.com/watch?v=y5zQTmkY7GI

Btw. Capitalism is evil.

Re: Counterexample

<a80eeecd-12f9-4e9e-8a57-48421d0654adn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a37:b6c1:: with SMTP id g184mr14354443qkf.270.1630991359816;
Mon, 06 Sep 2021 22:09:19 -0700 (PDT)
X-Received: by 2002:a25:cd82:: with SMTP id d124mr20747624ybf.491.1630991359508;
Mon, 06 Sep 2021 22:09:19 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!peer01.ams4!peer.am4.highwinds-media.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, 6 Sep 2021 22:09:19 -0700 (PDT)
In-Reply-To: <b54e7e5c-ae61-43bf-842e-9f0c769dec58n@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>
<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> <39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>
<9f55b615-d049-4d0e-b151-f3938750b079n@googlegroups.com> <35e9e663-462c-4081-a729-0ba0b035b3dbn@googlegroups.com>
<4373bd62-8c65-4039-aea5-9f4364b1ebf1n@googlegroups.com> <8e48b75e-c7d7-4530-8535-fedff4175cben@googlegroups.com>
<f337069d-e54d-48d7-9847-b81194597539n@googlegroups.com> <1e12a202-c251-422d-b61d-dd03495e13e5n@googlegroups.com>
<8735b23d-3382-49cc-b0d8-235c9cd030fen@googlegroups.com> <42d91071-8ca3-48ee-9769-436e9dcaaf8an@googlegroups.com>
<11f3dac5-6983-499f-9ba0-23198a2fa0adn@googlegroups.com> <8c99e088-5f5b-48f9-8d7c-0ea9a96e2146n@googlegroups.com>
<8b81b0b6-ea8a-4dae-81f0-74b447c060can@googlegroups.com> <518d7101-87ad-4f7d-a90e-6f7e03448383n@googlegroups.com>
<9de0a26c-5a4e-4c91-8b77-e0cd451e6517n@googlegroups.com> <5e017b96-9dec-4ebf-8dc8-8a3400bcefc0n@googlegroups.com>
<9ab5bb45-7720-4f37-904f-d92fb6d4742en@googlegroups.com> <5bc77e30-71f3-4974-94f2-4a54126d9c66n@googlegroups.com>
<0e7e89a8-87b0-4e6c-89c2-c5635bbd35d0n@googlegroups.com> <944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com>
<512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com> <7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com> <9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com> <c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com> <ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com> <f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a80eeecd-12f9-4e9e-8a57-48421d0654adn@googlegroups.com>
Subject: Re: Counterexample
From: zelos.ma...@gmail.com (zelos...@gmail.com)
Injection-Date: Tue, 07 Sep 2021 05:09:19 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 9532
 by: zelos...@gmail.com - Tue, 7 Sep 2021 05:09 UTC

måndag 6 september 2021 kl. 18:59:34 UTC+2 skrev WM:
> William schrieb am Montag, 6. September 2021 um 15:48:07 UTC+2:
> > On Monday, September 6, 2021 at 9:37:55 AM UTC-3, WM wrote:
> > > William schrieb am Sonntag, 5. September 2021 um 23:40:55 UTC+2:
> > > > On Sunday, September 5, 2021 at 5:22:35 PM UTC-3, WM wrote:
> > > > > William schrieb am Sonntag, 5. September 2021 um 16:27:42 UTC+2:
> > > > > > On Sunday, September 5, 2021 at 6:34:37 AM UTC-3, WM wrote:
> > > > > > > William schrieb am Sonntag, 5. September 2021 um 01:56:55 UTC+2:
> > > > > > >
> > > > > > > > Piffle. The fact that n cannot be written down does not mean n cannot be distinguished.
> > > > > > > How do you distinguish it from another number that cannot be written down?
> > > > > > Why would one have to write down elements of |N_F is order to distinguish them?
> > > > > How do you distinguish them?
> > > > >
> > > > By the fact that they are different.
> > > >
> > > They are nothing unless you can address them.
> > Nope. "address" is just another of the many many many ways you have of saying "write down" . Just because you cannot write down an element of |N_F does not mean it is "nothing"
> >
> How would you handle an element and show its existence if you cannot write down or address it?
>
> Regards, WM

Why are you so obsesssed about 1 kind of notation and our physical capabilities?

Those are not relevant factors in mathematics.

Re: Counterexample

<cae99dda-ca36-4e11-a227-a316a806add1n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:c87:: with SMTP id r7mr15005343qvr.2.1630991437745;
Mon, 06 Sep 2021 22:10:37 -0700 (PDT)
X-Received: by 2002:a25:5956:: with SMTP id n83mr7956789ybb.109.1630991437405;
Mon, 06 Sep 2021 22:10:37 -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: Mon, 6 Sep 2021 22:10:37 -0700 (PDT)
In-Reply-To: <314ed67c-bb8d-4020-9143-f31773750b91n@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>
<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> <39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>
<9f55b615-d049-4d0e-b151-f3938750b079n@googlegroups.com> <35e9e663-462c-4081-a729-0ba0b035b3dbn@googlegroups.com>
<4373bd62-8c65-4039-aea5-9f4364b1ebf1n@googlegroups.com> <8e48b75e-c7d7-4530-8535-fedff4175cben@googlegroups.com>
<f337069d-e54d-48d7-9847-b81194597539n@googlegroups.com> <1e12a202-c251-422d-b61d-dd03495e13e5n@googlegroups.com>
<8735b23d-3382-49cc-b0d8-235c9cd030fen@googlegroups.com> <42d91071-8ca3-48ee-9769-436e9dcaaf8an@googlegroups.com>
<11f3dac5-6983-499f-9ba0-23198a2fa0adn@googlegroups.com> <8c99e088-5f5b-48f9-8d7c-0ea9a96e2146n@googlegroups.com>
<8b81b0b6-ea8a-4dae-81f0-74b447c060can@googlegroups.com> <518d7101-87ad-4f7d-a90e-6f7e03448383n@googlegroups.com>
<9de0a26c-5a4e-4c91-8b77-e0cd451e6517n@googlegroups.com> <5e017b96-9dec-4ebf-8dc8-8a3400bcefc0n@googlegroups.com>
<9ab5bb45-7720-4f37-904f-d92fb6d4742en@googlegroups.com> <5bc77e30-71f3-4974-94f2-4a54126d9c66n@googlegroups.com>
<0e7e89a8-87b0-4e6c-89c2-c5635bbd35d0n@googlegroups.com> <944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com>
<512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com> <7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com> <9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com> <c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com> <ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com> <f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com> <80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com>
<314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cae99dda-ca36-4e11-a227-a316a806add1n@googlegroups.com>
Subject: Re: Counterexample
From: zelos.ma...@gmail.com (zelos...@gmail.com)
Injection-Date: Tue, 07 Sep 2021 05:10:37 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: zelos...@gmail.com - Tue, 7 Sep 2021 05:10 UTC

måndag 6 september 2021 kl. 19:28:41 UTC+2 skrev WM:
> William schrieb am Montag, 6. September 2021 um 19:09:24 UTC+2:
> > On Monday, September 6, 2021 at 1:59:34 PM UTC-3, WM wrote:
>
> > > How would you handle an element and show its existence if you cannot write down or address it?
> > Add the term "handle" to the list of the many many many ways you have or saying "write down". Your question is the silly, how can you write and element of |N_F down if the element cannot be written down.
> How do you show that it is and individual and differs from other individuals, i.e., it is not dark?
>
> Regards, WM
for atural numbers we have that n=m if S(n)=S(m). So 2 different elements are different if they have different successors. We do not need to write them down.

Re: Counterexample

<2b7924fb-2bde-350a-0b2b-f1503601d644@att.net>

  copy mid

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

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: james.g....@att.net (Jim Burns)
Newsgroups: sci.math
Subject: Re: Counterexample
Date: Tue, 7 Sep 2021 01:24:42 -0400
Organization: A noiseless patient Spider
Lines: 43
Message-ID: <2b7924fb-2bde-350a-0b2b-f1503601d644@att.net>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<514732e8-5428-42bb-a4fa-131b369430e9n@googlegroups.com>
<f7a86c9c-7ffb-7b59-a58c-964789322557@att.net>
<1595efa5-f4c2-4d26-bc52-444f6331a83dn@googlegroups.com>
<c9049069-7779-9452-0a45-6606c34c2336@att.net>
<cf659b4c-fc46-4029-af35-2f760b140a84n@googlegroups.com>
<e46dc60b-a841-27f6-e66e-37cca19a3e14@att.net>
<96206c00-89d9-4e19-92ce-25a0ca37e051n@googlegroups.com>
<228ed842-06ac-ce67-0bd7-396530984301@att.net>
<cf65cb59-2621-4465-8779-08e03d8193c8n@googlegroups.com>
<46566cdf-cc01-998d-2197-99cbdf2e5d04@att.net>
<f0c74115-56c7-4de3-b2db-601ec7a98accn@googlegroups.com>
<c3fa1f78-97a6-606a-d52b-ddee1204169b@att.net>
<3d073885-291d-4baf-8ee2-392df9092ff4n@googlegroups.com>
<1aff75ff-4991-17b9-86e7-2caa30010730@att.net>
<3e9af970-37e3-4c2e-a287-8807ca9103ben@googlegroups.com>
<5c70a878-1225-1a19-5943-e928fffbec64@att.net>
<5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: reader02.eternal-september.org; posting-host="1ab98733ade79fdb97cf22cf237a98df";
logging-data="26630"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18HVVFLxbgFM9tkaGpMnlmz2dKDXODCuE0="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
Cancel-Lock: sha1:aBM0jgOrnhlHcOgBTklm8Zi9H3A=
In-Reply-To: <5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com>
Content-Language: en-US
 by: Jim Burns - Tue, 7 Sep 2021 05:24 UTC

On 9/6/2021 3:02 PM, WM wrote:
> Jim Burns schrieb
> am Montag, 6. September 2021 um 20:21:13 UTC+2:

>> Because Ak e N: E(k+1) = E(k)\{k}
>> the intersection is empty.
>
> The intersection is the last endsegment.
> If there is no last endsegment,

If the intersection is an end segment,
then there is a last end segment.

> If there is no last endsegment,
> then every endegment has infinitely many elements and
> there is only a current intersection
> which is the same as the current endegment.

If there is no last end segment,
then the intersection is not an end segment.

An end segment is a non-empty, closed-upwards set.

Not-an-end-segment is an empty or non-closed-upwards set.

If there is no last end segment,
then the intersection is an empty or non-closed-upwards set.

The intersection of closed upwards sets is
a closed upwards set.

The intersection of end segments is
a closed upwards set.

If there is no last end segment,
then the intersection of end segments is
a closed upwards set which is empty or non-closed-upwards.

If there is no last end segment,
then the intersection of end segments is
empty.

Re: Counterexample

<sh7pmn$b00$1@gioia.aioe.org>

  copy mid

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

  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: Tue, 7 Sep 2021 08:33:10 -0500
Organization: Aioe.org NNTP Server
Message-ID: <sh7pmn$b00$1@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<cf659b4c-fc46-4029-af35-2f760b140a84n@googlegroups.com>
<e46dc60b-a841-27f6-e66e-37cca19a3e14@att.net>
<96206c00-89d9-4e19-92ce-25a0ca37e051n@googlegroups.com>
<228ed842-06ac-ce67-0bd7-396530984301@att.net>
<cf65cb59-2621-4465-8779-08e03d8193c8n@googlegroups.com>
<46566cdf-cc01-998d-2197-99cbdf2e5d04@att.net>
<f0c74115-56c7-4de3-b2db-601ec7a98accn@googlegroups.com>
<c3fa1f78-97a6-606a-d52b-ddee1204169b@att.net>
<3d073885-291d-4baf-8ee2-392df9092ff4n@googlegroups.com>
<1aff75ff-4991-17b9-86e7-2caa30010730@att.net>
<3e9af970-37e3-4c2e-a287-8807ca9103ben@googlegroups.com>
<5c70a878-1225-1a19-5943-e928fffbec64@att.net>
<5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com>
<3844055a-b14e-478f-9ed2-4a58fc3f1bccn@googlegroups.com>
<c02eb439-8e37-4826-b45c-acb900a20c83n@googlegroups.com>
<sh5v9n$17oc$1@gioia.aioe.org> <sh5vi1$9lt$4@gioia.aioe.org>
<916548f9-830e-47ab-b5b6-7e2567ec7362n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="11264"; 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 - Tue, 7 Sep 2021 13:33 UTC

On 9/6/2021 10:17 PM, Greg Cunt wrote:
> On Monday, September 6, 2021 at 11:01:05 PM UTC+2, C6H12O6 wrote:
>
>> you math guys gotta learn to sing *The Internationale*.
>>
>> la laaaa, lala lala laaaa la, la la lala lala lala.
>
> If you say so.
>
> How about this:
> https://www.youtube.com/watch?v=y5zQTmkY7GI
>
> Btw. Capitalism is evil.
>

that is very old-school commies,

better new commie music here

https://www.youtube.com/watch?v=egPCKuN8mic

00:01 Bayonets of Justice, Bring Thunder!
03:30 The General's Songun Will Forever Be a Legend
08:26 Bright with Evening Glow
11:54 Song of the Sea
18:39 Night in the Trenches
23:15 Our Victory Day July 27
27:02 Who Taught Me That?
33:35 We Meet at the Front!
36:37 On the Road of Struggle Following the General
42:24 Sound of Horse Hooves in Mount Paektu (A Cappella Version)
45:59 The Two Thousand Ri Amnok River
53:15 My Beautiful Homeland
58:43 Patriotic Song (National Anthem of North Korea)

Re: Counterexample

<70e53553-b3d5-483b-b4fe-71f786901344n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:4742:: with SMTP id c2mr14359779qvx.13.1631040219728;
Tue, 07 Sep 2021 11:43:39 -0700 (PDT)
X-Received: by 2002:a05:6902:1243:: with SMTP id t3mr13592517ybu.135.1631040219564;
Tue, 07 Sep 2021 11:43:39 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.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: Tue, 7 Sep 2021 11:43:39 -0700 (PDT)
In-Reply-To: <2b7924fb-2bde-350a-0b2b-f1503601d644@att.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:124e:2cf6:172:afed:80bc;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:124e:2cf6:172:afed:80bc
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<514732e8-5428-42bb-a4fa-131b369430e9n@googlegroups.com> <f7a86c9c-7ffb-7b59-a58c-964789322557@att.net>
<1595efa5-f4c2-4d26-bc52-444f6331a83dn@googlegroups.com> <c9049069-7779-9452-0a45-6606c34c2336@att.net>
<cf659b4c-fc46-4029-af35-2f760b140a84n@googlegroups.com> <e46dc60b-a841-27f6-e66e-37cca19a3e14@att.net>
<96206c00-89d9-4e19-92ce-25a0ca37e051n@googlegroups.com> <228ed842-06ac-ce67-0bd7-396530984301@att.net>
<cf65cb59-2621-4465-8779-08e03d8193c8n@googlegroups.com> <46566cdf-cc01-998d-2197-99cbdf2e5d04@att.net>
<f0c74115-56c7-4de3-b2db-601ec7a98accn@googlegroups.com> <c3fa1f78-97a6-606a-d52b-ddee1204169b@att.net>
<3d073885-291d-4baf-8ee2-392df9092ff4n@googlegroups.com> <1aff75ff-4991-17b9-86e7-2caa30010730@att.net>
<3e9af970-37e3-4c2e-a287-8807ca9103ben@googlegroups.com> <5c70a878-1225-1a19-5943-e928fffbec64@att.net>
<5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com> <2b7924fb-2bde-350a-0b2b-f1503601d644@att.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <70e53553-b3d5-483b-b4fe-71f786901344n@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Tue, 07 Sep 2021 18:43:39 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 29
 by: WM - Tue, 7 Sep 2021 18:43 UTC

Jim Burns schrieb am Dienstag, 7. September 2021 um 07:24:52 UTC+2:
> On 9/6/2021 3:02 PM, WM wrote:
> > Jim Burns schrieb
> > am Montag, 6. September 2021 um 20:21:13 UTC+2:
>
> >> Because Ak e N: E(k+1) = E(k)\{k}
> >> the intersection is empty.
> >
> > The intersection is the last endsegment.
> > If there is no last endsegment,
> If the intersection is an end segment,
> then there is a last end segment.

No, you can consider every endsegment. It is not last and it is infinite.

> > If there is no last endsegment,
> > then every endsegment has infinitely many elements and
> > there is only a current intersection
> > which is the same as the current endsegment.
> If there is no last end segment,
> then the intersection is not an end segment.

The intersection is always an endsegment.

> If there is no last end segment,

then the infinite sequence of intersections is never empty.
Try to understand inclusion monotony.

Regards, WM

Re: Counterexample

<cde1f97f-ef28-4185-a1a3-d830bdf66f92n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:4b14:: with SMTP id r20mr18959528qvw.61.1631040458286;
Tue, 07 Sep 2021 11:47:38 -0700 (PDT)
X-Received: by 2002:a05:6902:102a:: with SMTP id x10mr5123065ybt.493.1631040458166;
Tue, 07 Sep 2021 11:47:38 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.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: Tue, 7 Sep 2021 11:47:37 -0700 (PDT)
In-Reply-To: <cae99dda-ca36-4e11-a227-a316a806add1n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:124e:2cf6:172:afed:80bc;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:124e:2cf6:172:afed:80bc
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> <39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>
<9f55b615-d049-4d0e-b151-f3938750b079n@googlegroups.com> <35e9e663-462c-4081-a729-0ba0b035b3dbn@googlegroups.com>
<4373bd62-8c65-4039-aea5-9f4364b1ebf1n@googlegroups.com> <8e48b75e-c7d7-4530-8535-fedff4175cben@googlegroups.com>
<f337069d-e54d-48d7-9847-b81194597539n@googlegroups.com> <1e12a202-c251-422d-b61d-dd03495e13e5n@googlegroups.com>
<8735b23d-3382-49cc-b0d8-235c9cd030fen@googlegroups.com> <42d91071-8ca3-48ee-9769-436e9dcaaf8an@googlegroups.com>
<11f3dac5-6983-499f-9ba0-23198a2fa0adn@googlegroups.com> <8c99e088-5f5b-48f9-8d7c-0ea9a96e2146n@googlegroups.com>
<8b81b0b6-ea8a-4dae-81f0-74b447c060can@googlegroups.com> <518d7101-87ad-4f7d-a90e-6f7e03448383n@googlegroups.com>
<9de0a26c-5a4e-4c91-8b77-e0cd451e6517n@googlegroups.com> <5e017b96-9dec-4ebf-8dc8-8a3400bcefc0n@googlegroups.com>
<9ab5bb45-7720-4f37-904f-d92fb6d4742en@googlegroups.com> <5bc77e30-71f3-4974-94f2-4a54126d9c66n@googlegroups.com>
<0e7e89a8-87b0-4e6c-89c2-c5635bbd35d0n@googlegroups.com> <944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com>
<512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com> <7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com> <9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com> <c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com> <ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com> <f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com> <80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com>
<314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com> <cae99dda-ca36-4e11-a227-a316a806add1n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cde1f97f-ef28-4185-a1a3-d830bdf66f92n@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Tue, 07 Sep 2021 18:47:38 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 19
 by: WM - Tue, 7 Sep 2021 18:47 UTC

zelos...@gmail.com schrieb am Dienstag, 7. September 2021 um 07:10:42 UTC+2:
> måndag 6 september 2021 kl. 19:28:41 UTC+2 skrev WM:
> > William schrieb am Montag, 6. September 2021 um 19:09:24 UTC+2:
> > > On Monday, September 6, 2021 at 1:59:34 PM UTC-3, WM wrote:
> >
> > > > How would you handle an element and show its existence if you cannot write down or address it?
> > > Add the term "handle" to the list of the many many many ways you have or saying "write down". Your question is the silly, how can you write and element of |N_F down if the element cannot be written down.
> > How do you show that it is and individual and differs from other individuals, i.e., it is not dark?
> >
> for atural numbers we have that n=m if S(n)=S(m).

Look, we know that 7 is a natural number.
But how do you know that n is a natural number if you can't define it.

Regards, WM

Re: Counterexample

<c4e5a089-eeab-4644-ba5d-5f8f13ac51cdn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:528c:: with SMTP id v12mr18403114qvr.44.1631040644813;
Tue, 07 Sep 2021 11:50:44 -0700 (PDT)
X-Received: by 2002:a25:7d06:: with SMTP id y6mr22329443ybc.377.1631040644632;
Tue, 07 Sep 2021 11:50:44 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.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: Tue, 7 Sep 2021 11:50:44 -0700 (PDT)
In-Reply-To: <a80eeecd-12f9-4e9e-8a57-48421d0654adn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:124e:2cf6:172:afed:80bc;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:124e:2cf6:172:afed:80bc
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> <39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>
<9f55b615-d049-4d0e-b151-f3938750b079n@googlegroups.com> <35e9e663-462c-4081-a729-0ba0b035b3dbn@googlegroups.com>
<4373bd62-8c65-4039-aea5-9f4364b1ebf1n@googlegroups.com> <8e48b75e-c7d7-4530-8535-fedff4175cben@googlegroups.com>
<f337069d-e54d-48d7-9847-b81194597539n@googlegroups.com> <1e12a202-c251-422d-b61d-dd03495e13e5n@googlegroups.com>
<8735b23d-3382-49cc-b0d8-235c9cd030fen@googlegroups.com> <42d91071-8ca3-48ee-9769-436e9dcaaf8an@googlegroups.com>
<11f3dac5-6983-499f-9ba0-23198a2fa0adn@googlegroups.com> <8c99e088-5f5b-48f9-8d7c-0ea9a96e2146n@googlegroups.com>
<8b81b0b6-ea8a-4dae-81f0-74b447c060can@googlegroups.com> <518d7101-87ad-4f7d-a90e-6f7e03448383n@googlegroups.com>
<9de0a26c-5a4e-4c91-8b77-e0cd451e6517n@googlegroups.com> <5e017b96-9dec-4ebf-8dc8-8a3400bcefc0n@googlegroups.com>
<9ab5bb45-7720-4f37-904f-d92fb6d4742en@googlegroups.com> <5bc77e30-71f3-4974-94f2-4a54126d9c66n@googlegroups.com>
<0e7e89a8-87b0-4e6c-89c2-c5635bbd35d0n@googlegroups.com> <944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com>
<512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com> <7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com> <9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com> <c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com> <ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com> <f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com> <a80eeecd-12f9-4e9e-8a57-48421d0654adn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c4e5a089-eeab-4644-ba5d-5f8f13ac51cdn@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Tue, 07 Sep 2021 18:50:44 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 24
 by: WM - Tue, 7 Sep 2021 18:50 UTC

zelos...@gmail.com schrieb am Dienstag, 7. September 2021 um 07:09:24 UTC+2:
> måndag 6 september 2021 kl. 18:59:34 UTC+2 skrev WM:

> > > > They are nothing unless you can address them.
> > > Nope. "address" is just another of the many many many ways you have of saying "write down" . Just because you cannot write down an element of |N_F does not mean it is "nothing"
> > >
> > How would you handle an element and show its existence if you cannot write down or address it?
>
> Why are you so obsesssed about 1 kind of notation

Every kind is welcome. But there are no kinds in many cases.

> and our physical capabilities?

Mathematics needs physical abilities to be practiced
>
> Those are not relevant factors in mathematics.

Without defining an element there is no mathematics but only matheology.

Regards, WM

Re: Counterexample

<sh8cjl$1q5p$1@gioia.aioe.org>

  copy mid

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

  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: Tue, 7 Sep 2021 13:55:49 -0500
Organization: Aioe.org NNTP Server
Message-ID: <sh8cjl$1q5p$1@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com>
<512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com>
<7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com>
<9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com>
<c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com>
<ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com>
<f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com>
<80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com>
<314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com>
<cae99dda-ca36-4e11-a227-a316a806add1n@googlegroups.com>
<cde1f97f-ef28-4185-a1a3-d830bdf66f92n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="59577"; 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.14.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Serg io - Tue, 7 Sep 2021 18:55 UTC

On 9/7/2021 1:47 PM, WM wrote:
> zelos...@gmail.com schrieb am Dienstag, 7. September 2021 um 07:10:42 UTC+2:
>> måndag 6 september 2021 kl. 19:28:41 UTC+2 skrev WM:
>>> William schrieb am Montag, 6. September 2021 um 19:09:24 UTC+2:
>>>> On Monday, September 6, 2021 at 1:59:34 PM UTC-3, WM wrote:
>>>
>>>>> How would you handle an element and show its existence if you cannot write down or address it?
>>>> Add the term "handle" to the list of the many many many ways you have or saying "write down". Your question is the silly, how can you write and element of |N_F down if the element cannot be written down.
>>> How do you show that it is and individual and differs from other individuals, i.e., it is not dark?
>>>
>> for atural numbers we have that n=m if S(n)=S(m).
>
> Look, we know that 7 is a natural number.

no it is not: 7 is pattern of pixels on your computer screen generated by an ascii code of 'bell', from a keyboard.

No one knows where you got Your 7 from. you could have ripped it from the reals, by intentionally hiding the decimal point and all the zeros that
followed, and infinity of them erased. And we know how much you hate infinity.

> But how do you know that n is a natural number if you can't define it.

you simply say "n is a natural number".

>
> Regards, WM
>

Trying to put the cheese back onto your cracker isn't working out too well.

Re: Counterexample

<2aaa4ba9-91b7-430b-84a4-37212b274f4an@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:44aa:: with SMTP id a10mr16960556qto.63.1631040995565;
Tue, 07 Sep 2021 11:56:35 -0700 (PDT)
X-Received: by 2002:a25:5956:: with SMTP id n83mr12056107ybb.109.1631040995332;
Tue, 07 Sep 2021 11:56:35 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.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: Tue, 7 Sep 2021 11:56:35 -0700 (PDT)
In-Reply-To: <9c4d5592-4dfc-4fe1-9184-a9d19bd00e4fn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:124e:2cf6:172:afed:80bc;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:124e:2cf6:172:afed:80bc
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> <39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>
<9f55b615-d049-4d0e-b151-f3938750b079n@googlegroups.com> <35e9e663-462c-4081-a729-0ba0b035b3dbn@googlegroups.com>
<4373bd62-8c65-4039-aea5-9f4364b1ebf1n@googlegroups.com> <8e48b75e-c7d7-4530-8535-fedff4175cben@googlegroups.com>
<f337069d-e54d-48d7-9847-b81194597539n@googlegroups.com> <1e12a202-c251-422d-b61d-dd03495e13e5n@googlegroups.com>
<8735b23d-3382-49cc-b0d8-235c9cd030fen@googlegroups.com> <42d91071-8ca3-48ee-9769-436e9dcaaf8an@googlegroups.com>
<11f3dac5-6983-499f-9ba0-23198a2fa0adn@googlegroups.com> <8c99e088-5f5b-48f9-8d7c-0ea9a96e2146n@googlegroups.com>
<8b81b0b6-ea8a-4dae-81f0-74b447c060can@googlegroups.com> <518d7101-87ad-4f7d-a90e-6f7e03448383n@googlegroups.com>
<9de0a26c-5a4e-4c91-8b77-e0cd451e6517n@googlegroups.com> <5e017b96-9dec-4ebf-8dc8-8a3400bcefc0n@googlegroups.com>
<9ab5bb45-7720-4f37-904f-d92fb6d4742en@googlegroups.com> <5bc77e30-71f3-4974-94f2-4a54126d9c66n@googlegroups.com>
<0e7e89a8-87b0-4e6c-89c2-c5635bbd35d0n@googlegroups.com> <944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com>
<512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com> <7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com> <9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com> <c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com> <ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com> <f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com> <80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com>
<314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com> <9d42633e-b0dd-4c90-9750-48ebb3e14fdcn@googlegroups.com>
<85e2e04b-3f3c-4770-9b77-13ceb55d1f7bn@googlegroups.com> <9c4d5592-4dfc-4fe1-9184-a9d19bd00e4fn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2aaa4ba9-91b7-430b-84a4-37212b274f4an@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Tue, 07 Sep 2021 18:56:35 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 16
 by: WM - Tue, 7 Sep 2021 18:56 UTC

William schrieb am Montag, 6. September 2021 um 22:51:40 UTC+2:
> On Monday, September 6, 2021 at 3:55:25 PM UTC-3, WM wrote:

> > Can you show an example of two individual elements which are not nameable?
> Add "show" and "nameable" to the many many many ways you have of saying "written down"' This is a silly question asking to write down two elements that cannot be written down.

How do you know that these two are different elements?

> The fact that you cannon write down an element that you cannot write down does not mean the element cannot have other properties.

How do you find out other properties?

> In particular, any element of |N_F will have the properties that every element of |N_F has.

If you have an unwritable object, how do you find out that it is an element of |N_F? If you have two objects, ho can you find out that they differ and in what way?

Regards, WM

Re: Counterexample

<9cbbb668-46ea-47d1-b62b-1329aee136c0n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a0c:ab4e:: with SMTP id i14mr18711545qvb.28.1631041264648;
Tue, 07 Sep 2021 12:01:04 -0700 (PDT)
X-Received: by 2002:a25:c011:: with SMTP id c17mr4821882ybf.291.1631041264494;
Tue, 07 Sep 2021 12:01:04 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.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: Tue, 7 Sep 2021 12:01:04 -0700 (PDT)
In-Reply-To: <sh8cjl$1q5p$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:124e:2cf6:172:afed:80bc;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:124e:2cf6:172:afed:80bc
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com> <512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com>
<7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com> <1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com>
<9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com> <c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com>
<c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com> <37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com>
<ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com> <04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com>
<f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com> <b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com>
<80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com> <314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com>
<cae99dda-ca36-4e11-a227-a316a806add1n@googlegroups.com> <cde1f97f-ef28-4185-a1a3-d830bdf66f92n@googlegroups.com>
<sh8cjl$1q5p$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9cbbb668-46ea-47d1-b62b-1329aee136c0n@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Tue, 07 Sep 2021 19:01:04 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 8
 by: WM - Tue, 7 Sep 2021 19:01 UTC

Serg io schrieb am Dienstag, 7. September 2021 um 20:56:00 UTC+2:

> > But how do you know that n is a natural number if you can't define it.
> you simply say "n is a natural number".

But you can check that its second row is empty and its upper left corner is no vertex.

Regards, WM

Re: Counterexample

<45190625-e9f4-4dfd-8fbd-156e86cc722fn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:528c:: with SMTP id v12mr18721647qvr.44.1631044866843;
Tue, 07 Sep 2021 13:01:06 -0700 (PDT)
X-Received: by 2002:a25:c011:: with SMTP id c17mr135875ybf.291.1631044866671;
Tue, 07 Sep 2021 13:01:06 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.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: Tue, 7 Sep 2021 13:01:06 -0700 (PDT)
In-Reply-To: <70e53553-b3d5-483b-b4fe-71f786901344n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=79.206.205.22; posting-account=-75WZwoAAABL0f0-07Kn6tvNHWg7W9AE
NNTP-Posting-Host: 79.206.205.22
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<514732e8-5428-42bb-a4fa-131b369430e9n@googlegroups.com> <f7a86c9c-7ffb-7b59-a58c-964789322557@att.net>
<1595efa5-f4c2-4d26-bc52-444f6331a83dn@googlegroups.com> <c9049069-7779-9452-0a45-6606c34c2336@att.net>
<cf659b4c-fc46-4029-af35-2f760b140a84n@googlegroups.com> <e46dc60b-a841-27f6-e66e-37cca19a3e14@att.net>
<96206c00-89d9-4e19-92ce-25a0ca37e051n@googlegroups.com> <228ed842-06ac-ce67-0bd7-396530984301@att.net>
<cf65cb59-2621-4465-8779-08e03d8193c8n@googlegroups.com> <46566cdf-cc01-998d-2197-99cbdf2e5d04@att.net>
<f0c74115-56c7-4de3-b2db-601ec7a98accn@googlegroups.com> <c3fa1f78-97a6-606a-d52b-ddee1204169b@att.net>
<3d073885-291d-4baf-8ee2-392df9092ff4n@googlegroups.com> <1aff75ff-4991-17b9-86e7-2caa30010730@att.net>
<3e9af970-37e3-4c2e-a287-8807ca9103ben@googlegroups.com> <5c70a878-1225-1a19-5943-e928fffbec64@att.net>
<5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com> <2b7924fb-2bde-350a-0b2b-f1503601d644@att.net>
<70e53553-b3d5-483b-b4fe-71f786901344n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <45190625-e9f4-4dfd-8fbd-156e86cc722fn@googlegroups.com>
Subject: Re: Counterexample
From: franz.fr...@gmail.com (Greg Cunt)
Injection-Date: Tue, 07 Sep 2021 20:01:06 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 10
 by: Greg Cunt - Tue, 7 Sep 2021 20:01 UTC

On Tuesday, September 7, 2021 at 8:43:45 PM UTC+2, WM wrote:
> Jim Burns schrieb am Dienstag, 7. September 2021 um 07:24:52 UTC+2:
> >
> > If there is no last end segment [in a nonempty set M]
> > then the intersection [of M] is not an end segment.
> >
> The intersection is always an endsegment.

No, it isn't.

INTERSECTION {E(n) : n e IN} = {}, but {} is not an endsegment.

Re: Counterexample

<17914c66-4c7c-47a7-964f-0c3e3055bac3n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1704:: with SMTP id h4mr357567qtk.9.1631047903826;
Tue, 07 Sep 2021 13:51:43 -0700 (PDT)
X-Received: by 2002:a25:a241:: with SMTP id b59mr402200ybi.522.1631047903644;
Tue, 07 Sep 2021 13:51:43 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.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: Tue, 7 Sep 2021 13:51:43 -0700 (PDT)
In-Reply-To: <sh7pmn$b00$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>
<cf659b4c-fc46-4029-af35-2f760b140a84n@googlegroups.com> <e46dc60b-a841-27f6-e66e-37cca19a3e14@att.net>
<96206c00-89d9-4e19-92ce-25a0ca37e051n@googlegroups.com> <228ed842-06ac-ce67-0bd7-396530984301@att.net>
<cf65cb59-2621-4465-8779-08e03d8193c8n@googlegroups.com> <46566cdf-cc01-998d-2197-99cbdf2e5d04@att.net>
<f0c74115-56c7-4de3-b2db-601ec7a98accn@googlegroups.com> <c3fa1f78-97a6-606a-d52b-ddee1204169b@att.net>
<3d073885-291d-4baf-8ee2-392df9092ff4n@googlegroups.com> <1aff75ff-4991-17b9-86e7-2caa30010730@att.net>
<3e9af970-37e3-4c2e-a287-8807ca9103ben@googlegroups.com> <5c70a878-1225-1a19-5943-e928fffbec64@att.net>
<5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com> <3844055a-b14e-478f-9ed2-4a58fc3f1bccn@googlegroups.com>
<c02eb439-8e37-4826-b45c-acb900a20c83n@googlegroups.com> <sh5v9n$17oc$1@gioia.aioe.org>
<sh5vi1$9lt$4@gioia.aioe.org> <916548f9-830e-47ab-b5b6-7e2567ec7362n@googlegroups.com>
<sh7pmn$b00$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <17914c66-4c7c-47a7-964f-0c3e3055bac3n@googlegroups.com>
Subject: Re: Counterexample
From: ross.fin...@gmail.com (Ross A. Finlayson)
Injection-Date: Tue, 07 Sep 2021 20:51:43 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 37
 by: Ross A. Finlayson - Tue, 7 Sep 2021 20:51 UTC

On Tuesday, September 7, 2021 at 6:33:21 AM UTC-7, Serg io wrote:
> On 9/6/2021 10:17 PM, Greg Cunt wrote:
> > On Monday, September 6, 2021 at 11:01:05 PM UTC+2, C6H12O6 wrote:
> >
> >> you math guys gotta learn to sing *The Internationale*.
> >>
> >> la laaaa, lala lala laaaa la, la la lala lala lala.
> >
> > If you say so.
> >
> > How about this:
> > https://www.youtube.com/watch?v=y5zQTmkY7GI
> >
> > Btw. Capitalism is evil.
> >
> that is very old-school commies,
>
> better new commie music here
>
> https://www.youtube.com/watch?v=egPCKuN8mic
>
>
> 00:01 Bayonets of Justice, Bring Thunder!
> 03:30 The General's Songun Will Forever Be a Legend
> 08:26 Bright with Evening Glow
> 11:54 Song of the Sea
> 18:39 Night in the Trenches
> 23:15 Our Victory Day July 27
> 27:02 Who Taught Me That?
> 33:35 We Meet at the Front!
> 36:37 On the Road of Struggle Following the General
> 42:24 Sound of Horse Hooves in Mount Paektu (A Cappella Version)
> 45:59 The Two Thousand Ri Amnok River
> 53:15 My Beautiful Homeland
> 58:43 Patriotic Song (National Anthem of North Korea)

Highway Song (Anthem)

Re: Counterexample

<1f711395-64ea-d3af-d2bc-7e043504eeb2@att.net>

  copy mid

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

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: james.g....@att.net (Jim Burns)
Newsgroups: sci.math
Subject: Re: Counterexample
Date: Tue, 7 Sep 2021 18:33:19 -0400
Organization: A noiseless patient Spider
Lines: 110
Message-ID: <1f711395-64ea-d3af-d2bc-7e043504eeb2@att.net>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<1595efa5-f4c2-4d26-bc52-444f6331a83dn@googlegroups.com>
<c9049069-7779-9452-0a45-6606c34c2336@att.net>
<cf659b4c-fc46-4029-af35-2f760b140a84n@googlegroups.com>
<e46dc60b-a841-27f6-e66e-37cca19a3e14@att.net>
<96206c00-89d9-4e19-92ce-25a0ca37e051n@googlegroups.com>
<228ed842-06ac-ce67-0bd7-396530984301@att.net>
<cf65cb59-2621-4465-8779-08e03d8193c8n@googlegroups.com>
<46566cdf-cc01-998d-2197-99cbdf2e5d04@att.net>
<f0c74115-56c7-4de3-b2db-601ec7a98accn@googlegroups.com>
<c3fa1f78-97a6-606a-d52b-ddee1204169b@att.net>
<3d073885-291d-4baf-8ee2-392df9092ff4n@googlegroups.com>
<1aff75ff-4991-17b9-86e7-2caa30010730@att.net>
<3e9af970-37e3-4c2e-a287-8807ca9103ben@googlegroups.com>
<5c70a878-1225-1a19-5943-e928fffbec64@att.net>
<5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com>
<2b7924fb-2bde-350a-0b2b-f1503601d644@att.net>
<70e53553-b3d5-483b-b4fe-71f786901344n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: reader02.eternal-september.org; posting-host="33922bbf5fe1b62d09a928ee902bad78";
logging-data="14428"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+xSR/vQJW1qj48zS6GFQfZLowUFzPw0fs="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
Cancel-Lock: sha1:dV/YoRPw4BYRVyKlmu5qxGINKuw=
In-Reply-To: <70e53553-b3d5-483b-b4fe-71f786901344n@googlegroups.com>
Content-Language: en-US
 by: Jim Burns - Tue, 7 Sep 2021 22:33 UTC

On 9/7/2021 2:43 PM, WM wrote:
> Jim Burns schrieb
> am Dienstag, 7. September 2021 um 07:24:52 UTC+2:
>> On 9/6/2021 3:02 PM, WM wrote:
>>> Jim Burns schrieb
>>> am Montag, 6. September 2021 um 20:21:13 UTC+2:

>>>> Because Ak e N: E(k+1) = E(k)\{k}
>>>> the intersection is empty.
>>>
>>> The intersection is the last endsegment.
>>> If there is no last endsegment,
>>
>> If the intersection is an end segment,
>> then there is a last end segment.
>
> No, you can consider every endsegment.
> It is not last and it is infinite.

For the intersection INT(C) of the collection C and set B,
a member of C, each member x of INT(C) is also in B.
Because of what an intersection is.

Therefore,
for the intersection INT(C) of the collection C and set B,
a member of C, INT(C) is a subset of B, which is in C.

Therefore,
if we order by inclusion (which we are doing),
INT(C) is "less than" each set in C.
Because of what an intersection is.

If INT(C) equals some member of C,
then INT(C) is last in in C.
Because of what an intersection is.

Consider the collection of all end segments, Ends.
If INT(Ends) is an end segment,
then INT(Ends) is some member of Ends.
And INT(Ends) is a subset of each member of of Ends.
These properties would make INT(Ends) the last of
the members of Ends == the last of all end segments.

Therefore,
if the intersection (of all end segments) is an end segment,
then there is a last end segment (of all end segments).

>>> If there is no last endsegment,
>>> then every endsegment has infinitely many elements and
>>> there is only a current intersection
>>> which is the same as the current endsegment.
>>
>> If there is no last end segment,
>> then the intersection is not an end segment.
>
> The intersection is always an endsegment.

I've noticed that that is your opinion.
I am proving otherwise.

>> If there is no last end segment,
>
> then the infinite sequence of intersections is never empty.

If there is no last end segment,
then inclusion monotony requires that the intersection
is not anywhere in the sequence.

> Try to understand inclusion monotony.

Try to understand contrapositives.

This
| If B then C
and this
| If not C, then not B
are either both true or both false.

This
| If the intersection of all end segments is an end segment,
| then there is a last end segment of all end segments
and this
| If there is no last end segment of all end segments,
| then the intersection of all end segments is not an end segment
are either both true or both false.

An end segment is a non-empty, closed-upwards set.

Not-an-end-segment is an empty or non-closed-upwards set.

If there is no last end segment of all end segments,
then the intersection of all end segments is
an empty or non-closed-upwards set.

The intersection of closed upwards sets is
a closed upwards set.

The intersection of end segments is
a closed upwards set.

If there is no last end segment of all end segments,
then the intersection of all end segments is
a closed upwards set which is empty or non-closed-upwards.

If there is no last end segment,
then the intersection of all end segments is
empty.

Re: Counterexample

<2cf02a74-3a65-46ce-af8d-8eaf31c520bbn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a0c:8bc9:: with SMTP id a9mr1042773qvc.29.1631060540550;
Tue, 07 Sep 2021 17:22:20 -0700 (PDT)
X-Received: by 2002:a05:6902:102a:: with SMTP id x10mr1267257ybt.493.1631060540337;
Tue, 07 Sep 2021 17:22:20 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.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: Tue, 7 Sep 2021 17:22:20 -0700 (PDT)
In-Reply-To: <2aaa4ba9-91b7-430b-84a4-37212b274f4an@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> <39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>
<9f55b615-d049-4d0e-b151-f3938750b079n@googlegroups.com> <35e9e663-462c-4081-a729-0ba0b035b3dbn@googlegroups.com>
<4373bd62-8c65-4039-aea5-9f4364b1ebf1n@googlegroups.com> <8e48b75e-c7d7-4530-8535-fedff4175cben@googlegroups.com>
<f337069d-e54d-48d7-9847-b81194597539n@googlegroups.com> <1e12a202-c251-422d-b61d-dd03495e13e5n@googlegroups.com>
<8735b23d-3382-49cc-b0d8-235c9cd030fen@googlegroups.com> <42d91071-8ca3-48ee-9769-436e9dcaaf8an@googlegroups.com>
<11f3dac5-6983-499f-9ba0-23198a2fa0adn@googlegroups.com> <8c99e088-5f5b-48f9-8d7c-0ea9a96e2146n@googlegroups.com>
<8b81b0b6-ea8a-4dae-81f0-74b447c060can@googlegroups.com> <518d7101-87ad-4f7d-a90e-6f7e03448383n@googlegroups.com>
<9de0a26c-5a4e-4c91-8b77-e0cd451e6517n@googlegroups.com> <5e017b96-9dec-4ebf-8dc8-8a3400bcefc0n@googlegroups.com>
<9ab5bb45-7720-4f37-904f-d92fb6d4742en@googlegroups.com> <5bc77e30-71f3-4974-94f2-4a54126d9c66n@googlegroups.com>
<0e7e89a8-87b0-4e6c-89c2-c5635bbd35d0n@googlegroups.com> <944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com>
<512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com> <7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com> <9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com> <c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com> <ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com> <f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com> <80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com>
<314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com> <9d42633e-b0dd-4c90-9750-48ebb3e14fdcn@googlegroups.com>
<85e2e04b-3f3c-4770-9b77-13ceb55d1f7bn@googlegroups.com> <9c4d5592-4dfc-4fe1-9184-a9d19bd00e4fn@googlegroups.com>
<2aaa4ba9-91b7-430b-84a4-37212b274f4an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2cf02a74-3a65-46ce-af8d-8eaf31c520bbn@googlegroups.com>
Subject: Re: Counterexample
From: wpihug...@gmail.com (William)
Injection-Date: Wed, 08 Sep 2021 00:22:20 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 16
 by: William - Wed, 8 Sep 2021 00:22 UTC

On Tuesday, September 7, 2021 at 3:56:41 PM UTC-3, WM wrote:

> If you have an unwritable object, how do you find out that it is an element of |N_F? If you have two objects, ho can you find out that they differ and in what way?

We know that an element that you cannot write down of |N_F exists, and from the fact that every element has a successor (even elements you cannot write down, this is a property of an element of |N_F, another property shared by every element of |N_F is that no element of |N_F is equal to its successor) we know there are two elements that you cannot write down that are not the same. Your insistence that only elements with the property "can be written down" have knowable properties is silly.

--
William Hughes

Re: Counterexample

<sh9e1q$1mj4$1@gioia.aioe.org>

  copy mid

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

  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: Tue, 7 Sep 2021 23:26:33 -0500
Organization: Aioe.org NNTP Server
Message-ID: <sh9e1q$1mj4$1@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com>
<9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com>
<c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com>
<ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com>
<f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com>
<80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com>
<314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com>
<cae99dda-ca36-4e11-a227-a316a806add1n@googlegroups.com>
<cde1f97f-ef28-4185-a1a3-d830bdf66f92n@googlegroups.com>
<sh8cjl$1q5p$1@gioia.aioe.org>
<9cbbb668-46ea-47d1-b62b-1329aee136c0n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="55908"; 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.14.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
 by: Serg io - Wed, 8 Sep 2021 04:26 UTC

On 9/7/2021 2:01 PM, WM wrote:
> Serg io schrieb am Dienstag, 7. September 2021 um 20:56:00 UTC+2:
>
>
>>> But how do you know that n is a natural number if you can't define it.
>> you simply say "n is a natural number".
>
> But you can check that its second row is empty and its upper left corner is no vertex.
>
> Regards, WM
>

n doesn't need a "row" nor a "vertex" to be a natural number, nor does n need someone to "check" to see if it really is a natural number.

Re: Counterexample

<0467ea47-1555-496d-b6bb-19d7fcdb92dfn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:44e:: with SMTP id o14mr1927328qtx.33.1631077615420;
Tue, 07 Sep 2021 22:06:55 -0700 (PDT)
X-Received: by 2002:a25:5243:: with SMTP id g64mr2598767ybb.278.1631077615207;
Tue, 07 Sep 2021 22:06:55 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.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: Tue, 7 Sep 2021 22:06:54 -0700 (PDT)
In-Reply-To: <cde1f97f-ef28-4185-a1a3-d830bdf66f92n@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>
<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> <39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>
<9f55b615-d049-4d0e-b151-f3938750b079n@googlegroups.com> <35e9e663-462c-4081-a729-0ba0b035b3dbn@googlegroups.com>
<4373bd62-8c65-4039-aea5-9f4364b1ebf1n@googlegroups.com> <8e48b75e-c7d7-4530-8535-fedff4175cben@googlegroups.com>
<f337069d-e54d-48d7-9847-b81194597539n@googlegroups.com> <1e12a202-c251-422d-b61d-dd03495e13e5n@googlegroups.com>
<8735b23d-3382-49cc-b0d8-235c9cd030fen@googlegroups.com> <42d91071-8ca3-48ee-9769-436e9dcaaf8an@googlegroups.com>
<11f3dac5-6983-499f-9ba0-23198a2fa0adn@googlegroups.com> <8c99e088-5f5b-48f9-8d7c-0ea9a96e2146n@googlegroups.com>
<8b81b0b6-ea8a-4dae-81f0-74b447c060can@googlegroups.com> <518d7101-87ad-4f7d-a90e-6f7e03448383n@googlegroups.com>
<9de0a26c-5a4e-4c91-8b77-e0cd451e6517n@googlegroups.com> <5e017b96-9dec-4ebf-8dc8-8a3400bcefc0n@googlegroups.com>
<9ab5bb45-7720-4f37-904f-d92fb6d4742en@googlegroups.com> <5bc77e30-71f3-4974-94f2-4a54126d9c66n@googlegroups.com>
<0e7e89a8-87b0-4e6c-89c2-c5635bbd35d0n@googlegroups.com> <944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com>
<512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com> <7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com> <9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com> <c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com> <ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com> <f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com> <80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com>
<314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com> <cae99dda-ca36-4e11-a227-a316a806add1n@googlegroups.com>
<cde1f97f-ef28-4185-a1a3-d830bdf66f92n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0467ea47-1555-496d-b6bb-19d7fcdb92dfn@googlegroups.com>
Subject: Re: Counterexample
From: zelos.ma...@gmail.com (zelos...@gmail.com)
Injection-Date: Wed, 08 Sep 2021 05:06:55 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 31
 by: zelos...@gmail.com - Wed, 8 Sep 2021 05:06 UTC

tisdag 7 september 2021 kl. 20:47:43 UTC+2 skrev WM:
> zelos...@gmail.com schrieb am Dienstag, 7. September 2021 um 07:10:42 UTC+2:
> > måndag 6 september 2021 kl. 19:28:41 UTC+2 skrev WM:
> > > William schrieb am Montag, 6. September 2021 um 19:09:24 UTC+2:
> > > > On Monday, September 6, 2021 at 1:59:34 PM UTC-3, WM wrote:
> > >
> > > > > How would you handle an element and show its existence if you cannot write down or address it?
> > > > Add the term "handle" to the list of the many many many ways you have or saying "write down". Your question is the silly, how can you write and element of |N_F down if the element cannot be written down.
> > > How do you show that it is and individual and differs from other individuals, i.e., it is not dark?
> > >
> > for atural numbers we have that n=m if S(n)=S(m).
> Look, we know that 7 is a natural number.
> But how do you know that n is a natural number if you can't define it.
>
> Regards, WM

if I say n is in N, then n is a natural number. There is no "identify" it, by definition it is a natural number.

>Mathematics needs physical abilities to be practiced

We do not need to be able to write everything down to argue about them!

>Without defining an element there is no mathematics but only matheology.

That is your PERSONAL OPINION ONLY!

Re: Counterexample

<40657bf0-d64e-4dff-99d8-7fa908979580n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a0c:aa01:: with SMTP id d1mr2219657qvb.47.1631095824815;
Wed, 08 Sep 2021 03:10:24 -0700 (PDT)
X-Received: by 2002:a25:c011:: with SMTP id c17mr3746375ybf.291.1631095824647;
Wed, 08 Sep 2021 03:10:24 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.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: Wed, 8 Sep 2021 03:10:24 -0700 (PDT)
In-Reply-To: <0467ea47-1555-496d-b6bb-19d7fcdb92dfn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=129.173.240.150; posting-account=-eQqtQoAAACZVM-kNEsOn3k7GSvoJoS4
NNTP-Posting-Host: 129.173.240.150
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> <39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>
<9f55b615-d049-4d0e-b151-f3938750b079n@googlegroups.com> <35e9e663-462c-4081-a729-0ba0b035b3dbn@googlegroups.com>
<4373bd62-8c65-4039-aea5-9f4364b1ebf1n@googlegroups.com> <8e48b75e-c7d7-4530-8535-fedff4175cben@googlegroups.com>
<f337069d-e54d-48d7-9847-b81194597539n@googlegroups.com> <1e12a202-c251-422d-b61d-dd03495e13e5n@googlegroups.com>
<8735b23d-3382-49cc-b0d8-235c9cd030fen@googlegroups.com> <42d91071-8ca3-48ee-9769-436e9dcaaf8an@googlegroups.com>
<11f3dac5-6983-499f-9ba0-23198a2fa0adn@googlegroups.com> <8c99e088-5f5b-48f9-8d7c-0ea9a96e2146n@googlegroups.com>
<8b81b0b6-ea8a-4dae-81f0-74b447c060can@googlegroups.com> <518d7101-87ad-4f7d-a90e-6f7e03448383n@googlegroups.com>
<9de0a26c-5a4e-4c91-8b77-e0cd451e6517n@googlegroups.com> <5e017b96-9dec-4ebf-8dc8-8a3400bcefc0n@googlegroups.com>
<9ab5bb45-7720-4f37-904f-d92fb6d4742en@googlegroups.com> <5bc77e30-71f3-4974-94f2-4a54126d9c66n@googlegroups.com>
<0e7e89a8-87b0-4e6c-89c2-c5635bbd35d0n@googlegroups.com> <944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com>
<512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com> <7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com> <9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com> <c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com> <ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com> <f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com> <80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com>
<314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com> <cae99dda-ca36-4e11-a227-a316a806add1n@googlegroups.com>
<cde1f97f-ef28-4185-a1a3-d830bdf66f92n@googlegroups.com> <0467ea47-1555-496d-b6bb-19d7fcdb92dfn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <40657bf0-d64e-4dff-99d8-7fa908979580n@googlegroups.com>
Subject: Re: Counterexample
From: horand.g...@gmail.com (Gus Gassmann)
Injection-Date: Wed, 08 Sep 2021 10:10:24 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 33
 by: Gus Gassmann - Wed, 8 Sep 2021 10:10 UTC

On Wednesday, 8 September 2021 at 02:07:01 UTC-3, zelos...@gmail.com wrote:
> tisdag 7 september 2021 kl. 20:47:43 UTC+2 skrev WM:
> > zelos...@gmail.com schrieb am Dienstag, 7. September 2021 um 07:10:42 UTC+2:
> > > måndag 6 september 2021 kl. 19:28:41 UTC+2 skrev WM:
> > > > William schrieb am Montag, 6. September 2021 um 19:09:24 UTC+2:
> > > > > On Monday, September 6, 2021 at 1:59:34 PM UTC-3, WM wrote:
> > > >
> > > > > > How would you handle an element and show its existence if you cannot write down or address it?
> > > > > Add the term "handle" to the list of the many many many ways you have or saying "write down". Your question is the silly, how can you write and element of |N_F down if the element cannot be written down.
> > > > How do you show that it is and individual and differs from other individuals, i.e., it is not dark?
> > > >
> > > for atural numbers we have that n=m if S(n)=S(m).
> > Look, we know that 7 is a natural number.
> > But how do you know that n is a natural number if you can't define it.
> >
> > Regards, WM
> if I say n is in N, then n is a natural number. There is no "identify" it, by definition it is a natural number.
> >Mathematics needs physical abilities to be practiced
> We do not need to be able to write everything down to argue about them!
> >Without defining an element there is no mathematics but only matheology.
> That is your PERSONAL OPINION ONLY!

I call it "Myckemyth". It is characterized by nothing but false results, very poetic language, and recently a disturbing new vocabulary that includes intervals that need to be "deflowered" before they can be "coupled". His descent into madness in front of everyone's eyes here is frightening to watch..

Re: Counterexample

<92925d02-b7a6-4e59-90ee-ba8511b26ff8n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a37:ea16:: with SMTP id t22mr5234393qkj.507.1631129924043;
Wed, 08 Sep 2021 12:38:44 -0700 (PDT)
X-Received: by 2002:a25:5956:: with SMTP id n83mr6815857ybb.109.1631129923885;
Wed, 08 Sep 2021 12:38:43 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.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: Wed, 8 Sep 2021 12:38:43 -0700 (PDT)
In-Reply-To: <1f711395-64ea-d3af-d2bc-7e043504eeb2@att.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:1223:617c:c7f5:c935:3b4e;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:1223:617c:c7f5:c935:3b4e
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<1595efa5-f4c2-4d26-bc52-444f6331a83dn@googlegroups.com> <c9049069-7779-9452-0a45-6606c34c2336@att.net>
<cf659b4c-fc46-4029-af35-2f760b140a84n@googlegroups.com> <e46dc60b-a841-27f6-e66e-37cca19a3e14@att.net>
<96206c00-89d9-4e19-92ce-25a0ca37e051n@googlegroups.com> <228ed842-06ac-ce67-0bd7-396530984301@att.net>
<cf65cb59-2621-4465-8779-08e03d8193c8n@googlegroups.com> <46566cdf-cc01-998d-2197-99cbdf2e5d04@att.net>
<f0c74115-56c7-4de3-b2db-601ec7a98accn@googlegroups.com> <c3fa1f78-97a6-606a-d52b-ddee1204169b@att.net>
<3d073885-291d-4baf-8ee2-392df9092ff4n@googlegroups.com> <1aff75ff-4991-17b9-86e7-2caa30010730@att.net>
<3e9af970-37e3-4c2e-a287-8807ca9103ben@googlegroups.com> <5c70a878-1225-1a19-5943-e928fffbec64@att.net>
<5d9fcc3e-94ae-42b3-80bd-c8902964e2e7n@googlegroups.com> <2b7924fb-2bde-350a-0b2b-f1503601d644@att.net>
<70e53553-b3d5-483b-b4fe-71f786901344n@googlegroups.com> <1f711395-64ea-d3af-d2bc-7e043504eeb2@att.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <92925d02-b7a6-4e59-90ee-ba8511b26ff8n@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Wed, 08 Sep 2021 19:38:44 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 7
 by: WM - Wed, 8 Sep 2021 19:38 UTC

Jim Burns schrieb am Mittwoch, 8. September 2021 um 00:33:30 UTC+2:

> If there is no last end segment of all end segments,
> then the intersection of all end segments is

Then there is no "all endsegments". "All" can only be proved by showing the last.

Regards, WM

Re: Counterexample

<2152d103-308d-436f-890f-4d2ffa55ec2fn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:5290:: with SMTP id s16mr5346qtn.412.1631130214464;
Wed, 08 Sep 2021 12:43:34 -0700 (PDT)
X-Received: by 2002:a05:6902:102a:: with SMTP id x10mr6865618ybt.493.1631130214283;
Wed, 08 Sep 2021 12:43:34 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.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: Wed, 8 Sep 2021 12:43:34 -0700 (PDT)
In-Reply-To: <2cf02a74-3a65-46ce-af8d-8eaf31c520bbn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:1223:617c:c7f5:c935:3b4e;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:1223:617c:c7f5:c935:3b4e
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> <39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>
<9f55b615-d049-4d0e-b151-f3938750b079n@googlegroups.com> <35e9e663-462c-4081-a729-0ba0b035b3dbn@googlegroups.com>
<4373bd62-8c65-4039-aea5-9f4364b1ebf1n@googlegroups.com> <8e48b75e-c7d7-4530-8535-fedff4175cben@googlegroups.com>
<f337069d-e54d-48d7-9847-b81194597539n@googlegroups.com> <1e12a202-c251-422d-b61d-dd03495e13e5n@googlegroups.com>
<8735b23d-3382-49cc-b0d8-235c9cd030fen@googlegroups.com> <42d91071-8ca3-48ee-9769-436e9dcaaf8an@googlegroups.com>
<11f3dac5-6983-499f-9ba0-23198a2fa0adn@googlegroups.com> <8c99e088-5f5b-48f9-8d7c-0ea9a96e2146n@googlegroups.com>
<8b81b0b6-ea8a-4dae-81f0-74b447c060can@googlegroups.com> <518d7101-87ad-4f7d-a90e-6f7e03448383n@googlegroups.com>
<9de0a26c-5a4e-4c91-8b77-e0cd451e6517n@googlegroups.com> <5e017b96-9dec-4ebf-8dc8-8a3400bcefc0n@googlegroups.com>
<9ab5bb45-7720-4f37-904f-d92fb6d4742en@googlegroups.com> <5bc77e30-71f3-4974-94f2-4a54126d9c66n@googlegroups.com>
<0e7e89a8-87b0-4e6c-89c2-c5635bbd35d0n@googlegroups.com> <944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com>
<512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com> <7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com> <9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com> <c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com> <ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com> <f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com> <80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com>
<314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com> <9d42633e-b0dd-4c90-9750-48ebb3e14fdcn@googlegroups.com>
<85e2e04b-3f3c-4770-9b77-13ceb55d1f7bn@googlegroups.com> <9c4d5592-4dfc-4fe1-9184-a9d19bd00e4fn@googlegroups.com>
<2aaa4ba9-91b7-430b-84a4-37212b274f4an@googlegroups.com> <2cf02a74-3a65-46ce-af8d-8eaf31c520bbn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2152d103-308d-436f-890f-4d2ffa55ec2fn@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Wed, 08 Sep 2021 19:43:34 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 26
 by: WM - Wed, 8 Sep 2021 19:43 UTC

William schrieb am Mittwoch, 8. September 2021 um 02:22:26 UTC+2:
> On Tuesday, September 7, 2021 at 3:56:41 PM UTC-3, WM wrote:
>
> > If you have an unwritable object, how do you find out that it is an element of |N_F? If you have two objects, how can you find out that they differ and in what way?
> We know that an element that you cannot write down of |N_F exists,

We know only that if actual infinity is a meaningful notion dark or unwritable or undefinable elements exist.

> and from the fact that every element has a successor (even elements you cannot write down, this is a property of an element of |N_F, another property shared by every element of |N_F is that no element of |N_F is equal to its successor) we know there are two elements that you cannot write down that are not the same.

That is a general property. But my question was: If you have two objects, how can you find out that they differ and in what way?

> Your insistence that only elements with the property "can be written down" have knowable properties is silly.

My question continues: How can you have or be in possession of two undefinable objects?

Regards, WM

Re: Counterexample

<278901e6-eff8-4b25-80d3-eb00e3bed7bcn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:146d:: with SMTP id c13mr5335983qvy.46.1631130367946;
Wed, 08 Sep 2021 12:46:07 -0700 (PDT)
X-Received: by 2002:a25:5982:: with SMTP id n124mr6814530ybb.57.1631130367800;
Wed, 08 Sep 2021 12:46:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!news.nntp4.net!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: Wed, 8 Sep 2021 12:46:07 -0700 (PDT)
In-Reply-To: <sh9e1q$1mj4$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:1223:617c:c7f5:c935:3b4e;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:1223:617c:c7f5:c935:3b4e
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com> <1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com>
<9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com> <c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com>
<c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com> <37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com>
<ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com> <04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com>
<f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com> <b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com>
<80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com> <314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com>
<cae99dda-ca36-4e11-a227-a316a806add1n@googlegroups.com> <cde1f97f-ef28-4185-a1a3-d830bdf66f92n@googlegroups.com>
<sh8cjl$1q5p$1@gioia.aioe.org> <9cbbb668-46ea-47d1-b62b-1329aee136c0n@googlegroups.com>
<sh9e1q$1mj4$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <278901e6-eff8-4b25-80d3-eb00e3bed7bcn@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Wed, 08 Sep 2021 19:46:07 +0000
Content-Type: text/plain; charset="UTF-8"
 by: WM - Wed, 8 Sep 2021 19:46 UTC

Serg io schrieb am Mittwoch, 8. September 2021 um 06:26:47 UTC+2:
> On 9/7/2021 2:01 PM, WM wrote:
> > Serg io schrieb am Dienstag, 7. September 2021 um 20:56:00 UTC+2:

> >>> But how do you know that n is a natural number if you can't define it.
> >> you simply say "n is a natural number".
> >
> > But you can check that its second row is empty and its upper left corner is no vertex.
> >
> n doesn't need a "row" nor a "vertex" to be a natural number,

On the contrary. Objects which have rows or vertices are with certainty no natural numbers. So your simply saying "n is a natural number" is nonsense.

Regards, WM

Re: Counterexample

<a59a2a78-c283-4842-8b07-20b882d03db0n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:2909:: with SMTP id m9mr5291870qkp.77.1631130487339;
Wed, 08 Sep 2021 12:48:07 -0700 (PDT)
X-Received: by 2002:a25:f20a:: with SMTP id i10mr7188613ybe.236.1631130487212;
Wed, 08 Sep 2021 12:48:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.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: Wed, 8 Sep 2021 12:48:07 -0700 (PDT)
In-Reply-To: <0467ea47-1555-496d-b6bb-19d7fcdb92dfn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7726:1223:617c:c7f5:c935:3b4e;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7726:1223:617c:c7f5:c935:3b4e
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> <39cd4bad-e0aa-46cf-acbe-91c9a0247a5en@googlegroups.com>
<9f55b615-d049-4d0e-b151-f3938750b079n@googlegroups.com> <35e9e663-462c-4081-a729-0ba0b035b3dbn@googlegroups.com>
<4373bd62-8c65-4039-aea5-9f4364b1ebf1n@googlegroups.com> <8e48b75e-c7d7-4530-8535-fedff4175cben@googlegroups.com>
<f337069d-e54d-48d7-9847-b81194597539n@googlegroups.com> <1e12a202-c251-422d-b61d-dd03495e13e5n@googlegroups.com>
<8735b23d-3382-49cc-b0d8-235c9cd030fen@googlegroups.com> <42d91071-8ca3-48ee-9769-436e9dcaaf8an@googlegroups.com>
<11f3dac5-6983-499f-9ba0-23198a2fa0adn@googlegroups.com> <8c99e088-5f5b-48f9-8d7c-0ea9a96e2146n@googlegroups.com>
<8b81b0b6-ea8a-4dae-81f0-74b447c060can@googlegroups.com> <518d7101-87ad-4f7d-a90e-6f7e03448383n@googlegroups.com>
<9de0a26c-5a4e-4c91-8b77-e0cd451e6517n@googlegroups.com> <5e017b96-9dec-4ebf-8dc8-8a3400bcefc0n@googlegroups.com>
<9ab5bb45-7720-4f37-904f-d92fb6d4742en@googlegroups.com> <5bc77e30-71f3-4974-94f2-4a54126d9c66n@googlegroups.com>
<0e7e89a8-87b0-4e6c-89c2-c5635bbd35d0n@googlegroups.com> <944d6985-28b4-4cb1-a071-01833355efe2n@googlegroups.com>
<512e409b-ae26-4183-8627-644cd02a9952n@googlegroups.com> <7d5ce61d-84a3-4485-b105-850526abd03bn@googlegroups.com>
<1fefbad9-f259-40e5-a2f0-92b527cb5515n@googlegroups.com> <9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com> <c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com> <ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com> <f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com> <80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com>
<314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com> <cae99dda-ca36-4e11-a227-a316a806add1n@googlegroups.com>
<cde1f97f-ef28-4185-a1a3-d830bdf66f92n@googlegroups.com> <0467ea47-1555-496d-b6bb-19d7fcdb92dfn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a59a2a78-c283-4842-8b07-20b882d03db0n@googlegroups.com>
Subject: Re: Counterexample
From: wolfgang...@hs-augsburg.de (WM)
Injection-Date: Wed, 08 Sep 2021 19:48:07 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 8
 by: WM - Wed, 8 Sep 2021 19:48 UTC

zelos...@gmail.com schrieb am Mittwoch, 8. September 2021 um 07:07:01 UTC+2:
> tisdag 7 september 2021 kl. 20:47:43 UTC+2 skrev WM:

> >Mathematics needs physical abilities to be practiced
> We do not need to be able to write everything down to argue about them!

And you refrain also from thinking, as it appears.

Regards, WM

Re: Counterexample

<shb8tt$h3s$3@gioia.aioe.org>

  copy mid

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

  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: Wed, 8 Sep 2021 16:11:25 -0500
Organization: Aioe.org NNTP Server
Message-ID: <shb8tt$h3s$3@gioia.aioe.org>
References: <b4cea576-24f6-41e6-99e4-ce1f1e83c63fn@googlegroups.com>
<9ff61396-1030-4b4b-916c-47a68d23e05dn@googlegroups.com>
<c0c99c45-d6c6-400c-a2b5-c1719965d0d4n@googlegroups.com>
<c8465aa0-39b0-4a53-b40c-78c3ed1be8f9n@googlegroups.com>
<37a77585-55d4-47e3-99a2-4760a1ec033an@googlegroups.com>
<ef0a548d-2996-405b-95a9-0ae4731498e4n@googlegroups.com>
<04767c70-1d69-4757-9c7d-8817cae04cefn@googlegroups.com>
<f98bcd12-e36f-453d-bb45-065a667347e6n@googlegroups.com>
<b54e7e5c-ae61-43bf-842e-9f0c769dec58n@googlegroups.com>
<80f75dd9-1c91-43c5-8c9c-8dfe5b80a0a8n@googlegroups.com>
<314ed67c-bb8d-4020-9143-f31773750b91n@googlegroups.com>
<9d42633e-b0dd-4c90-9750-48ebb3e14fdcn@googlegroups.com>
<85e2e04b-3f3c-4770-9b77-13ceb55d1f7bn@googlegroups.com>
<9c4d5592-4dfc-4fe1-9184-a9d19bd00e4fn@googlegroups.com>
<2aaa4ba9-91b7-430b-84a4-37212b274f4an@googlegroups.com>
<2cf02a74-3a65-46ce-af8d-8eaf31c520bbn@googlegroups.com>
<2152d103-308d-436f-890f-4d2ffa55ec2fn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="17532"; 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.14.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Serg io - Wed, 8 Sep 2021 21:11 UTC

On 9/8/2021 2:43 PM, WM wrote:
> William schrieb am Mittwoch, 8. September 2021 um 02:22:26 UTC+2:
>> On Tuesday, September 7, 2021 at 3:56:41 PM UTC-3, WM wrote:
>>
>>> If you have an unwritable object, how do you find out that it is an element of |N_F? If you have two objects, how can you find out that they differ and in what way?
>> We know that an element that you cannot write down of |N_F exists,
>
> *We* know only that if actual infinity is a meaningful notion dark or unwritable or undefinable elements exist.

do not use the royal WE, use I instead, your failed math is a disgrace, it is your math not anyone else's.

>
>> and from the fact that every element has a successor (even elements you cannot write down, this is a property of an element of |N_F, another property shared by every element of |N_F is that no element of |N_F is equal to its successor) we know there are two elements that you cannot write down that are not the same.
>
> That is a general property. But my question was: If you have two objects, how can you find out that they differ and in what way?

call one a, the other b.

>
>> Your insistence that only elements with the property "can be written down" have knowable properties is silly.
>
> My question continues: How can you have or be in possession of two undefinable objects?

you have 2 rocks in your pocket that you have not identified with barcode, what do you do ?

>
> Regards, WM
>


tech / sci.math / Re: Counterexample

Pages:123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor