Rocksolid Light

groups  faq  privacy  How to post  login

Message-ID:  

Your love life will be... interesting.


rocksolid / de.sci.mathematik / Re: Logiker können nicht logisch denken. // TH21 Bijektion

SubjectAuthor
* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
+* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
|`* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
| `* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
|  `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
|   `* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
|    `- Re: Logiker können nicht logisch denken. // TH21 BijektionWM
+* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
|`* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
| +* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
| |+* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
| ||`- Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
| |`* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
| | +* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
| | |`- Re: Logiker können nicht logisch denken. // TH21 BijektionWM
| | `* Re: Logiker können nicht logisch denken. // TH21 BijektionRalf Bader
| |  `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
| |   +- Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
| |   `* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
| |    `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
| |     `- Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
| `* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
|  `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
|   `- Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
+* Re: Logiker können nicht logisch denken. // TH21 BijektionCarlo XYZ
|+- Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
|`* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
| `* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
|  `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
|   `- Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
`* Re: Logiker können nicht logisch denken. // TH21 BijektionRalf Goertz
 `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  +* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
  |`* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | +* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
  | |`* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | | +* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | | |`- Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | | `* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
  | |  `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | |   +* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | |   |+- Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | |   |+* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | |   ||+- Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | |   ||`* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
  | |   || `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | |   ||  `* Re: Logiker können nicht logisch denken. // TH21 BijektionRalf Bader
  | |   ||   `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | |   ||    +- Re: Logiker können nicht logisch denken. // TH1 kleine Fehler erhalten die FreunRainer Rosenthal
  | |   ||    `* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
  | |   ||     +- Re: Logiker können nicht logisch denken. // TH21 BijektionRainer Rosenthal
  | |   ||     `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | |   ||      `* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | |   ||       +- Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
  | |   ||       +- Re: Logiker können nicht logisch denken. // TH1 Assoziativität und TransitivitätRainer Rosenthal
  | |   ||       `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | |   ||        `* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | |   ||         `- Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | |   |`- Re: Logiker können nicht logisch denken. // TH21 BijektionJens Kallup
  | |   +* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
  | |   |+- Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | |   |`- Re: Logiker können nicht logisch denken. // TH21 BijektionJens Kallup
  | |   `* Re: Logiker können nicht logisch denken. // TH21 BijektionJens Kallup
  | |    `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  | |     +- Re: Logiker können nicht logisch denken. // TH21 BijektionJens Kallup
  | |     +- Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | |     `* Re: Logiker können nicht logisch denken. // TH21 BijektionRalf Bader
  | |      +* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | |      |`* Re: Logiker können nicht logisch denken. // TH21 BijektionStefan Schmitz
  | |      | `* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | |      |  `* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | |      |   +- Re: Logiker können nicht logisch denken. // "satisfaktionsfähig"Rainer Rosenthal
  | |      |   `* Re: Logiker können nicht logisch denken. // TH21 BijektionStefan Schmitz
  | |      |    `- Re: Logiker können nicht logisch denken. // TH21 BijektionRainer Rosenthal
  | |      `- Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | +- Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  | `* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  |  `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
  |   `* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
  |    `- Re: Logiker können nicht logisch denken. // TH21 BijektionJens Kallup
  `* Re: Logiker können nicht logisch denken. // TH21 BijektionRalf Goertz
   `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
    `* Re: Logiker können nicht logisch denken. // TH21 BijektionRalf Goertz
     +* Re: Logiker können nicht logisch denken. // TH21 BijektionCarlo XYZ
     |+- Re: Logiker können nicht logisch denken. // TH21 BijektionCarlo XYZ
     |+* Re: Logiker können nicht logisch denken. // TH21 BijektionRalf Goertz
     ||+* Re: Logiker können nicht logisch denken. // TH21 BijektionStefan Schmitz
     |||`* Re: Logiker können nicht logisch denken. // TH21 BijektionRalf Goertz
     ||| `* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
     |||  `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
     |||   `* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
     |||    `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
     |||     `* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
     |||      `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
     |||       +* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
     |||       |`- Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
     |||       `* Re: Logiker können nicht logisch denken. // TH21 Bijektionjoes
     |||        +* Re: Logiker können nicht logisch denken. // TH21 BijektionWM
     |||        |`- Re: Logiker können nicht logisch denken. // TH21 BijektionRalf Bader
     |||        `* Re: Logiker können nicht logisch denken. // TH21 BijektionDieter Heidorn
     |||         `* Re: Logiker können nicht logisch denken. // TH21 BijektionMoebius
     ||`* Re: Logiker können nicht logisch denken. // TH21 BijektionCarlo XYZ
     |`- Re: Logiker können nicht logisch denken. // TH21 BijektionWM
     `* Re: Logiker können nicht logisch denken. // TH21 BijektionWM

Pages:123456789101112
Subject: Re: WM kann nicht logisch denken. // TH21 Bijektion
From: Jens Kallup
Newsgroups: de.sci.mathematik
Organization: kallup non-profit
Date: Mon, 20 May 2024 23:21 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: paule32...@gmail.com (Jens Kallup)
Newsgroups: de.sci.mathematik
Subject: Re: WM kann nicht logisch denken. // TH21 Bijektion
Date: Tue, 21 May 2024 01:21:08 +0200
Organization: kallup non-profit
Lines: 49
Message-ID: <lb2474F35ccU1@mid.individual.net>
References: <utso8n$1afen$1@dont-email.me> <v1gjr9$4sp8$1@dont-email.me>
<v1gk0c$4sp8$2@dont-email.me> <v1gkig$4j7q$2@dont-email.me>
<v1glqc$5ckp$1@dont-email.me> <v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me> <v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net> <v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net> <v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net> <v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org>
<v24fs4$169g2$2@i2pn2.org> <v25ft5$1m85n$2@dont-email.me>
<v27190$19bp2$2@i2pn2.org> <v28dph$e0qu$2@solani.org>
<v29t8p$1clc8$1@i2pn2.org> <v2da7s$gk96$4@solani.org>
<v2db7t$1gkjj$1@i2pn2.org> <v2del2$gkb2$1@solani.org>
<v2dihg$1gkjj$3@i2pn2.org> <v2fmlt$hqbo$1@solani.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Trace: individual.net /0fcoe0FhO2H/MWv61cXxwx3SJm/vOiLJqBWTUHA+x9UK5KcuB
Cancel-Lock: sha1:OZ+LNhTs2vdQay3AGReYDh4DE60= sha256:R7epuKZqolUPytiLEc3aypht4rReGOcJSU4pdeJMD48=
User-Agent: Mozilla Thunderbird
Content-Language: en-US, de-DE
In-Reply-To: <v2fmlt$hqbo$1@solani.org>
X-Antivirus: Avast (VPS 240520-6, 20.5.2024), Outbound message
X-Antivirus-Status: Clean
View all headers

Am 2024-05-20 um 16:28 schrieb WM:
> Eine definierbare natürliche Zahl n besitzt einen endlichen
> Anfangsabschnitt {1, 2, 3, ..., n}. ω-n besitzt keinen.

doch !

w beitzt mindestens 1 in IN !

und in IN_0 sogar 0 und 1 - VORSICHT: wenn man IN_0 "ordnen" versucht,
kann schnell folgendes
raus kommen:

00 - 0 - 1.
01 - 1 - 2.  <-- hier, und:
10 - 2 - 3.  <-- da

unter gewissen Umständen hat man also: 3 Quanten:
- zwei, die die Ladung (Wert) angeben bei einer Messung, und:
- einen, der dazu verwendet werden kann, um einen negativen oder aber
auch positiven
  Quanten zu kennzeichnen.
  1 Quantor hat 2 mal 2 Zustände:

  00 - 0 - 1.
  01 - 1 - 2.
  10 - 2 - 3.
  11 - 3 - 4.

- der letzte "eine" Quantor kann 0 oder 1 sein - je nach Messung

ABER (jetzt kommt das trauige):
-------------------------------
- durch anlegen eines Messgerätes an die Quelle einer Quanten-Emmision
entfällt
  die halbe Ladung, weil sich ja minus und plus einen Ausgleich
anstreben und in
  sehr kurzer Zeit zu einen einzigen Ergebnis kommen, nicht jedoch zwei.
- das liegt auch daran, das normale Menschen noch keine adäquaten
Messmittel und
  Methoden gefunden haben, damit 3 Sachen/Ladungen gleichzeitig gemessen
werden
  können, zue Verfügung steht - die Wissenschaft und Forschung geht aber
immer
  weiter, so dass man guter Hoffnung sein kann, das irgendwann auch mal
Beamen
  von Pflanten und Natur möglich sein werden...

Euer Schreiberling
Jens

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Jens Kallup
Newsgroups: de.sci.mathematik
Organization: kallup non-profit
Date: Mon, 20 May 2024 23:29 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: paule32...@gmail.com (Jens Kallup)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 01:29:32 +0200
Organization: kallup non-profit
Lines: 17
Message-ID: <lb24msF35ccU2@mid.individual.net>
References: <utso8n$1afen$1@dont-email.me> <v1g35g$easq$1@i2pn2.org>
<v1gj8h$4j7r$1@dont-email.me> <v1gjr9$4sp8$1@dont-email.me>
<v1gk0c$4sp8$2@dont-email.me> <v1gkig$4j7q$2@dont-email.me>
<v1glqc$5ckp$1@dont-email.me> <v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me> <v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net> <v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net> <v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net> <v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org>
<v24fs4$169g2$2@i2pn2.org> <v25ft5$1m85n$2@dont-email.me>
<v27190$19bp2$2@i2pn2.org> <v28dph$e0qu$2@solani.org>
<v29t8p$1clc8$1@i2pn2.org> <v2da7s$gk96$4@solani.org>
<v2divh$1f4gl$1@news.nnpt4.net> <v2gcbs$i9ug$2@solani.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Trace: individual.net kaVwJZKGXvzGFxWJ/qBurg4qmeGjwVVkJ0GY/rTogiiuEKu7oA
Cancel-Lock: sha1:xUAqtXTPLRU/ROFl0Ki1EO3ecdo= sha256:2HKJxj4ZUGDuMQsLuoB+FCVs7z3q5fmmmzBR+IgAvY4=
User-Agent: Mozilla Thunderbird
Content-Language: en-US, de-DE
In-Reply-To: <v2gcbs$i9ug$2@solani.org>
X-Antivirus: Avast (VPS 240520-6, 20.5.2024), Outbound message
X-Antivirus-Status: Clean
View all headers

Am 2024-05-20 um 22:38 schrieb WM:
> können nicht zwei Stammbrüche vor jedem x > 0 liegen, erst recht nicht
> Ax > 0: SBZ(x) = ℵo

das stimmt !

x > 0.  1 > 0.  Eins ist größer als Null.

Ax > 0: SBZ(x) = aleph_0.  Für alle x (0 und 1), die größer 0 sind,
gilt: Stamm-Bruch-Zahl(0 oder 1) entspricht gleich 1.

das ist richtig, weil: 0/1 = 0.  und:   1/1 = 1.
so dass:

0/1 und 1/1 in IN_0 liegen.

Jens

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Stefan Schmitz
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 07:27 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!ss32.dont-email.me!.POSTED!not-for-mail
From: ss3...@gmx.de (Stefan Schmitz)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 09:27:58 +0200
Organization: A noiseless patient Spider
Lines: 10
Message-ID: <v2hidu$ftt6$1@ss32.dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1g35g$easq$1@i2pn2.org>
<v1gj8h$4j7r$1@dont-email.me> <v1gjr9$4sp8$1@dont-email.me>
<v1gk0c$4sp8$2@dont-email.me> <v1gkig$4j7q$2@dont-email.me>
<v1glqc$5ckp$1@dont-email.me> <v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me> <v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net> <v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net> <v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net> <v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org>
<v24fs4$169g2$2@i2pn2.org> <v25ft5$1m85n$2@dont-email.me>
<v27190$19bp2$2@i2pn2.org> <v28dph$e0qu$2@solani.org>
<v29t8p$1clc8$1@i2pn2.org> <v2da7s$gk96$4@solani.org>
<v2divh$1f4gl$1@news.nnpt4.net> <v2gcbs$i9ug$2@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 09:27:59 +0200 (CEST)
Injection-Info: ss32.dont-email.me; posting-host="a34fa0f46f1ae6f786eff9bad2df15f8";
logging-data="522150"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19hqaMHQH0FGv78lXV6IPPn"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ej7TLyki1LcIbQMqjlF/9giuF7A=
In-Reply-To: <v2gcbs$i9ug$2@solani.org>
View all headers

Am 20.05.2024 um 22:38 schrieb WM:
>> Und "Die größe natürliche Zahl"+1 ist
>
> keine natürliche Zahl.

Wir halten also fest: Es gibt eine natürliche Zahl, die keinen
Nachfolger in den natürlichen Zahlen hat.

Die Peano-Axiome verlangen, dass jede natürliche Zahl einen Nachfolger
hat. Wie lauten die Axiome für die Mückenheim-natürlichen Zahlen?

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Ralf Goertz
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 08:01 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: me...@myprovider.invalid (Ralf Goertz)
Newsgroups: de.sci.mathematik
Subject: Re: Logiker können nicht logisch denken. // TH21
Bijektion
Date: Tue, 21 May 2024 10:01:29 +0200
Organization: A noiseless patient Spider
Lines: 90
Message-ID: <v2hkcp$fkdu$1@dont-email.me>
References: <utso8n$1afen$1@dont-email.me>
<v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net>
<v25599$1k3f2$1@dont-email.me>
<v25gad$1m85n$3@dont-email.me>
<v27avf$2445l$1@dont-email.me>
<v27q8b$dogn$4@solani.org>
<v283sb$29mfu$1@dont-email.me>
<v28es7$e0qu$4@solani.org>
<v29nev$2m2i6$1@dont-email.me>
<v2d9sd$gk96$3@solani.org>
<v2ddjm$3fapu$1@dont-email.me>
<v2docs$grv7$2@solani.org>
<v2f0mh$3s3st$1@dont-email.me>
<v2gd2m$i9ug$3@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Injection-Date: Tue, 21 May 2024 10:01:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9d412e67e945d45534405f2d3e7360f8";
logging-data="512446"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19NQhEQqaCfwJkvmOjIzOyS"
Cancel-Lock: sha1:bNuh0N2Dk5rqo1WyB2RgZCTfrnc=
X-Newsreader: Claws Mail 4.2.0 (GTK 3.24.41; x86_64-suse-linux-gnu)
View all headers

Am Mon, 20 May 2024 22:50:30 +0200
schrieb WM <wolfgang.mueckenheim@tha.de>:

> On 20.05.2024 10:13, Ralf Goertz wrote:
>> Am Sun, 19 May 2024 22:45:16 +0200
>> schrieb WM <wolfgang.mueckenheim@tha.de>:
>>
>>>>> Ich habe in Transfinity - A Source Book definiert: A number
>>>>> exists if it can be individualized in mathematical discourse
>>>>> such that its numerical value can be calculated in principle
>>>>> without any uncertainty.
>>>>
>>>> Abgesehen davon, dass das auf alle natürlichen Zahlen zutrifft,
>>>
>>> Das ist falsch.
>>
>> Nein.
>>
>>> Es trifft nur für die zu, die ℵo Nachfolger übrig lassen.
>>
>> Andere gibt es nicht.
>>
>>> Das sind aber nicht alle,
>>
>> doch
>
> Man kann alle aus der Menge ℕ subtrahieren, so dass kein Nachfolger
> übrig bleibt. Damit ist Deine Behauptung widerlegt.

Verwendet man die Nachfolger dabei kollektiv oder individuell?

>> Das erklärt nicht, was „verwenden“ bedeutet.

Das habe ich geschrieben

>> (Ich sage das nur für den Fall, dass Du es nicht selbst merkst.)

Das nicht. Auch erkennbar am großen „Du“.

> Verwenden bedeutet manipulieren, anwenden. Weitere Synonyme sind
> sicher verfügbar. Aber ich weiß nicht, welche Du kennst. Für Leute
> guten Willens, die wenig bis nichts kennen, helfen Bilder
> (Bilderduden) und sonstige Beispiele manchmal. Also Zahlen verwendet
> man zum Beispiel, indem man sie zur Addition, zur Subtraktion, zur
> Multiplikation, zur Konstruktion von Mengen benutzt.

Und ist diese Verwendung zur Subtraktion kollektiv oder individuell? Du
könntest zum Beispiel sagen: „Eine »Verwendung« natürlicher Zahlen
bezeichnet die Tatsache, dass ℕ das/im Urbild einer Abbildung ist. Eine
individuelle Verwendung besteht dann, wenn das Urbild genau ℕ ist, eine
kollektive, wenn ℕ Element des Urbildes ist. Jede Folge ist daher eine
individuelle Verwendung der natürlichen Zahlen, ein Beispiel für eine
kollektive Verwendung wäre |ℕ|=∞ in der Funktion |·| : Potenzmenge(ℕ) ->
ℕ ∪ {∞}, |M|=Anzahl der Elemente, falls M endlich ist, ∞ sonst.“ Aber
wenn du das tun würdest, dann würde auffallen, dass dein Gerede von
unendlich vielen nicht zugeordneten Indizes bei Cantor sinnfrei ist, da
es sich um eine Folge handelt und es eine Eigenschaft jeder Folge ist,
dass es zu jedem n-ten Folglied unendlich viele n'-te Folgeglieder mit
n'>n gibt. Zum Beispiel in der Identität auf ℕ, die ganz ohne die
Notwendigkeit einer Zustimmung deinerseits eine Bijektion ist.

Du hast mir vorgeworfen, mathematisch nichts zu deinen „Argumenten“ zu
sagen zu haben. Nun, wo ich es ad nauseam tue, kneifst du und schneidest
fast alle meine Argumente weg, anstatt auf sie zu reagieren. Und Bitten
nach Definitionen kommst du dadurch nach, dass du Synonyme in den Ring
wirfst, was per definitionem allenfalls eine Feststellung der
Synonym-Eigenschaft aber keine Definition ist. Die Erwähnung des
Bilderdudens oder Absprache des guten Willens in dem Zusammenhang sind
ad hominem Angriffe, die in einer sachlichen Diskussion nicht zu suchen
haben.

Ich werde mich daher wieder auf gelegentliche Metakommentare
beschränken, denn es hat sich ganz deutlich gezeigt, dass eine
mathematische Diskussion mit dir keinen Sinn ergibt (obwohl es dafür
keines Beweises bedurft hätte).

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Rainer Rosenthal
Newsgroups: de.sci.mathematik
Date: Tue, 21 May 2024 09:53 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!rocksolid2!news.neodome.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: r.rosent...@web.de (Rainer Rosenthal)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 11:53:44 +0200
Lines: 20
Message-ID: <lb3998F8a7hU1@mid.individual.net>
References: <utso8n$1afen$1@dont-email.me> <v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me> <v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me> <la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me> <laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me> <lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net>
<v25599$1k3f2$1@dont-email.me> <v25gad$1m85n$3@dont-email.me>
<v27avf$2445l$1@dont-email.me> <v27q8b$dogn$4@solani.org>
<v283sb$29mfu$1@dont-email.me> <v28es7$e0qu$4@solani.org>
<v29nev$2m2i6$1@dont-email.me> <v2d9sd$gk96$3@solani.org>
<v2ddjm$3fapu$1@dont-email.me> <v2docs$grv7$2@solani.org>
<v2f0mh$3s3st$1@dont-email.me> <v2gd2m$i9ug$3@solani.org>
<v2hkcp$fkdu$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net a6CRvPT5NYWKT1FvMeA6oQQAmanEbQRr6TGhRE9DGSxvh4ldc=
Cancel-Lock: sha1:e0+UwR55otEb5CcDj2yokFEZ6so= sha256:qxzHeaS0Niw2b2epp/+Qw9eUXeuu80GKY+U9oTf9P0o=
User-Agent: Mozilla Thunderbird
In-Reply-To: <v2hkcp$fkdu$1@dont-email.me>
View all headers

Am 21.05.2024 um 10:01 schrieb Ralf Goertz:
>
> Ich werde mich daher wieder auf gelegentliche Metakommentare
> beschränken, denn es hat sich ganz deutlich gezeigt, dass eine
> mathematische Diskussion mit dir keinen Sinn ergibt (obwohl es dafür
> keines Beweises bedurft hätte).
>
Er ist halt nicht nur aufgeblasen, sondern auch schusselig:

"Da hatte ich falsch gelesen oder gedacht, so genau weiß ich das nicht
mehr ..."
(WM am 17.05.2024 um 20:50 in "Paradigmenwechsel // TH28 Ordinalzahlen")

Außerdem amüsiert es ihn, wenn jemand Mathematik ernst nimmt:
"... bin aber immer wieder amüsiert, für wie wichtig Du das hältst."
(WM am 17.05.2024 um 20:50 in "Paradigmenwechsel // TH28 Ordinalzahlen")

Gruß,
Rainer

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Moebius
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 10:05 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!rocksolid2!news.nk.ca!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: inva...@example.invalid (Moebius)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 12:05:37 +0200
Organization: A noiseless patient Spider
Lines: 16
Message-ID: <v2hrlh$hod8$1@dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me> <v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me> <la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me> <laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me> <lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net>
<v25599$1k3f2$1@dont-email.me> <v25gad$1m85n$3@dont-email.me>
<v27avf$2445l$1@dont-email.me> <v27q8b$dogn$4@solani.org>
<v283sb$29mfu$1@dont-email.me> <v28es7$e0qu$4@solani.org>
<v29nev$2m2i6$1@dont-email.me> <v2d9sd$gk96$3@solani.org>
<v2ddjm$3fapu$1@dont-email.me> <v2docs$grv7$2@solani.org>
<v2f0mh$3s3st$1@dont-email.me> <v2gd2m$i9ug$3@solani.org>
<v2hkcp$fkdu$1@dont-email.me>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 12:05:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="cb14068a14d6d4346340f0fcd4ebcfc4";
logging-data="582056"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19Sl9KyTG+j3c3gJdRn86uy"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:r0h7Z+M36EqtDsniDF/4uyCqFq0=
Content-Language: de-DE
In-Reply-To: <v2hkcp$fkdu$1@dont-email.me>
View all headers

Am 21.05.2024 um 10:01 schrieb Ralf Goertz:
> Am Mon, 20 May 2024 22:50:30 +0200
> schrieb WM <wolfgang.mueckenheim@tha.de>:

>> Verwenden bedeutet manipulieren, anwenden. Weitere Synonyme sind
>> sicher verfügbar. Aber ich weiß nicht, welche Du kennst. Für Leute
>> guten Willens, die wenig bis nichts kennen, helfen Bilder
>> (Bilderduden) und sonstige Beispiele manchmal.

Ja, fein, jetzt weißt Du ja, was Du zu tun hast: Bilderbücher studieren.
(->Bildduden). :-)

Ich glaube, dass das sinnvoller ist, als immer wieder auf WMs saudummen
Scheißdreck einzugehen und sich ZUDEM von ihm auf den Kopf scheißen zu
lassen.

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Moebius
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 10:10 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: inva...@example.invalid (Moebius)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 12:10:41 +0200
Organization: A noiseless patient Spider
Lines: 8
Message-ID: <v2hrv2$hod9$1@dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me> <v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me> <la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me> <laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me> <lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net>
<v25599$1k3f2$1@dont-email.me> <v25gad$1m85n$3@dont-email.me>
<v27avf$2445l$1@dont-email.me> <v27q8b$dogn$4@solani.org>
<v283sb$29mfu$1@dont-email.me> <v28es7$e0qu$4@solani.org>
<v29nev$2m2i6$1@dont-email.me> <v2d9sd$gk96$3@solani.org>
<v2ddjm$3fapu$1@dont-email.me> <v2docs$grv7$2@solani.org>
<v2f0mh$3s3st$1@dont-email.me> <v2gd2m$i9ug$3@solani.org>
<v2hkcp$fkdu$1@dont-email.me>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 12:10:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="cb14068a14d6d4346340f0fcd4ebcfc4";
logging-data="582057"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX196W+V8Tr6h60aC4gpjF1cH"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ri1Dvj0IfWeULXN0Bp9+MEX1fJA=
Content-Language: de-DE
In-Reply-To: <v2hkcp$fkdu$1@dont-email.me>
View all headers

Am 21.05.2024 um 10:01 schrieb Ralf Goertz:

> Bilderdudens oder Absprache des guten Willens in dem Zusammenhang sind
> ad hominem Angriffe, die in einer sachlichen Diskussion nicht zu suchen
> haben.

Du hast den Hinweis "die wenig bis nichts kennen", gar nicht erwähnt. :-)

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Dieter Heidorn
Newsgroups: de.sci.mathematik
Date: Tue, 21 May 2024 14:22 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: d.heid...@t-online.de (Dieter Heidorn)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21_Bij
ektion
Date: Tue, 21 May 2024 16:22:44 +0200
Lines: 80
Message-ID: <lb3p1lFarmgU1@mid.individual.net>
References: <utso8n$1afen$1@dont-email.me> <v1gj8h$4j7r$1@dont-email.me>
<v1gjr9$4sp8$1@dont-email.me> <v1gk0c$4sp8$2@dont-email.me>
<v1gkig$4j7q$2@dont-email.me> <v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me> <v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me> <la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me> <laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me> <lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net>
<v237lc$bav7$2@solani.org> <lan5haFe02rU1@mid.individual.net>
<v27pgo$dogn$3@solani.org> <lapronFqbi4U1@mid.individual.net>
<v28f7m$e0qu$5@solani.org> <las4hfF69jeU1@mid.individual.net>
<v2dbqh$gk96$8@solani.org> <lav7h2FkeooU1@mid.individual.net>
<v2gc37$i9ug$1@solani.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net ENLceegxZ1x1krpm3qAsBgk2eF7ouJRE5WKA4l9YLKBHUcesNG
Cancel-Lock: sha1:JUaMrAoM+Er5gXmiwyjnEyxmvMc= sha256:G0L6cDQQ7CGM/WEwE2yP4bl9jMMYK46rmVFp2KiOxiQ=
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.2
In-Reply-To: <v2gc37$i9ug$1@solani.org>
View all headers

WM schrieb:
> On 19.05.2024 22:59, Dieter Heidorn wrote:
>> WM schrieb:
>>> On 18.05.2024 18:49, Dieter Heidorn wrote:
>>>> WM schrieb:
>>>>> On 17.05.2024 22:07, Dieter Heidorn wrote:
>>>>>> WM schrieb:
>>>>>
>>>>>> Das bedeutet aber nicht, dass nicht jedes n∈ℕ angenommen werden
>>>>>> könnte.
>>>>>
>>>>> Auch welche ohne ℵo Nachfolger?
>>>>
>>>> In der Mathematik dagegen hat jede endliche natürliche Zahl eine
>>>> Nachfolgermenge der Mächtigkeit ℵo.
>>>
>>> Also können niemals alle nummeriert werden oder zur Nummerierung
>>> herangezogen werden?
>>
>> Was verstehst du nicht an der Definition der Cantorschen Bijektion

Du hast unvollständig zitiert. Es hieß:

Was verstehst du nicht an der Definition der Cantorschen Bijektion

f: ℕ×ℕ → ℕ , (m,n) ↦ m + (m + n - 1)(m + n - 2)/2

und der Aussage: f ist nachweislich injektiv und surjektiv.

Falls es die Fachbegriffe "injektiv" und "surjektiv" sein sollten:
Die kannst du selbst in deinem Leerbuch nachlesen (3. Auflage: Abschnitt
"3.1 Abbildungen").

> Werden alle natürlichen Zahlen darin verwendet, oder nur solche, die ℵo
> Nachfolger besitzen, also zu einem endlichen Anfangsabschnitt gehören?

Was verstehst du nicht an der wörtlichen Beschreibung der Cantorschen
Bijektion:

Jedem Paar (m,n)∈ℕ×ℕ wird eineindeutig eine natürliche Zahl k∈ℕ
zugeordnet und jede natürliche Zahl k∈ℕ wird als Funktionswert
angenommen.

Kleiner Hinweis: Denk' mal über die Bedeutung der Worte "Jedem" und
"jede" nach.

>> Funktionen "verbrauchen" keine Zahlen - das ist WM-atischer Dummschwatz.
>> Funktionen stellen Zuordnungsgesetze zwischen Mengen dar.
>
> Man hat schon Funktionn verwandt, als es noch keine Mengen in der
> Mathematik gab.

.... und auch dabei wurden keine Zahlen "verbraucht".

>>> oder es bleiben Nachfolger übrig.
>>
>> Da nichts "verbraucht" wird, sondern ein Zuordnungsgesetz angegeben
>> wird, das angewendet werden kann, bleibt auch nichts "übrig".
>
> Wende es doch einmal auf Zahlen ohne ℵo Nachfolger an.

Die gibt es nicht. In der Mathematik hat jede endliche natürliche Zahl
eine Nachfolgermenge der Mächtigkeit ℵo.

>>> in einer Bijektion...
>>
>> ... werden die Elemente der Definitionsmenge eineindeutig den Elementen
>> der Wertemenge durch eine definierte Zordnungsvorschrift zugeordnet.
>> Diese Zuordnungsvorschrift kann man anwenden und Werte berechnen.
>
> Berechne also einmal einen Wert für Zahlen mit weniger [als ℵo] Nachfolgern.

Die gibt es nicht. In der Mathematik hat jede endliche natürliche Zahl
eine Nachfolgermenge der Mächtigkeit ℵo.

Vielleicht erleichtert es dir das Verständnis, wenn du bedenkst, warum
wohl unendliche Mengen so genannt werden...

Dieter Heidorn

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: WM
Newsgroups: de.sci.mathematik
Date: Tue, 21 May 2024 17:08 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: wolfgang...@tha.de (WM)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 19:08:45 +0200
Message-ID: <v2ikes$jg1b$1@solani.org>
References: <utso8n$1afen$1@dont-email.me> <v1gj8h$4j7r$1@dont-email.me>
<v1gjr9$4sp8$1@dont-email.me> <v1gk0c$4sp8$2@dont-email.me>
<v1gkig$4j7q$2@dont-email.me> <v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me> <v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me> <la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me> <laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me> <lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net>
<v237lc$bav7$2@solani.org> <v24fs4$169g2$2@i2pn2.org>
<v25ft5$1m85n$2@dont-email.me> <v27190$19bp2$2@i2pn2.org>
<v28dph$e0qu$2@solani.org> <v29t8p$1clc8$1@i2pn2.org>
<v2da7s$gk96$4@solani.org> <v2divh$1f4gl$1@news.nnpt4.net>
<v2gcbs$i9ug$2@solani.org> <v2hidu$ftt6$1@ss32.dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 17:08:44 -0000 (UTC)
Injection-Info: solani.org;
logging-data="639019"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:84aiVJsfZZJXxzP9e7y82/SsEpw=
Content-Language: en-US
X-User-ID: eJwNyMkBwCAIBMCWXLmknFWg/xKSeY6Jw1+om6uNTdKFwTjMthp1vTl1/09MP7Rh3YWu3lIcEq/HSsmzIDs/gcgW2Q==
In-Reply-To: <v2hidu$ftt6$1@ss32.dont-email.me>
View all headers

On 21.05.2024 09:27, Stefan Schmitz wrote:
> Am 20.05.2024 um 22:38 schrieb WM:
>>> Und "Die größe natürliche Zahl"+1 ist
>>
>> keine natürliche Zahl.
>
> Wir halten also fest: Es gibt eine natürliche Zahl, die keinen
> Nachfolger in den natürlichen Zahlen hat.
>
> Die Peano-Axiome verlangen, dass jede natürliche Zahl einen Nachfolger
> hat. Wie lauten die Axiome für die Mückenheim-natürlichen Zahlen?

Für alle definierbaren Zahlen gelten die Peano-Axiome. Für die dunklen
Zahlen kann man keine Ordnung nachweisen. Ich weiß, dass das verrückt
klingt. Aber es ergibt sich logisch zwingend aus den Stammbrüchen.

Zu jedem definierbaren Stammbruch existieren ℵo kleinere.
Es gibt aber nicht ℵo Stammbrüche, die kleiner als jeder Stammbruch sind.
Die Funktion SBZ(x) kann nur in Einerschritten ansteigen, weil alle
Stammbrüche endliche Abstände auf der x-Achse haben. Also muss einer der
erste sein. Genau so ist eine natürliche Zahl die letzte.

Gruß, WM

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: WM
Newsgroups: de.sci.mathematik
Date: Tue, 21 May 2024 17:21 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!rocksolid2!news.neodome.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: wolfgang...@tha.de (WM)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 19:21:02 +0200
Message-ID: <v2il5u$jg1b$2@solani.org>
References: <utso8n$1afen$1@dont-email.me> <v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me> <v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me> <la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me> <laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me> <lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net>
<v25599$1k3f2$1@dont-email.me> <v25gad$1m85n$3@dont-email.me>
<v27avf$2445l$1@dont-email.me> <v27q8b$dogn$4@solani.org>
<v283sb$29mfu$1@dont-email.me> <v28es7$e0qu$4@solani.org>
<v29nev$2m2i6$1@dont-email.me> <v2d9sd$gk96$3@solani.org>
<v2ddjm$3fapu$1@dont-email.me> <v2docs$grv7$2@solani.org>
<v2f0mh$3s3st$1@dont-email.me> <v2gd2m$i9ug$3@solani.org>
<v2hkcp$fkdu$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 17:21:02 -0000 (UTC)
Injection-Info: solani.org;
logging-data="639019"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:wpEOVEeNHQ05iv+alpGjXflUtaM=
In-Reply-To: <v2hkcp$fkdu$1@dont-email.me>
X-User-ID: eJwFwQkBACAIBLBKChxgHN7+EdzAerVMFCpYbNO2o/S96HgSXjtDKKkr7kvJiyELGz6Nk7f6uIE9lNIqP3YpFis=
Content-Language: en-US
View all headers

On 21.05.2024 10:01, Ralf Goertz wrote:
> Am Mon, 20 May 2024 22:50:30 +0200
> schrieb WM <wolfgang.mueckenheim@tha.de>:
>
>> On 20.05.2024 10:13, Ralf Goertz wrote:
>>> Am Sun, 19 May 2024 22:45:16 +0200
>>> schrieb WM <wolfgang.mueckenheim@tha.de>:
>>>
>>>>>> Ich habe in Transfinity - A Source Book definiert: A number
>>>>>> exists if it can be individualized in mathematical discourse
>>>>>> such that its numerical value can be calculated in principle
>>>>>> without any uncertainty.
>>>>>
>>>>> Abgesehen davon, dass das auf alle natürlichen Zahlen zutrifft,
>>>>
>>>> Das ist falsch.
>>>
>>> Nein.
>>>
>>>> Es trifft nur für die zu, die ℵo Nachfolger übrig lassen.
>>>
>>> Andere gibt es nicht.
>>>
>>>> Das sind aber nicht alle,
>>>
>>> doch
>>
>> Man kann alle aus der Menge ℕ subtrahieren, so dass kein Nachfolger
>> übrig bleibt. Damit ist Deine Behauptung widerlegt.
>
> Verwendet man die Nachfolger dabei kollektiv oder individuell?

Das solltest Du inzwischen gelernt haben. Natürlich bleiben bei jeder
individuellen Verwendung einer notwendig individualisierten, also
definierbaren Zahl ℵo Nachfolger stehen, weil sie fast alle nicht
individualisierbar/definierbar sind. Wenn man alle subtrahiert, kann das
also nur kollektiv geschehen.
>> Verwenden bedeutet manipulieren, anwenden. Weitere Synonyme sind
>> sicher verfügbar. Aber ich weiß nicht, welche Du kennst. Für Leute
>> guten Willens, die wenig bis nichts kennen, helfen Bilder
>> (Bilderduden) und sonstige Beispiele manchmal. Also Zahlen verwendet
>> man zum Beispiel, indem man sie zur Addition, zur Subtraktion, zur
>> Multiplikation, zur Konstruktion von Mengen benutzt.
>
> Und ist diese Verwendung zur Subtraktion kollektiv oder individuell?

Siehe oben. Wenn nichts übrig bleibt, ist die gesamte Menge kollektiv
verwendet worden.

> Du
> könntest zum Beispiel sagen: „Eine »Verwendung« natürlicher Zahlen
> bezeichnet die Tatsache, dass ℕ das/im Urbild einer Abbildung ist. Eine
> individuelle Verwendung besteht dann, wenn das Urbild genau ℕ ist, eine
> kollektive, wenn ℕ Element des Urbildes ist.

Verwendung von ℕ ist kollektive Verwendung.
Individuell verwenden wir eine Zahl, wenn wir uns über ihren Zahlenwert
verständigen können.

> Jede Folge ist daher eine
> individuelle Verwendung der natürlichen Zahlen,

Nein, individuell bedeutet; einen Folgenterm, den man von allen anderen
unterscheiden kann. Kollektiv bedeutet: Die ganze Folge oder einen
großen Teil.
> Und Bitten
> nach Definitionen kommst du dadurch nach, dass du Synonyme in den Ring
> wirfst,

Was ist denn eine Definition anders als die Verwendung von Synonymen?
Ein Kind, das noch keine Wörter kennt, lernt durch Gesten und Bilder.

> was per definitionem allenfalls eine Feststellung der
> Synonym-Eigenschaft aber keine Definition ist. Die Erwähnung des
> Bilderdudens oder Absprache des guten Willens in dem Zusammenhang sind
> ad hominem Angriffe, die in einer sachlichen Diskussion nicht zu suchen
> haben.

Wie sollte ich eine Definition geben, wenn ich nicht weiß, welche Wörter
Du akzeptierst?

Gruß, WM

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Dieter Heidorn
Newsgroups: de.sci.mathematik
Date: Tue, 21 May 2024 17:25 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: d.heid...@t-online.de (Dieter Heidorn)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21_Bij
ektion
Date: Tue, 21 May 2024 19:25:35 +0200
Message-ID: <v2ileg$jh5a$1@solani.org>
References: <utso8n$1afen$1@dont-email.me> <v1gj8h$4j7r$1@dont-email.me>
<v1gjr9$4sp8$1@dont-email.me> <v1gk0c$4sp8$2@dont-email.me>
<v1gkig$4j7q$2@dont-email.me> <v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me> <v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me> <la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me> <laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me> <lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net>
<v237lc$bav7$2@solani.org> <v24fs4$169g2$2@i2pn2.org>
<v25ft5$1m85n$2@dont-email.me> <v27190$19bp2$2@i2pn2.org>
<v28dph$e0qu$2@solani.org> <v29t8p$1clc8$1@i2pn2.org>
<v2da7s$gk96$4@solani.org> <v2divh$1f4gl$1@news.nnpt4.net>
<v2gcbs$i9ug$2@solani.org> <v2hidu$ftt6$1@ss32.dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 17:25:36 -0000 (UTC)
Injection-Info: solani.org;
logging-data="640170"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:qA2KPASgq4xvGzDgebmN7+dH8zM=
X-User-ID: eJwNxskBwCAIBMCWRNhFy0GO/ktI5jVQCtONoGEwNVE+iX6HFTeOyENaYEP2Msvpf0y4mc4ddphTS6fPXno/cm8Vmg==
In-Reply-To: <v2hidu$ftt6$1@ss32.dont-email.me>
View all headers

Stefan Schmitz schrieb:
> Am 20.05.2024 um 22:38 schrieb WM:
>>> Und "Die größe natürliche Zahl"+1 ist
>>
>> keine natürliche Zahl.
>
> Wir halten also fest: Es gibt eine natürliche Zahl, die keinen
> Nachfolger in den natürlichen Zahlen hat.
>
> Die Peano-Axiome verlangen, dass jede natürliche Zahl einen Nachfolger
> hat. Wie lauten die Axiome für die Mückenheim-natürlichen Zahlen?

Siehe sein Leerbuch (3. Auflage, S.25):

"Die Menge der natürlichen Zahlen ℕ = { 1, 2, 3, ...} wird durch die
folgenden Axiome definiert:

1 ∈ M (4.1)
n ∈ M ⇒ (n + 1) ∈ M (4.2)
Erfüllt M (4.1) und (4.2), so gilt ℕ ⊆ M . (4.3) "

Dieter Heidorn

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Stefan Schmitz
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 17:51 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
Path: i2pn2.org!rocksolid2!news.nk.ca!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!ss32.dont-email.me!.POSTED!not-for-mail
From: ss3...@gmx.de (Stefan Schmitz)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 19:51:26 +0200
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <v2imuu$mn3l$4@ss32.dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1gjr9$4sp8$1@dont-email.me>
<v1gk0c$4sp8$2@dont-email.me> <v1gkig$4j7q$2@dont-email.me>
<v1glqc$5ckp$1@dont-email.me> <v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me> <v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net> <v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net> <v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net> <v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org>
<v24fs4$169g2$2@i2pn2.org> <v25ft5$1m85n$2@dont-email.me>
<v27190$19bp2$2@i2pn2.org> <v28dph$e0qu$2@solani.org>
<v29t8p$1clc8$1@i2pn2.org> <v2da7s$gk96$4@solani.org>
<v2divh$1f4gl$1@news.nnpt4.net> <v2gcbs$i9ug$2@solani.org>
<v2hidu$ftt6$1@ss32.dont-email.me> <v2ileg$jh5a$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 19:51:26 +0200 (CEST)
Injection-Info: ss32.dont-email.me; posting-host="6f94bf97f9664e335f541bbd1c808ff9";
logging-data="744565"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/2ziUITQpUUPEQUr4q8yoF"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:MksLc3XJTqYz25s4rYUG45Iguzc=
In-Reply-To: <v2ileg$jh5a$1@solani.org>
View all headers

Am 21.05.2024 um 19:25 schrieb Dieter Heidorn:
> Stefan Schmitz schrieb:
>> Am 20.05.2024 um 22:38 schrieb WM:
>>>> Und "Die größe natürliche Zahl"+1 ist
>>>
>>> keine natürliche Zahl.
>>
>> Wir halten also fest: Es gibt eine natürliche Zahl, die keinen
>> Nachfolger in den natürlichen Zahlen hat.
>>
>> Die Peano-Axiome verlangen, dass jede natürliche Zahl einen Nachfolger
>> hat. Wie lauten die Axiome für die Mückenheim-natürlichen Zahlen?
>
> Siehe sein Leerbuch (3. Auflage, S.25):
>
> "Die Menge der natürlichen Zahlen ℕ = { 1, 2, 3, ...} wird durch die
>  folgenden Axiome definiert:
>
>      1 ∈ M                                       (4.1)
>      n ∈ M  ⇒ (n + 1) ∈ M                       (4.2)
>      Erfüllt M (4.1) und (4.2), so gilt ℕ ⊆ M .  (4.3)  "

(4.2) soll ja jetzt doch nicht gelten.

Wie kann er es verantworten, dass unter seinem Namen ein Buch verkauft
wird, das seinen fundamentalen Erkenntnissen über die Beschränktheit der
natürlichen Zahlen widerspricht?

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: WM
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 18:07 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!rocksolid2!news.nk.ca!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wolfgang...@tha.de (WM)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 20:07:21 +0200
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <v2insp$n4pb$1@dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1gjr9$4sp8$1@dont-email.me>
<v1gk0c$4sp8$2@dont-email.me> <v1gkig$4j7q$2@dont-email.me>
<v1glqc$5ckp$1@dont-email.me> <v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me> <v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net> <v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net> <v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net> <v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org>
<lan5haFe02rU1@mid.individual.net> <v27pgo$dogn$3@solani.org>
<lapronFqbi4U1@mid.individual.net> <v28f7m$e0qu$5@solani.org>
<las4hfF69jeU1@mid.individual.net> <v2dbqh$gk96$8@solani.org>
<lav7h2FkeooU1@mid.individual.net> <v2gc37$i9ug$1@solani.org>
<lb3p1lFarmgU1@mid.individual.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 20:07:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="bf34792037e28bfb3cd952cd1ee344cf";
logging-data="758571"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/wio7y97qMf+VGMzjdSBJXpPdgAyzGiSU="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:IX+P6NvclEBkDFq7c3pcpsd2VoI=
In-Reply-To: <lb3p1lFarmgU1@mid.individual.net>
Content-Language: en-US
View all headers

On 21.05.2024 16:22, Dieter Heidorn wrote:
> WM schrieb:

>> Wende es doch einmal auf Zahlen ohne ℵo Nachfolger an.
>
> Die gibt es nicht. In der Mathematik hat jede endliche natürliche Zahl
> eine Nachfolgermenge der Mächtigkeit ℵo.
Also kannst Du nur natürliche Zahlen mit ℵo Nachfolgern in Bijektion mit
Brüchen setzen. Bei kollektiver Verwendung kann man aber alle, auch die
ℵo Nachfolger verwenden, so dass nichts übrig bleibt. Das sollte Dir zu
denken geben.>
> Vielleicht erleichtert es dir das Verständnis, wenn du bedenkst, warum
> wohl unendliche Mengen so genannt werden...

Ich weiß es. Man kann niemals mehr als eine endliche Menge abzählen,
aber ohne zu zählen kann man die ganze Menge verwenden.

Gruß, WM

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Dieter Heidorn
Newsgroups: de.sci.mathematik
Date: Tue, 21 May 2024 18:31 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
Path: i2pn2.org!rocksolid2!news.nk.ca!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: d.heid...@t-online.de (Dieter Heidorn)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21_Bij
ektion
Date: Tue, 21 May 2024 20:31:17 +0200
Lines: 80
Message-ID: <lb47jmFcvigU1@mid.individual.net>
References: <utso8n$1afen$1@dont-email.me> <v1gk0c$4sp8$2@dont-email.me>
<v1gkig$4j7q$2@dont-email.me> <v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me> <v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me> <la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me> <laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me> <lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net>
<v237lc$bav7$2@solani.org> <v24fs4$169g2$2@i2pn2.org>
<v25ft5$1m85n$2@dont-email.me> <v27190$19bp2$2@i2pn2.org>
<v28dph$e0qu$2@solani.org> <v29t8p$1clc8$1@i2pn2.org>
<v2da7s$gk96$4@solani.org> <v2divh$1f4gl$1@news.nnpt4.net>
<v2gcbs$i9ug$2@solani.org> <v2hidu$ftt6$1@ss32.dont-email.me>
<v2ileg$jh5a$1@solani.org> <v2imuu$mn3l$4@ss32.dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net j2zDi9BLUxpLJ5MuN/7p+w3xiFZzuxnkU6pkIYEq/KQ0eMJGt2
Cancel-Lock: sha1:l3IsZDi+9m3vx/KqpbDQ3+gpPR0= sha256:7u49ZNrq7mQWH+9G2H5clwAVxmSIK5pv/iU22WZjU8I=
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.2
In-Reply-To: <v2imuu$mn3l$4@ss32.dont-email.me>
View all headers

Stefan Schmitz schrieb:
> Am 21.05.2024 um 19:25 schrieb Dieter Heidorn:
>> Stefan Schmitz schrieb:
>>> Am 20.05.2024 um 22:38 schrieb WM:
>>>>> Und "Die größe natürliche Zahl"+1 ist
>>>>
>>>> keine natürliche Zahl.
>>>
>>> Wir halten also fest: Es gibt eine natürliche Zahl, die keinen
>>> Nachfolger in den natürlichen Zahlen hat.
>>>
>>> Die Peano-Axiome verlangen, dass jede natürliche Zahl einen
>>> Nachfolger hat. Wie lauten die Axiome für die Mückenheim-natürlichen
>>> Zahlen?
>>
>> Siehe sein Leerbuch (3. Auflage, S.25):
>>
>> "Die Menge der natürlichen Zahlen ℕ = { 1, 2, 3, ...} wird durch die
>>   folgenden Axiome definiert:
>>
>>       1 ∈ M                                       (4.1)
>>       n ∈ M  ⇒ (n + 1) ∈ M                       (4.2)
>>       Erfüllt M (4.1) und (4.2), so gilt ℕ ⊆ M .  (4.3)  "
>
> (4.2) soll ja jetzt doch nicht gelten.
>
> Wie kann er es verantworten, dass unter seinem Namen ein Buch verkauft
> wird, das seinen fundamentalen Erkenntnissen über die Beschränktheit der
> natürlichen Zahlen widerspricht?

Sein Verständnis von Mathematik, das er im Vorwort seines Leerbuches
WM: Mathematik für die ersten Semester. 3. Auflage,
beschreibt, ist physikalisch-operativ geprägt:

-------------------------------------------------------------------------

"Die Mathematik steht nicht außerhalb der Wirklichkeit. Es hilft wenig,
die Existenz aktual unendlicher Mengen axiomatisch zu fordern und so
die Vollständigkeit der reellen Zahlen zu 'beweisen'. [...]
Das wirklich zugängliche 'Kontinuum' besitzt eine körnige Struktur.
Die Korngröße hängt von der verfügbaren Rechenkapazität ab.
Dem mit einem Abakus allein ausgerüsteten Mathematiker stellt sie sich
als 1 dar, denn ihm sind nur ganze Zahlen zugänglich. Glücklicherweise
ist die Körnung in der Regel fein genug, um ohne nachteilige
Auswirkungen zu bleiben. Ebenso wie die Quantisierung der Erdbahn
für astronomische Probleme ohne jede Relevanz ist und die molekulare
Struktur von Butter deren Portionierbarkeit nicht merklich beschränkt,
wird die prinzipielle Unsicherheit von Zahlen ihren im Eingangszitat
genannten Zweck nicht beeinträchtigen. In der Regel genügt schon die
zehnstellige Genauigkeit des Taschenrechners oder die 100-stellige
Genauigkeit einfacher Rechenprogramme. Die Kenntnis von 10^100 Stellen
wird man äußerst selten anstreben und bei irrationalen Zahlen niemals
erreichen [9].

Doch dieser Mangel ist allenfalls für die mathematische
Grundlagenforschung von Bedeutung, und selbst dafür hat der Erfinder
der Non-Standard-Analysis festgestellt: Unendliche Gesamtheiten
existieren in keinem Sinne des Wortes, weder real noch ideell. Genauer
gesagt, jede Erwähnung oder Behauptung unendlicher Gesamtheiten ist
buchstäblich sinnlos.
Trotzdem sollten wir weiterhin wie gewohnt Mathematik machen, d. h. wir
sollten so tun als ob unendliche Gesamtheiten wirklich existierten
[10]. Ohne also den Mangel aus unserem Bewusstsein zu verdrängen,
können und dürfen wir zur Erkenntnis der Verschiedenheit der Dinge in
der Wirklichkeit weiterhin so vorgehen, als gäbe es unendliche Mengen.
Deswegen wird das Problem im folgenden Text gar nicht mehr erwähnt."

-------------------------------------------------------------------------

Ist doch praktisch: Er glaubt selbst nicht an das, was er schreibt, muss
als "Lehrender" aber den Standard vermitteln und kehrt nach der
Darstellung seiner grundsätzlichen Auffassung die Gegensätze unter den
Teppich.

Durch die Darstellung seiner Ansicht wird auch klar: Er schreibt hier in
der NG nicht über Mathematik, sondern ausschließlich über seine privaten
Vorstellungen, die nicht mit der Mathematik in Einklang zu bringen sind.

Dieter Heidorn

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Dieter Heidorn
Newsgroups: de.sci.mathematik
Date: Tue, 21 May 2024 19:01 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: d.heid...@t-online.de (Dieter Heidorn)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21_Bij
ektion
Date: Tue, 21 May 2024 21:01:10 +0200
Lines: 56
Message-ID: <lb49bnFd767U1@mid.individual.net>
References: <utso8n$1afen$1@dont-email.me> <v1gk0c$4sp8$2@dont-email.me>
<v1gkig$4j7q$2@dont-email.me> <v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me> <v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me> <la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me> <laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me> <lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net>
<v237lc$bav7$2@solani.org> <lan5haFe02rU1@mid.individual.net>
<v27pgo$dogn$3@solani.org> <lapronFqbi4U1@mid.individual.net>
<v28f7m$e0qu$5@solani.org> <las4hfF69jeU1@mid.individual.net>
<v2dbqh$gk96$8@solani.org> <lav7h2FkeooU1@mid.individual.net>
<v2gc37$i9ug$1@solani.org> <lb3p1lFarmgU1@mid.individual.net>
<v2insp$n4pb$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net hyeqX042oqzn4UcWtYLbzAQQRpY7AUF7JFrbJKJTaIcieLrq10
Cancel-Lock: sha1:+usn7GbUSm1ba3WvUjwmx2JnnPU= sha256:7+kiHJyDPVQ7frhlrnb22+w9q7YN4DlTDjUI/CKDq58=
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.2
In-Reply-To: <v2insp$n4pb$1@dont-email.me>
View all headers

WM schrieb:
> On 21.05.2024 16:22, Dieter Heidorn wrote:
>> WM schrieb:
>
>>> Wende es doch einmal auf Zahlen ohne ℵo Nachfolger an.
>>
>> Die gibt es nicht. In der Mathematik hat jede endliche natürliche Zahl
>> eine Nachfolgermenge der Mächtigkeit ℵo.
> > Also kannst Du nur natürliche Zahlen mit ℵo Nachfolgern in Bijektion mit
> Brüchen setzen.

Nö. Die Cantorsche Bijektion

f: ℕ×ℕ → ℕ , (m,n) ↦ m + (m + n - 1)(m + n - 2)/2

ist nachweislich injektiv und surjektiv.

Das bedeutet:
Jedem Paar (m,n)∈ℕ×ℕ wird eineindeutig eine natürliche Zahl k∈ℕ
zugeordnet und jede natürliche Zahl k∈ℕ wird als Funktionswert
angenommen.

Kleiner Hinweis: Denk' mal über die Bedeutung der Worte "Jedem" und
"jede" nach.

>> Vielleicht erleichtert es dir das Verständnis, wenn du bedenkst, warum
>> wohl unendliche Mengen so genannt werden...
>
> Ich weiß es. Man kann niemals mehr als eine endliche Menge abzählen,

.... wenn man "abzählen" wörtlich nimmt.

> aber ohne zu zählen kann man die ganze Menge verwenden.

Wischiwaschi.

Tatsächlich ist das Problem, dass man bei einer unendlichen Menge die
Mächtigkeit (die bei endlichen Mengen gleich der Anzahl ihrer Elemente
ist) nicht durch eine endliche natürliche Zahl angeben kann. Cantor
erweiterte den Begriff der "Abzählbarkeit" so, dass die Größe bei
unendlichen Mengen nicht durch Angabe einer natürlichen Zahl erfolgt,
sondern durch einen Größenvergleich. Dieser Vergleich erfolgt so, dass
man untersucht: Können die beiden Mengen bijektiv aufeinander abgebildet
werden? Wenn ja, wenn also die Elemente beider Mengen paarweise
eineindeutig einander zugeordnet werden, dann heißen die Mengen
gleichmächtig. Es geht also darum, ob es ein solches Zuordnungsgesetz
gibt oder nicht - und nicht darum, ob man "alle Paare Schritt für
Schritt hinschreiben kann" oder was du sonst an blödsinnigen
Vorstellungen hast.

Das ist die Definition in der Mathematik. Ob's dir passt oder nicht ist
völlig unerheblich. Nach dieser Definition sind ℕ×ℕ und ℕ
gleichmächtig, denn die Cantorsche Funktion f ist bijektiv.

Dieter Heidorn

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: WM
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 19:54 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wolfgang...@tha.de (WM)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 21:54:47 +0200
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <53cfbcbe-86d5-4f36-a684-7ccbe9fec1f5@tha.de>
References: <utso8n$1afen$1@dont-email.me> <v1gk0c$4sp8$2@dont-email.me>
<v1gkig$4j7q$2@dont-email.me> <v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me> <v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me> <la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me> <laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me> <lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net>
<v237lc$bav7$2@solani.org> <v24fs4$169g2$2@i2pn2.org>
<v25ft5$1m85n$2@dont-email.me> <v27190$19bp2$2@i2pn2.org>
<v28dph$e0qu$2@solani.org> <v29t8p$1clc8$1@i2pn2.org>
<v2da7s$gk96$4@solani.org> <v2divh$1f4gl$1@news.nnpt4.net>
<v2gcbs$i9ug$2@solani.org> <v2hidu$ftt6$1@ss32.dont-email.me>
<v2ileg$jh5a$1@solani.org> <v2imuu$mn3l$4@ss32.dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 21:54:47 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="bf34792037e28bfb3cd952cd1ee344cf";
logging-data="797988"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18dTBTdyEbo8fUeEceklhuPRJEsOy4FDZQ="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:zk6FC32taHSNy79YJunLybH1bcU=
Content-Language: en-US
In-Reply-To: <v2imuu$mn3l$4@ss32.dont-email.me>
View all headers

On 21.05.2024 19:51, Stefan Schmitz wrote:
> Am 21.05.2024 um 19:25 schrieb Dieter Heidorn:

>> "Die Menge der natürlichen Zahlen ℕ = { 1, 2, 3, ...} wird durch die
>>   folgenden Axiome definiert:
>>
>>       1 ∈ M                                       (4.1)
>>       n ∈ M  ⇒ (n + 1) ∈ M                       (4.2)
>>       Erfüllt M (4.1) und (4.2), so gilt ℕ ⊆ M .  (4.3)  "
>
> (4.2) soll ja jetzt doch nicht gelten.
>
> Wie kann er es verantworten, dass unter seinem Namen ein Buch verkauft
> wird, das seinen fundamentalen Erkenntnissen über die Beschränktheit der
> natürlichen Zahlen widerspricht?

Erstens habe ich diese Erkenntnisse erst ganz langsam und ganz spät,
etwa seit Oktober 2018 gewonnen (das Buch erschien in 4. Auflage 2015),
und zweitens spielen sie für die richtige Mathematik überhaupt keine Rolle.

Gruß, WM

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: WM
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 20:03 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wolfgang...@tha.de (WM)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 22:03:44 +0200
Organization: A noiseless patient Spider
Lines: 44
Message-ID: <v2iun0$ob94$2@dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1gkig$4j7q$2@dont-email.me>
<v1glqc$5ckp$1@dont-email.me> <v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me> <v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net> <v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net> <v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net> <v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org>
<lan5haFe02rU1@mid.individual.net> <v27pgo$dogn$3@solani.org>
<lapronFqbi4U1@mid.individual.net> <v28f7m$e0qu$5@solani.org>
<las4hfF69jeU1@mid.individual.net> <v2dbqh$gk96$8@solani.org>
<lav7h2FkeooU1@mid.individual.net> <v2gc37$i9ug$1@solani.org>
<lb3p1lFarmgU1@mid.individual.net> <v2insp$n4pb$1@dont-email.me>
<lb49bnFd767U1@mid.individual.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 22:03:45 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="bf34792037e28bfb3cd952cd1ee344cf";
logging-data="797988"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX196nnW3yTh/nW5a99Lw4PU+5Ezg6I82Gow="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:FmNG7hIrjYrRKTRwVlgQQjESD2s=
Content-Language: en-US
In-Reply-To: <lb49bnFd767U1@mid.individual.net>
View all headers

On 21.05.2024 21:01, Dieter Heidorn wrote:
> WM schrieb:
>> On 21.05.2024 16:22, Dieter Heidorn wrote:
>>> WM schrieb:
>>
>>>> Wende es doch einmal auf Zahlen ohne ℵo Nachfolger an.
>>>
>>> Die gibt es nicht. In der Mathematik hat jede endliche natürliche Zahl
>>> eine Nachfolgermenge der Mächtigkeit ℵo.
>>  > Also kannst Du nur natürliche Zahlen mit ℵo Nachfolgern in
>> Bijektion mit
>> Brüchen setzen.
>
> Nö.

Wie bitte??? Es gibt doch nach Deiner Aussage gar keine anderen.

> Die Cantorsche Bijektion
>
>       f: ℕ×ℕ → ℕ , (m,n) ↦ m + (m + n - 1)(m + n - 2)/2
>
>    ist nachweislich injektiv und surjektiv.

Das ist wissenschaftlich nachgewiesen, wie die Zahnbürsten von Dr. Best.
>
>    Das bedeutet:
>    Jedem Paar (m,n)∈ℕ×ℕ wird eineindeutig eine natürliche Zahl k∈ℕ
>    zugeordnet und jede natürliche Zahl k∈ℕ wird als Funktionswert
>    angenommen.

Bitte gib eine konsistente Antwort. Deine obige ist wirr.
>
>> aber ohne zu zählen kann man die ganze Menge verwenden.
>
> Wischiwaschi.

Fakt. Bei Cantors Abzählung gibt es tatsächlich nur Zahlen mit
Nachfolgern: ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.
Aber tatsächlich kann man auch die Nachfolger anwenden, nur nicht
individuell: |ℕ \ {1, 2, 3, ...}| = 0.

Gruß, WM

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Moebius
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 20:15 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
Path: i2pn2.org!rocksolid2!news.neodome.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: inva...@example.invalid (Moebius)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 22:15:12 +0200
Organization: A noiseless patient Spider
Lines: 56
Message-ID: <v2ivcj$olad$1@dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1gjr9$4sp8$1@dont-email.me>
<v1gk0c$4sp8$2@dont-email.me> <v1gkig$4j7q$2@dont-email.me>
<v1glqc$5ckp$1@dont-email.me> <v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me> <v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net> <v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net> <v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net> <v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org>
<v24fs4$169g2$2@i2pn2.org> <v25ft5$1m85n$2@dont-email.me>
<v27190$19bp2$2@i2pn2.org> <v28dph$e0qu$2@solani.org>
<v29t8p$1clc8$1@i2pn2.org> <v2da7s$gk96$4@solani.org>
<v2divh$1f4gl$1@news.nnpt4.net> <v2gcbs$i9ug$2@solani.org>
<v2hidu$ftt6$1@ss32.dont-email.me> <v2ileg$jh5a$1@solani.org>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 22:15:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f99acffac471b0961e3f6fc02ff8eb94";
logging-data="808269"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX189IjLbzoG59OB23OQ9j98J"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Fpixx+wUGuGuap3ZZTd70zIG61k=
In-Reply-To: <v2ileg$jh5a$1@solani.org>
Content-Language: de-DE
View all headers

Am 21.05.2024 um 19:25 schrieb Dieter Heidorn:
> Stefan Schmitz schrieb:
>> Am 20.05.2024 um 22:38 schrieb WM:

>>>> Und "Die größte natürliche Zahl"+1 ist
>>>
>>> keine natürliche Zahl.
>>
>> Wir halten also fest: Es gibt eine natürliche Zahl, die keinen
>> Nachfolger in den natürlichen Zahlen hat.
>>
>> Die Peano-Axiome verlangen, dass jede natürliche Zahl einen Nachfolger
>> hat. Wie lauten die Axiome für die Mückenheim-natürlichen Zahlen?
>
> Siehe sein Leerbuch (3. Auflage, S.25):
>
> "Die Menge der natürlichen Zahlen ℕ = { 1, 2, 3, ...} wird durch die
> folgenden Axiome definiert:
>
>      1 ∈ M                                       (4.1)
>      n ∈ M  ⇒ (n + 1) ∈ M                       (4.2)
>      Erfüllt M (4.1) und (4.2), so gilt ℕ ⊆ M .  (4.3)  "

Ziemlicher Krampf. Denn entweder besagen diese "Axiome", dass _alle_
Mengen M die Zahl 1 enthalten, und mit n auch die Zahl n+1; oder aber
4.1 und 4.2 sind gar keine Axiome, sondern lediglich die "Bedingungen"
für 4.3. Dann aber weiß man nicht einmal ob IN = {} ist oder nicht (denn
4.3 wird auch von IN = {} erfüllt).

Dieses hirnlose Arschloch begreift einfach nicht, dass seine "Axiome"
ZUMINDEST so lauten müssten:

| 1 ∈ ℕ (4.1)
| n ∈ ℕ ⇒ (n + 1) ∈ ℕ (4.2)
| Erfüllt M (4.3a) und (4.3b), so gilt ℕ ⊆ M . (4.3)
| 1 ∈ M (4.3a)
| n ∈ M ⇒ (n + 1) ∈ M (4.3b)

Es ist klar, dass Mückenheim WIRKLICH für jede Art von Mathematik zu
doof und zu blöde ist.

Der Typ hat definitiv einen schwere Dachschaden. Einerseits spricht er
in dem "Metatext" zu seinem Axiomen bezüglich IN von "ℕ = { 1, 2, 3,
....}", andererseits weigert er sich _in seinen Axiomen_ die
OFFENSICHTLICHSTEN Tatsachen

> 1 ∈ ℕ (4.1)
> n ∈ ℕ ⇒ (n + 1) ∈ ℕ (4.2)

AUSZUSPRECHEN. Wie krank in der Birne kann ein Mensch eigentlich sein?

Was besagt denn "ℕ = { 1, 2, 3, ...}" (nach allgemein üblichem
Verständnis im Kontext der Mathematik) anderes als 1 ∈ ℕ und An(n ∈ ℕ
⇒ (n + 1) ∈ ℕ)?

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Moebius
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 20:19 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: inva...@example.invalid (Moebius)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 22:19:08 +0200
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <v2ivjs$olad$2@dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1gkig$4j7q$2@dont-email.me>
<v1glqc$5ckp$1@dont-email.me> <v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me> <v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net> <v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net> <v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net> <v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org>
<lan5haFe02rU1@mid.individual.net> <v27pgo$dogn$3@solani.org>
<lapronFqbi4U1@mid.individual.net> <v28f7m$e0qu$5@solani.org>
<las4hfF69jeU1@mid.individual.net> <v2dbqh$gk96$8@solani.org>
<lav7h2FkeooU1@mid.individual.net> <v2gc37$i9ug$1@solani.org>
<lb3p1lFarmgU1@mid.individual.net> <v2insp$n4pb$1@dont-email.me>
<lb49bnFd767U1@mid.individual.net>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 22:19:09 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f99acffac471b0961e3f6fc02ff8eb94";
logging-data="808269"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+bv6IFebcaRWbQjthnMTHD"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:12bDBAI/QxylyRqOhe4Aj+78nkg=
In-Reply-To: <lb49bnFd767U1@mid.individual.net>
Content-Language: de-DE
View all headers

Am 21.05.2024 um 21:01 schrieb Dieter Heidorn:
> WM schrieb:

>> Also kannst Du nur natürliche Zahlen mit ℵo Nachfolgern in
>> Bijektion mit Brüchen setzen.
>
> Nö.

Äh, ich glaube doch, hier hat Mücke wohl "Recht" (ha ha); denn andere
natürliche Zahlen gibt es ja nicht. :-P

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Moebius
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 20:29 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: inva...@example.invalid (Moebius)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 22:29:47 +0200
Organization: A noiseless patient Spider
Lines: 27
Message-ID: <v2j07r$olad$3@dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1gkig$4j7q$2@dont-email.me>
<v1glqc$5ckp$1@dont-email.me> <v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me> <v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net> <v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net> <v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net> <v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org>
<v24fs4$169g2$2@i2pn2.org> <v25ft5$1m85n$2@dont-email.me>
<v27190$19bp2$2@i2pn2.org> <v28dph$e0qu$2@solani.org>
<v29t8p$1clc8$1@i2pn2.org> <v2da7s$gk96$4@solani.org>
<v2divh$1f4gl$1@news.nnpt4.net> <v2gcbs$i9ug$2@solani.org>
<v2hidu$ftt6$1@ss32.dont-email.me> <v2ileg$jh5a$1@solani.org>
<v2imuu$mn3l$4@ss32.dont-email.me> <lb47jmFcvigU1@mid.individual.net>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 22:29:48 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f99acffac471b0961e3f6fc02ff8eb94";
logging-data="808269"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/GdwXWVfZfz1qwvDZaWutg"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:DRvWELOtHlkc6WehWuYUfbQFKLk=
Content-Language: de-DE
In-Reply-To: <lb47jmFcvigU1@mid.individual.net>
View all headers

Am 21.05.2024 um 20:31 schrieb Dieter Heidorn:
> Stefan Schmitz schrieb:

>>> "Die Menge der natürlichen Zahlen ℕ = { 1, 2, 3, ...} wird durch die
>>>  folgenden Axiome definiert:
>>>
>>>       1 ∈ M                                       (4.1)
>>>       n ∈ M  ⇒ (n + 1) ∈ M                       (4.2)
>>>       Erfüllt M (4.1) und (4.2), so gilt ℕ ⊆ M .  (4.3)  "
>>
>> (4.2) soll ja jetzt doch nicht gelten.

@SS: (4.2) gilt ja auch im Kontext der ML nicht. Überleg' Dir nochmal
was (4.2) eigentlich besagt... (und bedenke, dass 1 + 1 !e {1} ist).

Kurz: "Entweder besagen diese "Axiome", dass _alle_ Mengen M die Zahl 1
enthalten und mit n auch die Zahl n+1; oder aber 4.1 und 4.2 sind gar
keine Axiome, sondern lediglich die "Bedingungen" für 4.3."

->Einführung in die Logik I.
> Durch die Darstellung seiner Ansicht wird auch klar: Er schreibt hier in
> der NG nicht über Mathematik, sondern ausschließlich über seine privaten
> Vorstellungen, die nicht mit der Mathematik in Einklang zu bringen sind.

Sehr treffend formuliert. Daher sprechen auch manche in diesem
Zusammenhang von "Mückenmathik", "Muckmeatik", "[seinem] Wahnsystem"
oder einfach nur von "saudummem Scheißdreck". Gemeint ist immer dasselbe.

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Stefan Schmitz
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 20:30 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!rocksolid2!news.neodome.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!ss32.dont-email.me!.POSTED!not-for-mail
From: ss3...@gmx.de (Stefan Schmitz)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 22:30:00 +0200
Organization: A noiseless patient Spider
Lines: 26
Message-ID: <v2j087$oobf$1@ss32.dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1glqc$5ckp$1@dont-email.me>
<v1iign$ltkf$1@dont-email.me> <v1ip41$nh1j$1@dont-email.me>
<v1l69f$1c7fh$1@dont-email.me> <la7dbbF1f51U2@mid.individual.net>
<v1lvgv$1i075$1@dont-email.me> <laa4v5FduhhU2@mid.individual.net>
<v1qdsk$2njt7$1@dont-email.me> <lackdpFpcs3U1@mid.individual.net>
<v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net>
<v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net>
<v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net>
<v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net>
<v237lc$bav7$2@solani.org> <v24fs4$169g2$2@i2pn2.org>
<v25ft5$1m85n$2@dont-email.me> <v27190$19bp2$2@i2pn2.org>
<v28dph$e0qu$2@solani.org> <v29t8p$1clc8$1@i2pn2.org>
<v2da7s$gk96$4@solani.org> <v2divh$1f4gl$1@news.nnpt4.net>
<v2gcbs$i9ug$2@solani.org> <v2hidu$ftt6$1@ss32.dont-email.me>
<v2ileg$jh5a$1@solani.org> <v2imuu$mn3l$4@ss32.dont-email.me>
<53cfbcbe-86d5-4f36-a684-7ccbe9fec1f5@tha.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 22:29:59 +0200 (CEST)
Injection-Info: ss32.dont-email.me; posting-host="bc329be4f96ee8c63e4ee14a101d2eb6";
logging-data="811375"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+nzXhKLJWRY00QhbQ8lVRE"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:C/bB2zSCso8JjyMJG0iOrciuUwg=
In-Reply-To: <53cfbcbe-86d5-4f36-a684-7ccbe9fec1f5@tha.de>
View all headers

Am 21.05.2024 um 21:54 schrieb WM:
> On 21.05.2024 19:51, Stefan Schmitz wrote:
>> Am 21.05.2024 um 19:25 schrieb Dieter Heidorn:
>
>>> "Die Menge der natürlichen Zahlen ℕ = { 1, 2, 3, ...} wird durch die
>>>   folgenden Axiome definiert:
>>>
>>>       1 ∈ M                                       (4.1)
>>>       n ∈ M  ⇒ (n + 1) ∈ M                       (4.2)
>>>       Erfüllt M (4.1) und (4.2), so gilt ℕ ⊆ M .  (4.3)  "
>>
>> (4.2) soll ja jetzt doch nicht gelten.
>>
>> Wie kann er es verantworten, dass unter seinem Namen ein Buch verkauft
>> wird, das seinen fundamentalen Erkenntnissen über die Beschränktheit
>> der natürlichen Zahlen widerspricht?
>
> Erstens habe ich diese Erkenntnisse erst ganz langsam und ganz spät,
> etwa seit Oktober 2018 gewonnen (das Buch erschien in 4. Auflage 2015),
> und zweitens spielen sie für die richtige Mathematik überhaupt keine Rolle.

Na, das ist doch mal ein Eingeständnis. Dein ganzes Geschwurbel der
letzten Jahrzehnte spielt für die richtige Mathematik keinerlei Rolle.
Dann hör doch einfach damit auf, diejenigen als unfähig zu beschimpfen,
die nicht an den Mist glauben wollen.

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Moebius
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 20:40 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: inva...@example.invalid (Moebius)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 22:40:17 +0200
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <v2j0rh$olad$4@dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1gjr9$4sp8$1@dont-email.me>
<v1gk0c$4sp8$2@dont-email.me> <v1gkig$4j7q$2@dont-email.me>
<v1glqc$5ckp$1@dont-email.me> <v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me> <v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net> <v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net> <v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net> <v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org>
<lan5haFe02rU1@mid.individual.net> <v27pgo$dogn$3@solani.org>
<lapronFqbi4U1@mid.individual.net> <v28f7m$e0qu$5@solani.org>
<las4hfF69jeU1@mid.individual.net> <v2dbqh$gk96$8@solani.org>
<lav7h2FkeooU1@mid.individual.net> <v2gc37$i9ug$1@solani.org>
<lb3p1lFarmgU1@mid.individual.net>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 22:40:17 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f99acffac471b0961e3f6fc02ff8eb94";
logging-data="808269"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/0oOYmwN3/P6L35Fy7ITuw"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:5g4zsUGzRZKSeGjTOakQR5zskfE=
In-Reply-To: <lb3p1lFarmgU1@mid.individual.net>
Content-Language: de-DE
View all headers

Am 21.05.2024 um 16:22 schrieb Dieter Heidorn:

> Vielleicht erleichtert es dir das Verständnis, wenn du bedenkst, warum
> wohl unendliche Mengen so genannt werden...

Einspruch, Euer Ehren! Unendliche Mengen gibt es doch gar nicht, also
hast Du hier einen undefinierten Begriff (nämlich "unendliche Menge(n)")
verwendet.

Duck und renn... :-)

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Moebius
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 20:43 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: inva...@example.invalid (Moebius)
Newsgroups: de.sci.mathematik
Subject: Re:_Logiker_können_nicht_logisch_denken._//_TH21
_Bijektion
Date: Tue, 21 May 2024 22:43:09 +0200
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <v2j10t$olad$5@dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1gkig$4j7q$2@dont-email.me>
<v1glqc$5ckp$1@dont-email.me> <v1iign$ltkf$1@dont-email.me>
<v1ip41$nh1j$1@dont-email.me> <v1l69f$1c7fh$1@dont-email.me>
<la7dbbF1f51U2@mid.individual.net> <v1lvgv$1i075$1@dont-email.me>
<laa4v5FduhhU2@mid.individual.net> <v1qdsk$2njt7$1@dont-email.me>
<lackdpFpcs3U1@mid.individual.net> <v1t2e8$3ei8h$4@dont-email.me>
<lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me>
<lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org>
<lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org>
<lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org>
<lan5haFe02rU1@mid.individual.net> <v27pgo$dogn$3@solani.org>
<lapronFqbi4U1@mid.individual.net> <v28f7m$e0qu$5@solani.org>
<las4hfF69jeU1@mid.individual.net> <v2dbqh$gk96$8@solani.org>
<lav7h2FkeooU1@mid.individual.net> <v2gc37$i9ug$1@solani.org>
<lb3p1lFarmgU1@mid.individual.net> <v2insp$n4pb$1@dont-email.me>
<lb49bnFd767U1@mid.individual.net>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 22:43:09 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f99acffac471b0961e3f6fc02ff8eb94";
logging-data="808269"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18zlxNXbK6KEmNQkfnKu89u"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:5+D0qfwP5geGaAuYtt+f0qAnhBc=
Content-Language: de-DE
In-Reply-To: <lb49bnFd767U1@mid.individual.net>
View all headers

Am 21.05.2024 um 21:01 schrieb Dieter Heidorn:
> WM schrieb:
>> On 21.05.2024 16:22, Dieter Heidorn wrote:
>>> Vielleicht erleichtert es dir das Verständnis, wenn du bedenkst, warum
>>> wohl unendliche Mengen so genannt werden...
>>
>> Ich weiß es. Man kann niemals mehr als eine endliche Menge abzählen,

Das ist nicht ganz richtig. Bekanntlich zählte Chuck Norris bis
unendlich - zweimal.

Siehe: https://www.amazon.de/-/en/AA-VV-ebook/dp/B008S313HK

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Tom Bola
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 20:54 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Tom...@bolamail.etc (Tom Bola)
Newsgroups: de.sci.mathematik
Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
Date: Tue, 21 May 2024 22:54:05 +0200
Organization: A noiseless patient Spider
Lines: 88
Message-ID: <v2j1lf$oubh$1@dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org> <v24fs4$169g2$2@i2pn2.org> <v25ft5$1m85n$2@dont-email.me> <v27190$19bp2$2@i2pn2.org> <v28dph$e0qu$2@solani.org> <v29t8p$1clc8$1@i2pn2.org> <v2da7s$gk96$4@solani.org> <v2divh$1f4gl$1@news.nnpt4.net> <v2gcbs$i9ug$2@solani.org> <v2hidu$ftt6$1@ss32.dont-email.me> <v2ileg$jh5a$1@solani.org> <v2imuu$mn3l$4@ss32.dont-email.me> <lb47jmFcvigU1@mid.individual.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 22:54:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c84dfe45f493361d7e762c9698cb7b34";
logging-data="817521"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18xw3LcYO3uO1rKJXQUJU2CuunAT9MghCk="
User-Agent: 40tude_Dialog/2.0.15.1
Cancel-Lock: sha1:FrRxU7ysplmA1OnaRl3I+01YJ8o=
View all headers

Am 21.05.2024 20:31:17 Dieter Heidorn schrieb:

> Stefan Schmitz schrieb:
>> Am 21.05.2024 um 19:25 schrieb Dieter Heidorn:
>>> Stefan Schmitz schrieb:
>>>> Am 20.05.2024 um 22:38 schrieb WM:
>>>>>> Und "Die größe natürliche Zahl"+1 ist
>>>>>
>>>>> keine natürliche Zahl.
>>>>
>>>> Wir halten also fest: Es gibt eine natürliche Zahl, die keinen
>>>> Nachfolger in den natürlichen Zahlen hat.
>>>>
>>>> Die Peano-Axiome verlangen, dass jede natürliche Zahl einen
>>>> Nachfolger hat. Wie lauten die Axiome für die Mückenheim-natürlichen
>>>> Zahlen?
>>>
>>> Siehe sein Leerbuch (3. Auflage, S.25):
>>>
>>> "Die Menge der natürlichen Zahlen **ℕ = { 1, 2, 3, ...} wird durch die
>>>   folgenden Axiome definiert:
>>>
>>>       1 ∈ M                                       (4.1)
>>>       n ∈ M  ⇒ *(n + 1) ∈ M                       (4.2)
>>>       Erfüllt M (4.1) und (4.2), so gilt *ℕ ⊆ M .  (4.3)  "
>>
>> (4.2) soll ja jetzt doch nicht gelten.
>>
>> Wie kann er es verantworten, dass unter seinem Namen ein Buch verkauft
>> wird, das seinen fundamentalen Erkenntnissen über die Beschränktheit der
>> natürlichen Zahlen widerspricht?
>
> Sein Verständnis von Mathematik, das er im Vorwort seines Leerbuches
> WM: Mathematik für die ersten Semester. 3. Auflage,
> beschreibt, ist physikalisch-operativ geprägt:
>
> -------------------------------------------------------------------------
>
> "Die Mathematik steht nicht außerhalb der Wirklichkeit. Es hilft wenig,
> die Existenz aktual unendlicher Mengen axiomatisch zu fordern und so
> die Vollständigkeit der reellen Zahlen zu 'beweisen'. [...]
> Das wirklich zugängliche 'Kontinuum' besitzt eine körnige Struktur.
> Die Korngröße hängt von der verfügbaren Rechenkapazität ab.
> Dem mit einem Abakus allein ausgerüsteten Mathematiker stellt sie sich
> als 1 dar, denn ihm sind nur ganze Zahlen zugänglich. Glücklicherweise
> ist die Körnung in der Regel fein genug, um ohne nachteilige
> Auswirkungen zu bleiben. Ebenso wie die Quantisierung der Erdbahn
> für astronomische Probleme ohne jede Relevanz ist und die molekulare
> Struktur von Butter deren Portionierbarkeit nicht merklich beschränkt,
> wird die prinzipielle Unsicherheit von Zahlen ihren im Eingangszitat
> genannten Zweck nicht beeinträchtigen. In der Regel genügt schon die
> zehnstellige Genauigkeit des Taschenrechners oder die 100-stellige
> Genauigkeit einfacher Rechenprogramme. Die Kenntnis von 10^100 Stellen
> wird man äußerst selten anstreben und bei irrationalen Zahlen niemals
> erreichen [9].
>
> Doch dieser Mangel ist allenfalls für die mathematische
> Grundlagenforschung von Bedeutung, und selbst dafür hat der Erfinder
> der Non-Standard-Analysis festgestellt: Unendliche Gesamtheiten
> existieren in keinem Sinne des Wortes, weder real noch ideell. Genauer
> gesagt, jede Erwähnung oder Behauptung unendlicher Gesamtheiten ist
> buchstäblich sinnlos.
> Trotzdem sollten wir weiterhin wie gewohnt Mathematik machen, d. h. wir
> sollten so tun als ob unendliche Gesamtheiten wirklich existierten
> [10]. Ohne also den Mangel aus unserem Bewusstsein zu verdrängen,
> können und dürfen wir zur Erkenntnis der Verschiedenheit der Dinge in
> der Wirklichkeit weiterhin so vorgehen, als gäbe es unendliche Mengen.
> Deswegen wird das Problem im folgenden Text gar nicht mehr erwähnt."
>
> -------------------------------------------------------------------------
>
> Ist doch praktisch: Er glaubt selbst nicht an das, was er schreibt, muss
> als "Lehrender" aber den Standard vermitteln und kehrt nach der
> Darstellung seiner grundsätzlichen Auffassung die Gegensätze unter den
> Teppich.
>
> Durch die Darstellung seiner Ansicht wird auch klar: Er schreibt hier in
> der NG nicht über Mathematik, sondern ausschließlich über seine privaten
> Vorstellungen, die nicht mit der Mathematik in Einklang zu bringen sind.
>
> Dieter Heidorn

WM hat schon seit seinen jungen Jahren diese ("physikalisch-operativ
geprägte") Sichtweise angenommen und seitdem konsequent selbst vertreten
was seinen unterbelichteten mentalen Gegebenheiten und seinem dümmlichen
Lebensbild sehr entegenkam. Seitdem stiehlt er ebenso konsequent den
wenigen, die er erreicht, radikal ihre Zeit um damit den Sinn seines
Lebens als ein unerkannter, "logisch" höchstbegabter Held auszufüllen.

Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
From: Tom Bola
Newsgroups: de.sci.mathematik
Organization: A noiseless patient Spider
Date: Tue, 21 May 2024 21:02 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Tom...@bolamail.etc (Tom Bola)
Newsgroups: de.sci.mathematik
Subject: Re: Logiker können nicht logisch denken. // TH21 Bijektion
Date: Tue, 21 May 2024 23:02:28 +0200
Organization: A noiseless patient Spider
Lines: 70
Message-ID: <v2j256$p1me$1@dont-email.me>
References: <utso8n$1afen$1@dont-email.me> <v1t2e8$3ei8h$4@dont-email.me> <lafa4nF77tfU1@mid.individual.net> <v1vrvd$6hfq$2@dont-email.me> <lai096Fjj90U1@mid.individual.net> <v22g0k$asgi$3@solani.org> <lak2krFt3rcU1@mid.individual.net> <v2306s$b6cc$3@solani.org> <lakitqFuhqU1@mid.individual.net> <v237lc$bav7$2@solani.org> <lan5haFe02rU1@mid.individual.net> <v27pgo$dogn$3@solani.org> <lapronFqbi4U1@mid.individual.net> <v28f7m$e0qu$5@solani.org> <las4hfF69jeU1@mid.individual.net> <v2dbqh$gk96$8@solani.org> <lav7h2FkeooU1@mid.individual.net> <v2gc37$i9ug$1@solani.org> <lb3p1lFarmgU1@mid.individual.net> <v2insp$n4pb$1@dont-email.me> <lb49bnFd767U1@mid.individual.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 23:02:31 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c84dfe45f493361d7e762c9698cb7b34";
logging-data="820942"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+RaZ8aMqf+7LglwUznONQY7zhXhTuYKM0="
User-Agent: 40tude_Dialog/2.0.15.1
Cancel-Lock: sha1:ftXXYf+jrYHYiByN4DzO4vpYPcQ=
View all headers

Am 21.05.2024 21:01:10 Dieter Heidorn schrieb:

> WM schrieb:
>> On 21.05.2024 16:22, Dieter Heidorn wrote:
>>> WM schrieb:
>>
>>>> Wende es doch einmal auf Zahlen ohne ℵo Nachfolger an.
>>>
>>> Die gibt es nicht. In der Mathematik hat jede endliche natürliche Zahl
>>> eine Nachfolgermenge der Mächtigkeit ℵo.
>> > Also kannst Du nur natürliche Zahlen mit ℵo Nachfolgern in Bijektion mit
>> Brüchen setzen.
>
> Nö. Die Cantorsche Bijektion
>
> f: ℕ×ℕ → ℕ , (m,n) ↦ m + (m + n - 1)(m + n - 2)/2
>
> ist nachweislich injektiv und surjektiv.
>
> Das bedeutet:
> Jedem Paar (m,n)∈ℕ×ℕ wird eineindeutig eine natürliche Zahl k∈ℕ
> zugeordnet und jede natürliche Zahl k∈ℕ wird als Funktionswert
> angenommen.
>
> Kleiner Hinweis: Denk' mal über die Bedeutung der Worte "Jedem" und
> "jede" nach.
>
>>> Vielleicht erleichtert es dir das Verständnis, wenn du bedenkst, warum
>>> wohl unendliche Mengen so genannt werden...
>>
>> Ich weiß es. Man kann niemals mehr als eine endliche Menge abzählen,
>
> ... wenn man "abzählen" wörtlich nimmt.
>
>> aber ohne zu zählen kann man die ganze Menge verwenden.
>
> Wischiwaschi.
>
> Tatsächlich ist das Problem, dass man bei einer unendlichen Menge die
> Mächtigkeit (die bei endlichen Mengen gleich der Anzahl ihrer Elemente
> ist) nicht durch eine endliche natürliche Zahl angeben kann. Cantor
> erweiterte den Begriff der "Abzählbarkeit" so, dass die Größe bei
> unendlichen Mengen nicht durch Angabe einer natürlichen Zahl erfolgt,
> sondern durch einen Größenvergleich. Dieser Vergleich erfolgt so, dass
> man untersucht: Können die beiden Mengen bijektiv aufeinander abgebildet
> werden? Wenn ja, wenn also die Elemente beider Mengen paarweise
> eineindeutig einander zugeordnet werden, dann heißen die Mengen
> gleichmächtig. Es geht also darum, ob es ein solches Zuordnungsgesetz
> gibt oder nicht - und nicht darum, ob man "alle Paare Schritt für
> Schritt hinschreiben kann" oder was du sonst an blödsinnigen
> Vorstellungen hast.
>
> Das ist die Definition in der Mathematik. Ob's dir passt oder nicht ist
> völlig unerheblich.

Aber all das trifft perfekt in das Schwarze der von WM gelieferten
Zielscheibe, so dass "die Mathematik" grundfalsch ist und fast alle
Leute "offenbar" Idioten sind, weil sie sich nicht an "das Vorbild"
der Natur halten (!). WM lehnt das, was du "DIE Mathematik" nennst
als total blödsinnig ab, und du lieferst ihm zuverlässig bis an das
physische Ende genug Energie für sein (und auch euer) Hamsterrad.

> Nach dieser Definition sind ℕ×ℕ und ℕ
> gleichmächtig, denn die Cantorsche Funktion f ist bijektiv.
>
> Dieter Heidorn

Darum geht es nicht, sondern nur darum, dass das Hamsterrad in Bewegung
bleibt indem immer, immer jemand die Aaasstückchen gierig auffrisst,
die er seinen, ja!, Sklaven (variabel) nach Belieben hinwirft.


rocksolid / de.sci.mathematik / Re: Logiker können nicht logisch denken. // TH21 Bijektion

Pages:123456789101112
server_pubkey.txt

rocksolid light 0.9.136
clearnet tor