info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Es hat keinen Sinn ...
114 views
Skip to first unread message
Andreas Leitgeb
Jul 21, 2021, 11:53:14 AM7/21/21
to
Gus Gassmann <horand....@gmail.com> wrote:
> ... aber ganz so plump ...
Hört man da eine rosa Beschichtung von der Brille runterrieseln?
Ja, es ist so plump. Die ganze Zeit ist es schon so gewesen.
Er kann sich das NICHT-Existieren eines kleinsten Stammbruchs, einer
größten natürlichen Zahl, eines letzten Endsegments nicht eingestehen,
und zur "Rettung" ebendieser werden definierbare versus dunkle Zahlen
und Quantorenvertauschungen als Lückenfüller ins Rennen geschickt.
Seit Jahrzehnten immer dasselbe. Auch ich habe zwischendurch mal
geglaubt, irgendwo in seinen Ergüssen logisch ansetzen zu können,
aber es ist einfach sinnlos.
Viel Spaß also beim weiteren Zeitverplempern.
Erwartet dabei halt bloß nichts neues aus Augsburg.
> ... aber ganz so plump ...
Hört man da eine rosa Beschichtung von der Brille runterrieseln?
Ja, es ist so plump. Die ganze Zeit ist es schon so gewesen.
Er kann sich das NICHT-Existieren eines kleinsten Stammbruchs, einer
größten natürlichen Zahl, eines letzten Endsegments nicht eingestehen,
und zur "Rettung" ebendieser werden definierbare versus dunkle Zahlen
und Quantorenvertauschungen als Lückenfüller ins Rennen geschickt.
Seit Jahrzehnten immer dasselbe. Auch ich habe zwischendurch mal
geglaubt, irgendwo in seinen Ergüssen logisch ansetzen zu können,
aber es ist einfach sinnlos.
Viel Spaß also beim weiteren Zeitverplempern.
Erwartet dabei halt bloß nichts neues aus Augsburg.
Hans Crauel
Jul 21, 2021, 7:00:37 PM7/21/21
to
Andreas Leitgeb schrieb
> Ja, es ist so plump. Die ganze Zeit ist es schon so gewesen.
> Er kann sich das NICHT-Existieren eines kleinsten Stammbruchs, einer
> größten natürlichen Zahl, eines letzten Endsegments nicht eingestehen,
> und zur "Rettung" ebendieser werden definierbare versus dunkle Zahlen
> und Quantorenvertauschungen als Lückenfüller ins Rennen geschickt.
>
> Seit Jahrzehnten immer dasselbe. Auch ich habe zwischendurch mal
> geglaubt, irgendwo in seinen Ergüssen logisch ansetzen zu können,
> aber es ist einfach sinnlos.
>
> Viel Spaß also beim weiteren Zeitverplempern.
> Erwartet dabei halt bloß nichts neues aus Augsburg.
Nachdem es trotz aller Versuche einer Matherapie beharrlich nicht
klappt, hier ein Vorschlag:
Die natürlichen Zahlen werden erweitert. Dazu nimmt man eine Version
der reellen Nichtstandard-Zahlen. Dort gibt es Zahlen, die größer als
jede natürliche Zahl sind. Man nimmt nun nur die natürlichen Zahlen
und dazu alle Zahlen, die größer als jede natürliche Zahl sind.
Diese Menge mit der Addition von 1 als Nachfolgeoperation nennt man
die "Mückenheimsche Erweiterung der natürlichen Zahlen" oder
"natürliche Zahlen im Sinne von Mückenheim".
Neben den üblichen natürlichen Zahlen enthält diese Menge weitere
Elemente, die "Mückenheim-Zahlen" oder "dunkle Zahlen" genannt werden
können. Weitere mögliche Bezeichnungen sind auch "undefinierbare"
oder "nicht identifizierbare Zahlen". Sie sind so groß, dass man sie
nicht sehen kann. Jedenfalls nicht mit bloßem Auge.
Dennoch haben auch die dunklen Zahlen durch die Bank jeweils einen
Nachfolger. Ist m eine dunkle Zahl, so ist m+1 ihr Nachfolger, das
ist dann auch eine dunkle Zahl. Sie haben zudem auch alle einen
Vorgänger, nämlich m-1, ebenfalls dunkel.
Die inklusionsmonotone Folge der Endabschnitte der natürlichen
Zahlen im Sinne von Mückenheim hat dann keinen leeren Schnitt,
doch besteht der Schnitt nur aus dunklen Zahlen - es sind sogar
alle.
Die natürlichen Zahlen im Sinne von Mückenheim haben die ersten
beiden Peano-Eigenschaften: Mit 0 (oder mit 1) fängt es an. Jedes
weitere Element hat genau einen Nachfolger, und nur 0 (oder 1) ist
nicht Nachfolger.
Man könnte nun argumentieren, dass dieser Vorschlag nicht die
minimale Lösung ist. Würde man nämlich nur eine dunkle Zahl m
und dazu M = {m+z : z in Z}, Z die ganzen Zahlen, nehmen und
dann als Mückenheim-Erweiterung der natürlichen Zahlen nur die
natürlichen Zahlen um M erweitert nehmen, so würden die obigen
Eigenschaften schon dort zutreffen. Man hätte damit Abzählbarkeit
der Erweiterung. Das hängt dann zwar von der willkürlichen
Wahl von m ab, ist aber bis auf Isomorphie doch wieder gleich.
Ließe man künftig bei Aussagen zu den natürlichen Zahlen zu, dass
deren Wahrheitsgehalt nur für natürliche Zahlen im Sinne von
Mückenheim zu prüfen ist, so würde so mancher zum Zweck einer
Matherapie unternommene Beitrag unterbleiben können.
Hans
> Ja, es ist so plump. Die ganze Zeit ist es schon so gewesen.
> Er kann sich das NICHT-Existieren eines kleinsten Stammbruchs, einer
> größten natürlichen Zahl, eines letzten Endsegments nicht eingestehen,
> und zur "Rettung" ebendieser werden definierbare versus dunkle Zahlen
> und Quantorenvertauschungen als Lückenfüller ins Rennen geschickt.
>
> Seit Jahrzehnten immer dasselbe. Auch ich habe zwischendurch mal
> geglaubt, irgendwo in seinen Ergüssen logisch ansetzen zu können,
> aber es ist einfach sinnlos.
>
> Viel Spaß also beim weiteren Zeitverplempern.
> Erwartet dabei halt bloß nichts neues aus Augsburg.
klappt, hier ein Vorschlag:
Die natürlichen Zahlen werden erweitert. Dazu nimmt man eine Version
der reellen Nichtstandard-Zahlen. Dort gibt es Zahlen, die größer als
jede natürliche Zahl sind. Man nimmt nun nur die natürlichen Zahlen
und dazu alle Zahlen, die größer als jede natürliche Zahl sind.
Diese Menge mit der Addition von 1 als Nachfolgeoperation nennt man
die "Mückenheimsche Erweiterung der natürlichen Zahlen" oder
"natürliche Zahlen im Sinne von Mückenheim".
Neben den üblichen natürlichen Zahlen enthält diese Menge weitere
Elemente, die "Mückenheim-Zahlen" oder "dunkle Zahlen" genannt werden
können. Weitere mögliche Bezeichnungen sind auch "undefinierbare"
oder "nicht identifizierbare Zahlen". Sie sind so groß, dass man sie
nicht sehen kann. Jedenfalls nicht mit bloßem Auge.
Dennoch haben auch die dunklen Zahlen durch die Bank jeweils einen
Nachfolger. Ist m eine dunkle Zahl, so ist m+1 ihr Nachfolger, das
ist dann auch eine dunkle Zahl. Sie haben zudem auch alle einen
Vorgänger, nämlich m-1, ebenfalls dunkel.
Die inklusionsmonotone Folge der Endabschnitte der natürlichen
Zahlen im Sinne von Mückenheim hat dann keinen leeren Schnitt,
doch besteht der Schnitt nur aus dunklen Zahlen - es sind sogar
alle.
Die natürlichen Zahlen im Sinne von Mückenheim haben die ersten
beiden Peano-Eigenschaften: Mit 0 (oder mit 1) fängt es an. Jedes
weitere Element hat genau einen Nachfolger, und nur 0 (oder 1) ist
nicht Nachfolger.
Man könnte nun argumentieren, dass dieser Vorschlag nicht die
minimale Lösung ist. Würde man nämlich nur eine dunkle Zahl m
und dazu M = {m+z : z in Z}, Z die ganzen Zahlen, nehmen und
dann als Mückenheim-Erweiterung der natürlichen Zahlen nur die
natürlichen Zahlen um M erweitert nehmen, so würden die obigen
Eigenschaften schon dort zutreffen. Man hätte damit Abzählbarkeit
der Erweiterung. Das hängt dann zwar von der willkürlichen
Wahl von m ab, ist aber bis auf Isomorphie doch wieder gleich.
Ließe man künftig bei Aussagen zu den natürlichen Zahlen zu, dass
deren Wahrheitsgehalt nur für natürliche Zahlen im Sinne von
Mückenheim zu prüfen ist, so würde so mancher zum Zweck einer
Matherapie unternommene Beitrag unterbleiben können.
Hans
Fritz Feldhase
Jul 21, 2021, 8:10:02 PM7/21/21
to
On Thursday, July 22, 2021 at 1:00:37 AM UTC+2, Hans Crauel wrote:
Ja, das wäre ein naheliegender Vorschlag. Ich hatte das ja auch schon einige Male gegenüber WM erwähnt: Dass seine "Ideen" eine große Verwandtschaft mit der Nicht-Standard Analysis haben. Nicht zu vergessen: WM kennt ja auch dunkle Stammbrüche, die irgendwie zwischen der 0 und allen Brüchen 1/n mit n e IN_klassisch zu liegen scheinen, so was.
Wie dem auch sei: jetzt brauchst Du nur noch WM dazu zu bringen, Dir zuzustimmen. :-)
P.S. Eine kleine Schwierigkeit besteht vielleicht noch darin, dass WM darauf besteht, dass seine dunklen Zahlen "nicht geordnet" sind.
Ja, das wäre ein naheliegender Vorschlag. Ich hatte das ja auch schon einige Male gegenüber WM erwähnt: Dass seine "Ideen" eine große Verwandtschaft mit der Nicht-Standard Analysis haben. Nicht zu vergessen: WM kennt ja auch dunkle Stammbrüche, die irgendwie zwischen der 0 und allen Brüchen 1/n mit n e IN_klassisch zu liegen scheinen, so was.
Wie dem auch sei: jetzt brauchst Du nur noch WM dazu zu bringen, Dir zuzustimmen. :-)
P.S. Eine kleine Schwierigkeit besteht vielleicht noch darin, dass WM darauf besteht, dass seine dunklen Zahlen "nicht geordnet" sind.
Hans Crauel
Jul 22, 2021, 2:45:22 PM7/22/21
to
Fritz Feldhase schrieb
> On Thursday, July 22, 2021 at 1:00:37 AM UTC+2, Hans Crauel wrote:
>
> Ja, das wäre ein naheliegender Vorschlag. Ich hatte das ja auch
> schon einige Male gegenüber WM erwähnt: Dass seine "Ideen" eine
> große Verwandtschaft mit der Nicht-Standard Analysis haben.
Nichtstandard-Analysis insgesamt ist da allerdings schon etwas
anspruchsvoller.
> Nicht zu vergessen: WM kennt ja auch dunkle Stammbrüche, die
> irgendwie zwischen der 0 und allen Brüchen 1/n mit n e IN_klassisch
> zu liegen scheinen, so was.
Die hat man mit den "natürlichen Zahlen im Mückenheimschen Sinne"
dann natürlich auch, als multiplikative Inverse der dunklen Zahlen.
Schon Isaac Newton hat mit solchen Infinitesimalzahlen gerechnet.
> Wie dem auch sei: jetzt brauchst Du nur noch WM dazu zu bringen,
> Dir zuzustimmen. :-)
Nee, gerade nicht. Dessen Aussagen sollten nur stets in Bezug auf
die Menge der natürlichen Zahlen im Mückenheimschen Sinn verstanden
werden. Diese sind ein vernünftiges und mathematisch fundiertes
Objekt, wo ein Gutteil seiner Aussagen ja zutrifft.
Vor diesem Hintergrund kann und sollte man dann nur von Versuchen
ablassen, seine Aussagen in Bezug auf die klassischen natürlichen
Zahlen richtigzustellen. Das ist, wie (nicht nur) Andreas zutreffend
feststellt, sinnlos.
> P.S. Eine kleine Schwierigkeit besteht vielleicht noch darin, dass
> WM darauf besteht, dass seine dunklen Zahlen "nicht geordnet" sind.
Sind sie ja auch nicht. Na gut, wenn man N nur um (m + Z) erweitert,
m eine dunkle Zahl, so ist das schon geordnet. Aber da kann man dann
ja auch flexibel sein. Kostet doch nix.
Hans
-- Fullquote beibehalten --
> On Thursday, July 22, 2021 at 1:00:37 AM UTC+2, Hans Crauel wrote:
>
> Ja, das wäre ein naheliegender Vorschlag. Ich hatte das ja auch
> schon einige Male gegenüber WM erwähnt: Dass seine "Ideen" eine
> große Verwandtschaft mit der Nicht-Standard Analysis haben.
anspruchsvoller.
> Nicht zu vergessen: WM kennt ja auch dunkle Stammbrüche, die
> irgendwie zwischen der 0 und allen Brüchen 1/n mit n e IN_klassisch
> zu liegen scheinen, so was.
dann natürlich auch, als multiplikative Inverse der dunklen Zahlen.
Schon Isaac Newton hat mit solchen Infinitesimalzahlen gerechnet.
> Wie dem auch sei: jetzt brauchst Du nur noch WM dazu zu bringen,
> Dir zuzustimmen. :-)
die Menge der natürlichen Zahlen im Mückenheimschen Sinn verstanden
werden. Diese sind ein vernünftiges und mathematisch fundiertes
Objekt, wo ein Gutteil seiner Aussagen ja zutrifft.
Vor diesem Hintergrund kann und sollte man dann nur von Versuchen
ablassen, seine Aussagen in Bezug auf die klassischen natürlichen
Zahlen richtigzustellen. Das ist, wie (nicht nur) Andreas zutreffend
feststellt, sinnlos.
> P.S. Eine kleine Schwierigkeit besteht vielleicht noch darin, dass
> WM darauf besteht, dass seine dunklen Zahlen "nicht geordnet" sind.
m eine dunkle Zahl, so ist das schon geordnet. Aber da kann man dann
ja auch flexibel sein. Kostet doch nix.
Hans
-- Fullquote beibehalten --
Martin Vaeth
Jul 22, 2021, 6:33:00 PM7/22/21
to
Hans Crauel <crauel...@freenet.de> schrieb:
> Diese Menge mit der Addition von 1 als Nachfolgeoperation nennt man
> die "Mückenheimsche Erweiterung der natürlichen Zahlen" oder
> "natürliche Zahlen im Sinne von Mückenheim".
Nein, sie haben bereits einen Namen. Wenn, dann nenne man sie bitte
hypernatürliche Zahlen im Sinne von Robinson oder Luxemburg oder einem
anderen seriösen Mathematiker, der ernsthafte Forschung dazu
betrieben hat.
> Neben den üblichen natürlichen Zahlen enthält diese Menge weitere
> Elemente, die "Mückenheim-Zahlen" oder "dunkle Zahlen" genannt werden
> können.
Oder einfach unendliche hyernatürliche Zahlen.
> Weitere mögliche Bezeichnungen sind auch "undefinierbare"
> oder "nicht identifizierbare Zahlen". Sie sind so groß, dass man sie
> nicht sehen kann. Jedenfalls nicht mit bloßem Auge.
Das wiederum ist richtig: Sie lassen sich nicht durch eine
Formel der Standard-Welt beschreiben.
> Dennoch haben auch die dunklen Zahlen durch die Bank jeweils einen
> Nachfolger. Ist m eine dunkle Zahl, so ist m+1 ihr Nachfolger, das
> ist dann auch eine dunkle Zahl. Sie haben zudem auch alle einen
> Vorgänger, nämlich m-1, ebenfalls dunkel.
Korrekt.
> Die inklusionsmonotone Folge der Endabschnitte der natürlichen
> Zahlen im Sinne von Mückenheim hat dann keinen leeren Schnitt,
Falls man als Indexmenge nur die natürlichen Zahlen nimmt
(und nicht die hypernatürlichen Zahlen).
Da gilt übrigens ein viel allgemeineres Kompaktheitsprinzip,
das schon faszinierend ist:
Hat man irgendein System *interner* Mengen mit der Eigenschaft,
dass endliche Schnitte nichtleer sind, so ist auch der Schnitt
über eine abzählbare Teilfamilie nichtleer. (Wenn man abzählbar
auf offensichtliche Art durch die Standard-natürlichen Zahlen
definiert.)
> Die natürlichen Zahlen im Sinne von Mückenheim haben die ersten
> beiden Peano-Eigenschaften
Die hypernatürlichen Zahlen haben sogar *alle* Peano-Eigenschaften,
wenn man "Teilmenge natürlicher Zahlen" durch "*interne* Teilmengen
hypernatürlicher Zahlen" ersetzt. Das "intern" darf man hierbei
nicht weglassen. Die Menge der (endlichen) natürlichen Zahlen ist
freilich nicht intern (wegen der erwähnten Kompaktheitseigenschaft),
ebensowenig ihr Komplement, also die Menge der (unendlichen)
hypernatürlichen Zahlen (denn diese Menge hat kein kleinstes Element).
Die gesamte Menge der hypernatürlichen Zahlen ist hingegen intern;
ebenso alle Teilmengen, die sich durch Formeln aus der Standard-Welt
(oder sogar der viel größeren internen Welt) beschreiben lassen.
> so würde so mancher zum Zweck einer
> Matherapie unternommene Beitrag unterbleiben können.
Aus mathematischer Sicht könnten sie alle unterbleiben, weil die
Diskussion naturgemäß über Banalitäten nicht hinauskommen kann.
Nicht-Mathematisch hat es die Faszination eines Auto-Unfalls.
> Man nimmt nun nur die natürlichen Zahlen
> und dazu alle Zahlen, die größer als jede natürliche Zahl sind.
Das ist genau die Menge *N der hypernatürlichen Zahlen.
> und dazu alle Zahlen, die größer als jede natürliche Zahl sind.
> Diese Menge mit der Addition von 1 als Nachfolgeoperation nennt man
> die "Mückenheimsche Erweiterung der natürlichen Zahlen" oder
> "natürliche Zahlen im Sinne von Mückenheim".
hypernatürliche Zahlen im Sinne von Robinson oder Luxemburg oder einem
anderen seriösen Mathematiker, der ernsthafte Forschung dazu
betrieben hat.
> Neben den üblichen natürlichen Zahlen enthält diese Menge weitere
> Elemente, die "Mückenheim-Zahlen" oder "dunkle Zahlen" genannt werden
> können.
> Weitere mögliche Bezeichnungen sind auch "undefinierbare"
> oder "nicht identifizierbare Zahlen". Sie sind so groß, dass man sie
> nicht sehen kann. Jedenfalls nicht mit bloßem Auge.
Formel der Standard-Welt beschreiben.
> Dennoch haben auch die dunklen Zahlen durch die Bank jeweils einen
> Nachfolger. Ist m eine dunkle Zahl, so ist m+1 ihr Nachfolger, das
> ist dann auch eine dunkle Zahl. Sie haben zudem auch alle einen
> Vorgänger, nämlich m-1, ebenfalls dunkel.
> Die inklusionsmonotone Folge der Endabschnitte der natürlichen
> Zahlen im Sinne von Mückenheim hat dann keinen leeren Schnitt,
(und nicht die hypernatürlichen Zahlen).
Da gilt übrigens ein viel allgemeineres Kompaktheitsprinzip,
das schon faszinierend ist:
Hat man irgendein System *interner* Mengen mit der Eigenschaft,
dass endliche Schnitte nichtleer sind, so ist auch der Schnitt
über eine abzählbare Teilfamilie nichtleer. (Wenn man abzählbar
auf offensichtliche Art durch die Standard-natürlichen Zahlen
definiert.)
> Die natürlichen Zahlen im Sinne von Mückenheim haben die ersten
> beiden Peano-Eigenschaften
wenn man "Teilmenge natürlicher Zahlen" durch "*interne* Teilmengen
hypernatürlicher Zahlen" ersetzt. Das "intern" darf man hierbei
nicht weglassen. Die Menge der (endlichen) natürlichen Zahlen ist
freilich nicht intern (wegen der erwähnten Kompaktheitseigenschaft),
ebensowenig ihr Komplement, also die Menge der (unendlichen)
hypernatürlichen Zahlen (denn diese Menge hat kein kleinstes Element).
Die gesamte Menge der hypernatürlichen Zahlen ist hingegen intern;
ebenso alle Teilmengen, die sich durch Formeln aus der Standard-Welt
(oder sogar der viel größeren internen Welt) beschreiben lassen.
> so würde so mancher zum Zweck einer
> Matherapie unternommene Beitrag unterbleiben können.
Diskussion naturgemäß über Banalitäten nicht hinauskommen kann.
Nicht-Mathematisch hat es die Faszination eines Auto-Unfalls.
Martin Vaeth
Jul 22, 2021, 6:42:55 PM7/22/21
to
Hans Crauel <crauel...@freenet.de> schrieb:
von unendlichen hyper*natürlichen* Zahlen, sondern sogar aus den
Kehrwerten von allen unendlichen hyper*reellen* Zahlen.
Aber für die meisten Anwendungen der Nichtstandard-Analysis spielt
das natürlich keine Rolle. Beide Mengen haben übrigens mindestens
die Mächtigkeit des Kontinuums.
>> P.S. Eine kleine Schwierigkeit besteht vielleicht noch darin, dass
>> WM darauf besteht, dass seine dunklen Zahlen "nicht geordnet" sind.
>
> Sind sie ja auch nicht.
Doch. Sowohl die hypernatürlichen als auch die hyperrellen Zahlen
sind totalgeordnet. Die hypernatürlichen Zahlen sind allerdings nicht
wohlgeordnet, wenn man *beliebige* (nicht nur *interne*) Teilmengen
zulässt. Beispielsweise hat die Menge der unendlichen hypernatürlichen
Zahlen kein kleinstes Element.
> als multiplikative Inverse der dunklen Zahlen.
> Schon Isaac Newton hat mit solchen Infinitesimalzahlen gerechnet.
Die Menge der Infinitesimalen besteht nicht nur aus den Kehrwerten
> Schon Isaac Newton hat mit solchen Infinitesimalzahlen gerechnet.
von unendlichen hyper*natürlichen* Zahlen, sondern sogar aus den
Kehrwerten von allen unendlichen hyper*reellen* Zahlen.
Aber für die meisten Anwendungen der Nichtstandard-Analysis spielt
das natürlich keine Rolle. Beide Mengen haben übrigens mindestens
die Mächtigkeit des Kontinuums.
>> P.S. Eine kleine Schwierigkeit besteht vielleicht noch darin, dass
>> WM darauf besteht, dass seine dunklen Zahlen "nicht geordnet" sind.
>
> Sind sie ja auch nicht.
sind totalgeordnet. Die hypernatürlichen Zahlen sind allerdings nicht
wohlgeordnet, wenn man *beliebige* (nicht nur *interne*) Teilmengen
zulässt. Beispielsweise hat die Menge der unendlichen hypernatürlichen
Zahlen kein kleinstes Element.
Juergen Ilse
Jul 23, 2021, 9:19:03 AM7/23/21
to
Hallo,
Hans Crauel <crauel...@freenet.de> wrote:
> Nachdem es trotz aller Versuche einer Matherapie beharrlich nicht
> klappt, hier ein Vorschlag:
>
> Die natürlichen Zahlen werden erweitert. Dazu nimmt man eine Version
> der reellen Nichtstandard-Zahlen. Dort gibt es Zahlen, die größer als
> jede natürliche Zahl sind.
Bist du mittlerweile schon genauso wahnsinnig wie WM? Nein, es gibt keine
reelle Zahl, die groesser als jede natuerliche Zahl waere (wie denn auch?).
Angenommen, es gaebe eine solche, dann kann man die groesste natuerliche
Zahl kleiner als diese relle Zahl bestimmen. Die Differenz dieser eellen
Zahl und der groessten natuerlichen Zahl kleiner als diese reelle Zahl
waere kleiner als 1. Bezecihnen wir jede reelle Zahl als n0, so waere daann
n0+1 auch eine natuerliche Zahl (nach Peano) und n0+1 groesser aals diese
"relle Zahl groesser aals alle natuerlichen Zahlen" -> Widerspruch.
q.e.d.
> Man nimmt nun nur die natürlichen Zahlen
> und dazu alle Zahlen, die größer als jede natürliche Zahl sind.
Es gibt keine einzige natuerliche, rationale, irrationale oder reelle Zahl,
die "groesser als jede natuerliche Zahl" waere.
Bekraeftige WM doch nicht noch in seinen Wahnvorstellungen.
Tschuess,
Juergen Ilse (jue...@useenet-verwaltung.de)
Hans Crauel <crauel...@freenet.de> wrote:
> Nachdem es trotz aller Versuche einer Matherapie beharrlich nicht
> klappt, hier ein Vorschlag:
>
> Die natürlichen Zahlen werden erweitert. Dazu nimmt man eine Version
> der reellen Nichtstandard-Zahlen. Dort gibt es Zahlen, die größer als
> jede natürliche Zahl sind.
reelle Zahl, die groesser als jede natuerliche Zahl waere (wie denn auch?).
Angenommen, es gaebe eine solche, dann kann man die groesste natuerliche
Zahl kleiner als diese relle Zahl bestimmen. Die Differenz dieser eellen
Zahl und der groessten natuerlichen Zahl kleiner als diese reelle Zahl
waere kleiner als 1. Bezecihnen wir jede reelle Zahl als n0, so waere daann
n0+1 auch eine natuerliche Zahl (nach Peano) und n0+1 groesser aals diese
"relle Zahl groesser aals alle natuerlichen Zahlen" -> Widerspruch.
q.e.d.
> Man nimmt nun nur die natürlichen Zahlen
> und dazu alle Zahlen, die größer als jede natürliche Zahl sind.
die "groesser als jede natuerliche Zahl" waere.
Bekraeftige WM doch nicht noch in seinen Wahnvorstellungen.
Tschuess,
Juergen Ilse (jue...@useenet-verwaltung.de)
Gus Gassmann
Jul 23, 2021, 11:04:20 AM7/23/21
to
On Friday, 23 July 2021 at 10:19:03 UTC-3, Juergen Ilse wrote:
> Hallo,
> Hans Crauel <crauel...@freenet.de> wrote:
> > Nachdem es trotz aller Versuche einer Matherapie beharrlich nicht
> > klappt, hier ein Vorschlag:
> >
> > Die natürlichen Zahlen werden erweitert. Dazu nimmt man eine Version
> > der reellen Nichtstandard-Zahlen. Dort gibt es Zahlen, die größer als
> > jede natürliche Zahl sind.
> Bist du mittlerweile schon genauso wahnsinnig wie WM?
Das ist etwas hart, vor allem, weil Hans glasklar über Nichtstandard-Zahlen schrieb (https://de.wikipedia.org/wiki/Nichtstandardanalysis).
> Hallo,
> Hans Crauel <crauel...@freenet.de> wrote:
> > Nachdem es trotz aller Versuche einer Matherapie beharrlich nicht
> > klappt, hier ein Vorschlag:
> >
> > Die natürlichen Zahlen werden erweitert. Dazu nimmt man eine Version
> > der reellen Nichtstandard-Zahlen. Dort gibt es Zahlen, die größer als
> > jede natürliche Zahl sind.
> Bist du mittlerweile schon genauso wahnsinnig wie WM?
[...]
> Bekraeftige WM doch nicht noch in seinen Wahnvorstellungen.
Das allerdings ist ein Risiko, das jeder eingeht, der hier versucht, WMs Wahnvorstellungen irgendwie mit echter Mathematik in Einklang zu bringen.
Martin Vaeth
Jul 23, 2021, 2:50:48 PM7/23/21
to
Juergen Ilse <ne...@usenet-verwaltung.de> wrote:
> Hans Crauel <crauel...@freenet.de> wrote:
>> Nachdem es trotz aller Versuche einer Matherapie beharrlich nicht
>> klappt, hier ein Vorschlag:
>>
>> Die natürlichen Zahlen werden erweitert. Dazu nimmt man eine Version
>> der reellen Nichtstandard-Zahlen. Dort gibt es Zahlen, die größer als
>> jede natürliche Zahl sind.
>
> Bist du mittlerweile schon genauso wahnsinnig wie WM? Nein, es gibt keine
> reelle Zahl, die groesser als jede natuerliche Zahl waere (wie denn auch?).
Mit "reeller Nichstandard-Zahl" hat Hans natürlich keine reelle Zahl,
> Hans Crauel <crauel...@freenet.de> wrote:
>> Nachdem es trotz aller Versuche einer Matherapie beharrlich nicht
>> klappt, hier ein Vorschlag:
>>
>> Die natürlichen Zahlen werden erweitert. Dazu nimmt man eine Version
>> der reellen Nichtstandard-Zahlen. Dort gibt es Zahlen, die größer als
>> jede natürliche Zahl sind.
>
> Bist du mittlerweile schon genauso wahnsinnig wie WM? Nein, es gibt keine
> reelle Zahl, die groesser als jede natuerliche Zahl waere (wie denn auch?).
sondern eine hyperreelle Zahl gemeint. Eine Schmalspurversion der Theorie
(die für Hans' Argument ausreicht), lässt sich auf Wikipedia finden:
https://de.wikipedia.org/wiki/Hyperreelle_Zahl
>> Man nimmt nun nur die natürlichen Zahlen
>> und dazu alle Zahlen, die größer als jede natürliche Zahl sind.
>
> Es gibt keine einzige natuerliche, rationale, irrationale oder reelle Zahl,
> die "groesser als jede natuerliche Zahl" waere.
hypernatürlichen Zahlen. Jede hypernatürliche Zahl, die keine
(Standard-Kopie einer) natürlichen Zahl ist, hat die genannte Eigenschaft,
ist also in der üblichen Nichstandard-Terminologie unendlich.
Übrigens: Ist man nur an der Konsistenz einer internen Mengenlehre im
Sinne von Nelson interessiert, braucht man für den Konsistenzbeweis
kein Auswahlaxiom. Man hat dann allerdings keine externen Mengen mehr.
Beispielsweise existiert die Menge der standard-natürlichen Zahlen in
dieser Theorie nicht. Als Schmankerl erfüllen die hypernatürlichen
Zahlen in der internen Mengenlehre dann jedoch alle Peano-Axiome.
Ralf Bader
Jul 23, 2021, 5:07:37 PM7/23/21
to
https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society/volume-73/issue-6/Nonstandard-arithmetic/bams/1183529093.full
werden auf S. 821 in *N (Mückenheimsche) "Endsegmente" A = {y\y>a}
eingeführt, als Beispiele interner Mengen. Endliche Durchschnitte
solcher Endsegmente sind offenbar nichtleer; also müßte gemäß obigem
faszinierenden Prinzip auch der Durchschnitt aller Endsegmente nichtleer
sein, bzw. warum ist er doch leer? Das ist mir nun nicht auf Anhieb klar.
Fritz Feldhase
Jul 23, 2021, 6:42:52 PM7/23/21
to
On Friday, July 23, 2021 at 11:07:37 PM UTC+2, Ralf Bader wrote:
> [...] Endliche Durchschnitte
Vielleicht kann Herr Professor Mückenheim etwas Klärendes dazu sagen.
> [...] Endliche Durchschnitte
> solcher Endsegmente sind offenbar nichtleer; also müßte gemäß obigem
> faszinierenden Prinzip auch der Durchschnitt aller Endsegmente nichtleer
> sein, bzw. warum ist er doch leer? Das ist mir nun nicht auf Anhieb klar.
Ja, ja... :-P
> faszinierenden Prinzip auch der Durchschnitt aller Endsegmente nichtleer
> sein, bzw. warum ist er doch leer? Das ist mir nun nicht auf Anhieb klar.
Vielleicht kann Herr Professor Mückenheim etwas Klärendes dazu sagen.
Ralf Bader
Jul 23, 2021, 6:58:09 PM7/23/21
to
Tom Bola
Jul 24, 2021, 6:08:55 AM7/24/21
to
Ralf Bader schrieb:
Schwarzer Humor...
Martin Vaeth
Jul 24, 2021, 9:30:39 AM7/24/21
to
Ralf Bader <ba...@nefkom.net> wrote:
> On 07/23/2021 12:32 AM, Martin Vaeth wrote:
>>
>> Da gilt übrigens ein viel allgemeineres Kompaktheitsprinzip,
>> das schon faszinierend ist:
>>
>> Hat man irgendein System *interner* Mengen mit der Eigenschaft,
>> dass endliche Schnitte nichtleer sind, so ist auch der Schnitt
>> über eine abzählbare Teilfamilie nichtleer. (Wenn man abzählbar
>> auf offensichtliche Art durch die Standard-natürlichen Zahlen
>> definiert.)
Weil ich Obiges nur aus dem Gedächtnis geschrieben habe, ist mir
> On 07/23/2021 12:32 AM, Martin Vaeth wrote:
>>
>> Da gilt übrigens ein viel allgemeineres Kompaktheitsprinzip,
>> das schon faszinierend ist:
>>
>> Hat man irgendein System *interner* Mengen mit der Eigenschaft,
>> dass endliche Schnitte nichtleer sind, so ist auch der Schnitt
>> über eine abzählbare Teilfamilie nichtleer. (Wenn man abzählbar
>> auf offensichtliche Art durch die Standard-natürlichen Zahlen
>> definiert.)
dabei ein kleiner Lapsus unterlaufen:
Diese Kompaktheitsprinzip (sog. $\aleph_1$-Saturiertheit) gilt
nicht für vollkommen beliebige Nichstandard-Einbettungen, sondern
man braucht ein kleines bisschen mehr (eine sog. "comprehensive"
Nichstandard-Einbettung; die Ultrafilter-Konstruktion hat diese
Eigenschaft).
(Alternativ kann man die Aussage auch dahingehend abschwächen,
dass man statt interne Mengen nur Standard-Mengen zulässt -
dieses abgeschwächte Komptaktheitsprinzip - die sog.
$\alpha_1$-Erweiterung - gilt dann für beliebige
Nichstandard-Einbettungen.)
Vielleicht sollte ich zur Erklärung hinzufügen, dass man
für spezielle Nichtstandard-Einbettungen sogar die sog.
Polysaturiertheit erreichen kann, d.h.:
Hat mein ein Mengensystem interner Mengen mit der Eigenschaft,
dass je endliche Schnitte nichtleer sind, und hat das Mengensystem
hächstens die Kardinalität einer Standard-Menge (also eines
Elements der Standard-Superstruktur), so ist der Schnitt des
Mengensystems nicht leer.
Die Konstruktion solcher polysaturierten Einbettungen ist aber
im Gegensatz zur Konstruktion von "comprehensive" Einbettungen
extrem technisch.
> In Robinson, Nonstandard Arithmetic, [...]
> werden auf S. 821 in *N (Mückenheimsche) "Endsegmente" A = {y\y>a}
> eingeführt, als Beispiele interner Mengen. Endliche Durchschnitte
> solcher Endsegmente sind offenbar nichtleer; also müßte gemäß obigem
> faszinierenden Prinzip auch der Durchschnitt aller Endsegmente nichtleer
> sein
Das Kompaktheitsprinzip ist nicht anwendbar, da die Kardinalität des
> eingeführt, als Beispiele interner Mengen. Endliche Durchschnitte
> solcher Endsegmente sind offenbar nichtleer; also müßte gemäß obigem
> faszinierenden Prinzip auch der Durchschnitt aller Endsegmente nichtleer
> sein
Mengensystems dazu ("standard-")abzählbar sein muss
(bzw. in einer polysaturierten Einbettung maximal die Kardinalität
einer Standard-Menge haben darf.)
Genauer:
Der Schnit \bigcap_{a\in *N} \{y\in *N: y>a\} muss natürlich
leer sein, und das ist kein Widerspruch zur $\aleph_1$-Saturiertheit,
weil die Indexmenge *N, über die der Schnitt gebildet wird,
überabzählbar ist. (Tatsächlich kann man zeigen, dass *N mindestens
die Kardinalität des Kontinuums hat).
Betrachtet man sogar eine polysaturierten Einbettung, so ist
es deswegen kein Widerspruch, weil die Kardinalität von *N in
diesem Fall größer sein muss, als die von *jeder* Standard-Menge.
Hingegen ist der Schnitt \bigcap_{a\in\sigma N} \{y\in *N: y>a\}
nichtleer; wie in der Nichtstandard-Analysis üblich, bezeichne ich
hier mit \sigma N = \{ *n: n\in N\} die Standard-Kopie von N.
Dies folgt aus der $\aleph_1$-Saturiertheit (weil \sigma N
abzählbar ist, da es per Definition gleichmächtig zu N ist),
aber in dem Fall braucht man ein solch mächtiges Prinzip gar nicht:
Nach *Definition* einer Nichstandard-Einbettung ist die Menge
*N \ \sigma N nichtleer, und ist a ein Element aus dieser
Menge, so gilt a > *n für jedes n aus N (das kann man z.B. mit
vollständiger Induktion beweisen). Insbesondere liegt dann also
das Element a im Schnitt.
Wir haben also sogar
\bigcap_{a\in\sigma N} \{y\in *N: y>a\} = *N \ sigma N
gezeigt. Deswegen nennt man die Elemente aus *N \ sigma N
auch die unendlichen hypernatürlichen Zahlen.
Hans Crauel
Jul 26, 2021, 5:58:55 PM7/26/21
to
Martin Vaeth schrieb
> Hans Crauel <crauel...@freenet.de> schrieb:
>> Man nimmt nun nur die natürlichen Zahlen
>> und dazu alle Zahlen, die größer als jede natürliche Zahl sind.
>
> Das ist genau die Menge *N der hypernatürlichen Zahlen.
>
>> Diese Menge mit der Addition von 1 als Nachfolgeoperation nennt man
>> die "Mückenheimsche Erweiterung der natürlichen Zahlen" oder
>> "natürliche Zahlen im Sinne von Mückenheim".
>
> Nein, sie haben bereits einen Namen. Wenn, dann nenne man sie bitte
> hypernatürliche Zahlen im Sinne von Robinson oder Luxemburg oder einem
> anderen seriösen Mathematiker, der ernsthafte Forschung dazu
> betrieben hat.
Ist in Ordnung. Aber in der vorliegenden Situation ist ernsthafte
Forschung wohl bis auf weiteres nicht in Sicht.
gar nicht so schlecht finde. Kann ja unter uns bleiben. Sollte
es sogar, das ist besser.
>> Weitere mögliche Bezeichnungen sind auch "undefinierbare"
>> oder "nicht identifizierbare Zahlen". Sie sind so groß, dass man sie
>> nicht sehen kann. Jedenfalls nicht mit bloßem Auge.
>
> Das wiederum ist richtig: Sie lassen sich nicht durch eine
> Formel der Standard-Welt beschreiben.
Wie schon Bertold Brecht feststellte:
| Denn die einen sind im Dunkeln
| und die andern sind im Licht
| und man siehet die im Lichte
| die im Dunkeln sieht man nicht.
Bertold Brecht kommt übrigens auch aus Augsburg.
>> Die inklusionsmonotone Folge der Endabschnitte der natürlichen
>> Zahlen im Sinne von Mückenheim hat dann keinen leeren Schnitt,
>
> Falls man als Indexmenge nur die natürlichen Zahlen nimmt
> (und nicht die hypernatürlichen Zahlen).
Aber die hypernatürlichen Zahlen sind doch dunkel, die sieht man
nicht. Wie soll man sie dann in der Indexmenge finden?
Nein, hier nimmt man natürlich nur die natürlichen Zahlen. Die
aus der Vorschule.
>> Die natürlichen Zahlen im Sinne von Mückenheim haben die ersten
>> beiden Peano-Eigenschaften
>
> Die hypernatürlichen Zahlen haben sogar *alle* Peano-Eigenschaften,
> wenn man "Teilmenge natürlicher Zahlen" durch "*interne* Teilmengen
> hypernatürlicher Zahlen" ersetzt.
Du überforderst gewisse Teile des Auditoriums.
>> so würde so mancher zum Zweck einer
>> Matherapie unternommene Beitrag unterbleiben können.
>
> Aus mathematischer Sicht könnten sie alle unterbleiben, weil die
> Diskussion naturgemäß über Banalitäten nicht hinauskommen kann.
> Nicht-Mathematisch hat es die Faszination eines Auto-Unfalls.
Dem vermag ich nicht zu widersprechen.
Hans
> Hans Crauel <crauel...@freenet.de> schrieb:
>> Man nimmt nun nur die natürlichen Zahlen
>> und dazu alle Zahlen, die größer als jede natürliche Zahl sind.
>
> Das ist genau die Menge *N der hypernatürlichen Zahlen.
>
>> Diese Menge mit der Addition von 1 als Nachfolgeoperation nennt man
>> die "Mückenheimsche Erweiterung der natürlichen Zahlen" oder
>> "natürliche Zahlen im Sinne von Mückenheim".
>
> Nein, sie haben bereits einen Namen. Wenn, dann nenne man sie bitte
> hypernatürliche Zahlen im Sinne von Robinson oder Luxemburg oder einem
> anderen seriösen Mathematiker, der ernsthafte Forschung dazu
> betrieben hat.
Forschung wohl bis auf weiteres nicht in Sicht.
>
>> Neben den üblichen natürlichen Zahlen enthält diese Menge weitere
>> Elemente, die "Mückenheim-Zahlen" oder "dunkle Zahlen" genannt werden
>> können.
>
> Oder einfach unendliche hyernatürliche Zahlen.
Wobei ich - wieder in der gegebenen Spezialsituation - "dunkel"
>> Neben den üblichen natürlichen Zahlen enthält diese Menge weitere
>> Elemente, die "Mückenheim-Zahlen" oder "dunkle Zahlen" genannt werden
>> können.
>
> Oder einfach unendliche hyernatürliche Zahlen.
gar nicht so schlecht finde. Kann ja unter uns bleiben. Sollte
es sogar, das ist besser.
>> Weitere mögliche Bezeichnungen sind auch "undefinierbare"
>> oder "nicht identifizierbare Zahlen". Sie sind so groß, dass man sie
>> nicht sehen kann. Jedenfalls nicht mit bloßem Auge.
>
> Das wiederum ist richtig: Sie lassen sich nicht durch eine
> Formel der Standard-Welt beschreiben.
| Denn die einen sind im Dunkeln
| und die andern sind im Licht
| und man siehet die im Lichte
| die im Dunkeln sieht man nicht.
Bertold Brecht kommt übrigens auch aus Augsburg.
>> Die inklusionsmonotone Folge der Endabschnitte der natürlichen
>> Zahlen im Sinne von Mückenheim hat dann keinen leeren Schnitt,
>
> Falls man als Indexmenge nur die natürlichen Zahlen nimmt
> (und nicht die hypernatürlichen Zahlen).
nicht. Wie soll man sie dann in der Indexmenge finden?
Nein, hier nimmt man natürlich nur die natürlichen Zahlen. Die
aus der Vorschule.
>> Die natürlichen Zahlen im Sinne von Mückenheim haben die ersten
>> beiden Peano-Eigenschaften
>
> Die hypernatürlichen Zahlen haben sogar *alle* Peano-Eigenschaften,
> wenn man "Teilmenge natürlicher Zahlen" durch "*interne* Teilmengen
> hypernatürlicher Zahlen" ersetzt.
>> so würde so mancher zum Zweck einer
>> Matherapie unternommene Beitrag unterbleiben können.
>
> Aus mathematischer Sicht könnten sie alle unterbleiben, weil die
> Diskussion naturgemäß über Banalitäten nicht hinauskommen kann.
> Nicht-Mathematisch hat es die Faszination eines Auto-Unfalls.
Hans
Alfred Flaßhaar
Jul 27, 2021, 2:10:13 AM7/27/21
to
Am 26.07.2021 um 23:58 schrieb Hans Crauel:
> Martin Vaeth schrieb
>
>> Hans Crauel <crauel...@freenet.de> schrieb:
(...)
> Martin Vaeth schrieb
>
>> Hans Crauel <crauel...@freenet.de> schrieb:
>
> Bertold Brecht kommt übrigens auch aus Augsburg.
>
(...)
> Bertold Brecht kommt übrigens auch aus Augsburg.
>
„Während meines 9jährigen Eingewecktseins an einem Augsburger
Realgymnasium gelang es mir nicht, meine Lehrer wesentlich zu fördern.“
―Bertolt Brecht
Gruß, Alfred Flaßhaar
Ralf Bader
Jul 27, 2021, 10:46:56 PM7/27/21
to
erste Mal, daß google exakt ein Suchergebnis liefert. Das muß ich jetzt
mal durchlesen. Danke für Deine Antwort.
Martin Vaeth
Jul 29, 2021, 6:06:17 PM7/29/21
to
Ralf Bader <ba...@nefkom.net> wrote:
>
> "polysaturiert" gehörte bislang nicht zu meinem Wortschatz, und ist das
> erste Mal, daß google exakt ein Suchergebnis liefert.
Das kann daran liegen, dass die deutsche Literatur zu (fortgeschrittener)
>
> "polysaturiert" gehörte bislang nicht zu meinem Wortschatz, und ist das
> erste Mal, daß google exakt ein Suchergebnis liefert.
NSA i.W. nur aus dem Buch von Landers/Rogge besteht (was aber nicht nicht
schlecht ist; dennoch empfehle ich natürlich auch mein eigenes Buch als
Literatur, aber das ist auf Englisch.)
Das englische Wort ist "polysaturated".
Meist spricht man aber von $\kappa$-saturated für beliebiges $\kappa$.
Ein größeres $\kappa$ als die Mächtigkeit des Standard-Universums liefert
aber kein neues Ergebnis mehr, deswegen kann man dort aufhören.
Martin Vaeth
Jul 29, 2021, 6:14:19 PM7/29/21
to
Hans Crauel <crauel...@freenet.de> schrieb:
mal tatsächlich über Mathematik sprechen zu können - und manche
verstehen es vielleicht oder werden zumindest neugierig.
>
> Du überforderst gewisse Teile des Auditoriums.
Ja. Aber ich habe einfach Freude daran, in einer Mathe-Newsgruppe
> Du überforderst gewisse Teile des Auditoriums.
mal tatsächlich über Mathematik sprechen zu können - und manche
verstehen es vielleicht oder werden zumindest neugierig.
Tom Bola
Jul 29, 2021, 6:14:33 PM7/29/21
to
Martin Vaeth schrieb:
http://www.math.uni-bonn.de/ag/logik/teaching/2006SS/Vortrag4a.pdf
Lexikon der Mathematik
- polysaturierte Nichtstandard-Erweiterung
https://www.spektrum.de/lexikon/mathematik/polysaturierte-nichtstandard-erweiteru
ng/9484
- Nichtstandard-Maßtheorie
https://www.spektrum.de/lexikon/mathematik/nichtstandard-masstheorie/7375
- Nichtstandard-Topologie
https://www.spektrum.de/lexikon/mathematik/nichtstandard-topologie/7377
Lexikon der Mathematik
- polysaturierte Nichtstandard-Erweiterung
https://www.spektrum.de/lexikon/mathematik/polysaturierte-nichtstandard-erweiteru
ng/9484
- Nichtstandard-Maßtheorie
https://www.spektrum.de/lexikon/mathematik/nichtstandard-masstheorie/7375
- Nichtstandard-Topologie
https://www.spektrum.de/lexikon/mathematik/nichtstandard-topologie/7377
Martin Vaeth
Jul 29, 2021, 6:20:24 PM7/29/21
to
Martin Vaeth <mar...@mvath.de> wrote:
> NSA i.W. nur aus dem Buch von Landers/Rogge besteht (was aber nicht nicht
> schlecht ist
Das zweifache "nicht" war ein Versehen, und "nicht schlecht" ist meine
> NSA i.W. nur aus dem Buch von Landers/Rogge besteht (was aber nicht nicht
> schlecht ist
"angeborene" fränkische Untertreibung: Das Buch ist durchaus empfehlenswert.
0 new messages