A Example:

$$x = {-b \pm \sqrt{b^2-4ac} \over 2a}.$$

parsed lines: 0
 
 
 
connected.
num: 29140
------------------------- GRUPPE: de.sci.mathematik FROM : Blacky Cat DATE : Tue, 1 Apr 2025 13:02:15 +0200 TEMA : Re: Kettenreaktion im Hessenberg-Labor NUMBER: 29130 SIZE : 1194 --------------------------------------------- Am 01.04.2025 um 10:11 schrieb Rainer Rosenthal: > Man verzeihe den wahrscheinlich falsch verwendeten Vergleich. Von Chemie > habe ich noch weniger Ahnung als von Mengenlehre. können eigentlich "Enten" riechen ? oder, können oo-keiten "Enden" ? hihi, jup. ... Blacky -- Diese E-Mail wurde von Avast-Antivirussoftware auf Viren geprüft. www.avast.com ------------------------- GRUPPE: de.sci.mathematik FROM : Carlo XYZ DATE : Tue, 1 Apr 2025 13:51:02 +0200 TEMA : =?UTF-8?Q?Statistik_M=c3=a4rz_2025?= NUMBER: 29131 SIZE : 2470 --------------------------------------------- Group : de.sci.mathematik Statistics : from 1.3.2025 to 31.3.2025 ***** Users with most messages ***** num| Name | Nb Msg | size | or. | % ----|----------------------|--------|---------|-----|------------------| 1 | Moebius | 112 | 358.650 | 5 | 26,35% xxxxxxxxxx 2 | WM | 83 | 202.272 | 5 | 19,53% xxxxxxx 3 | Rainer Rosenthal | 80 | 146.245 | 7 | 18,82% xxxxxxx 4 | Blacky Cat | 67 | 162.371 | 5 | 15,76% xxxxx 5 | Martin Vaeth | 19 | 62.882 | 0 | 4,47% x 6 | joes | 16 | 54.801 | 0 | 3,76% x 7 | Ulrich D i e z | 13 | 39.043 | 0 | 3,06% x 8 | Carlo XYZ | 10 | 26.405 | 1 | 2,35% 9 | Tjark Weber | 4 | 7.453 | 4 | 0,94% 10 | Ralf Goertz | 4 | 9.865 | 1 | 0,94% 11 | Walter H. | 4 | 13.077 | 0 | 0,94% 12 | Ralf Bader | 3 | 6.650 | 0 | 0,71% 13 | Hans Crauel | 3 | 4.595 | 0 | 0,71% 14 | Stefan Ram | 2 | 5.273 | 2 | 0,47% 15 | Colin Paul de Gl ... | 2 | 256.180 | 1 | 0,47% 16 | Nikolaus Paul Ca ... | 2 | 7.091 | 0 | 0,47% 17 | Tom Bola | 1 | 1.156 | 1 | 0,24% ----|----------------------|--------|---------|-----|------------------| ------------------------- GRUPPE: de.sci.mathematik FROM : Moebius DATE : Tue, 1 Apr 2025 20:17:44 +0200 TEMA : =?UTF-8?Q?Re=3A_Eine_merkw=C3=BCrdige_Stille_//_TH7_Definition_=27n?= =?UTF-8?B?w7Z0aWcn?= NUMBER: 29132 SIZE : 6224 --------------------------------------------- Am 31.03.2025 um 01:37 schrieb Moebius: > Am 31.03.2025 um 01:04 schrieb Moebius: >> Am 31.03.2025 um 01:02 schrieb Moebius: >>> Am 31.03.2025 um 00:38 schrieb Moebius: >>> >>>> Der folgende offenbar gültige logische Schluss lässt sich nicht mit >>>> Hilfe des von Aristoteles gelehrten Systems (->Syllogismus) beweisen: >>>> >>>> „Alle Pferde sind Tiere; also sind alle Pferdeköpfe Tierköpfe“ >>> >>> Kann das hier jemand beweisen? :-) >> >> Hinweis: Das hat insbesondere auch etwas mit dem Thema "Definition" zu >> tun. Passt also ganz gut in den Thread. :-) > > Spoiler > > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > . > > Der springende Punkt ist natürlich die Definition (sic!) der Begriffe / > Pferdekopf/ und /Tierkopf/. > > Wenn man man die Begriffe P, T und K (/Pferd/, /Tier/ und /Kopf von/) > als undefinierte Grundbegriffe voraussetzt, kann man den oben erwähnten > Schluss (mit passenden Definitionen) leicht beweisen. Wir definieren: > > PK(x) :<-> Ey(P(y) & K(x,y))    ...x ist ein Pferdekopf > > wobei K(x,y) bedeuten soll "x ist ein Kopf von y". > > x ist also ein Pferdekopf, wenn es ein Pferd y gibt, so dass x ein Kopf > von y ist. > > Ebenso: > > TK(x) :<-> Ey(T(y) & K(x,y))    ...x ist ein Tierkopf > > x ist also ein Tierkopf, wenn es ein Tier y gibt, so dass x ein Kopf von > y ist. Man ist vielleicht versucht, hier statt der Relation K ("... ist ein Kopf von ...") eine Funktion ("der Kopf von ...") zu verwenden und dann PK ("Pferdekopf") und TK ("Tierkopf") wie folgt zu definieren: PK(x) :<-> Ey(P(y) & x = K(y)) "x ist ein Pferdekopf, gdw. es ein Pferd gibt, dessen Kopf x ist." und TK(x) :<-> Ey(P(y) & x = K(y)) , "x ist ein Tierkopf, gdw. es ein Pferd gibt, dessen Kopf x ist." Das wären aber keine "adäquaten" Definitionen für /Pferdekopf/ bzw. /Tierkopf/, weil es eine Tatsache ist, dass es Tiere ohne Köpfe gibt (z. B. Schwämme, Quallen oder Seesterne) und ebenso (als Fehlbildungen) Tiere mit mehreren Köpfen. Wenn also x so ein Tier wäre, was wäre dann F(x) (wenn F(x) DER Kopf des Tiers x sein soll)? Tatsächlich basieren also diese Definitionen auf einer (versteckten) "Zusatzannahme", nämlich dass alle Pferde/Tiere genau einen Kopf haben (was -wie wir eben gesehen habe- FAKTISCH nicht immer der Fall ist). Wir wollen diese Annahme NICHT machen, und statt einer Funktion eine Relation benutzen, um die Begriffe /Pferdekopf/ und /Tierkopf/ zu definieren. (Das ist m. E. auch aus einem weiteren Grund hier vorzuziehen: denn damit bewegen wir uns im Rahmen der elementaren Prädikatenlogik erster Ordnung _ohne_ "Funktionen", also der "elementarsten Form" der Prädikatenlogik. Vgl. dazu [1].) Wir definieren also - wie gehabt: PK(x) :<-> Ey(P(y) & K(x,y)) ...x ist ein Pferdekopf wobei K(x,y) bedeuten soll "x ist ein Kopf von y". x ist also ein Pferdekopf, wenn es ein Pferd y gibt, so dass x ein Kopf von y ist. Ebenso: TK(x) :<-> Ey(T(y) & K(x,y)) ...x ist ein Tierkopf Tatsächlich ist dieser Ansatz auch noch in einer anderen Hinsicht "vorteilhaft". Er funktioniert nämlich auch für z. B. „Alle Pferde sind Tiere; also sind alle Pferdebeine Tierbeine“. Hier würde ja auch eine (versteckte) Zusatzannahme wie "alle Pferde/Tiere haben genau ein Bein", zweifelsfrei im Widerspruch mit den Fakten stehen. (Die entsprechenden Definitionen wären als in keinem Fall "adäquat".) Die folgenden Definitionen erscheinen aber "adäquat" zu sein [2]: PB(x) :<-> Ey(P(y) & B(x,y)) ...x ist ein Pferdebein wobei B(x,y) bedeuten soll "x ist ein Bein von y". x ist also ein Pferdebein, wenn es ein Pferd y gibt, so dass x ein Bein von y ist. Ebenso: TB(x) :<-> Ey(T(y) & B(x,y)) ...x ist ein Tierbein. Die Beweise für „Alle Pferde sind Tiere; also sind alle Pferdeköpfe Tierköpfe“ und „Alle Pferde sind Tiere; also sind alle Pferdebeine Tierbeine“. sind dann jedenfalls "strukturell identisch". ____________ [1] https://plato.stanford.edu/entries/logic-classical/ [2] Von abgetrennten Gliedmaßen wollen wir hier einmal absehen. ------------------------- GRUPPE: de.sci.mathematik FROM : Moebius DATE : Tue, 1 Apr 2025 20:34:32 +0200 TEMA : =?UTF-8?Q?Re=3A_Eine_merkw=C3=BCrdige_Stille_//_TH7_Definition_=27n?= =?UTF-8?B?w7Z0aWcn?= NUMBER: 29133 SIZE : 5499 --------------------------------------------- Am 01.04.2025 um 20:17 schrieb Moebius: > Am 31.03.2025 um 01:37 schrieb Moebius: >> Am 31.03.2025 um 01:04 schrieb Moebius: >>> Am 31.03.2025 um 01:02 schrieb Moebius: >>>> Am 31.03.2025 um 00:38 schrieb Moebius: >>>> >>>>> Der folgende offenbar gültige logische Schluss lässt sich nicht mit >>>>> Hilfe des von Aristoteles gelehrten Systems (->Syllogismus) beweisen: >>>>> >>>>> „Alle Pferde sind Tiere; also sind alle Pferdeköpfe Tierköpfe“ >>>> >>>> Kann das hier jemand beweisen? :-) >>> >>> Hinweis: Das hat insbesondere auch etwas mit dem Thema "Definition" >>> zu tun. Passt also ganz gut in den Thread. :-) >> >> Spoiler >> >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> . >> >> Der springende Punkt ist natürlich die Definition (sic!) der >> Begriffe / Pferdekopf/ und /Tierkopf/. >> >> Wenn man man die Begriffe P, T und K (/Pferd/, /Tier/ und /Kopf von/) >> als undefinierte Grundbegriffe voraussetzt, kann man den oben >> erwähnten Schluss (mit passenden Definitionen) leicht beweisen. Wir >> definieren: >> >> PK(x) :<-> Ey(P(y) & K(x,y))    ...x ist ein Pferdekopf >> >> wobei K(x,y) bedeuten soll "x ist ein Kopf von y". >> >> x ist also ein Pferdekopf, wenn es ein Pferd y gibt, so dass x ein >> Kopf von y ist. >> >> Ebenso: >> >> TK(x) :<-> Ey(T(y) & K(x,y))    ...x ist ein Tierkopf >> >> x ist also ein Tierkopf, wenn es ein Tier y gibt, so dass x ein Kopf >> von y ist. > > Man ist vielleicht versucht, hier statt der Relation K ("... ist ein > Kopf von ...") eine Funktion ("der Kopf von ...") zu verwenden und dann > PK ("Pferdekopf") und TK ("Tierkopf") wie folgt zu definieren: > >          PK(x) :<-> Ey(P(y) & x = K(y)) >          "x ist ein Pferdekopf gdw. es ein Pferd gibt, dessen Kopf x > ist." > > und >          TK(x) :<-> Ey(T(y) & x = K(y)) , >          "x ist ein Tierkopf gdw. es ein Pferd gibt, dessen Kopf x ist." > > Das wären aber keine "adäquaten" Definitionen für /Pferdekopf/ bzw. / > Tierkopf/, weil es eine Tatsache ist, dass es Tiere ohne Köpfe gibt (z. > B. Schwämme, Quallen oder Seesterne) und ebenso (als Fehlbildungen) > Tiere mit mehreren Köpfen. Wenn also x so ein Tier wäre, was wäre dann > F(x) (wenn F(x) DER Kopf des Tiers x sein soll)? > > Tatsächlich basieren also diese Definitionen auf einer (versteckten) > "Zusatzannahme", nämlich dass alle Pferde/Tiere genau einen Kopf haben > (was -wie wir eben gesehen habe- FAKTISCH nicht immer der Fall ist). Witzig ist, dass aber die Grundidee dieser alternativen Definitionen _im Kontext der Mengenlehre_ beibehalten werden kann, und dann offenbar adäquate Definitionen der Begriffe /Pferdekopf/ und /Tierkopf/ ermöglicht. :-) K ist dabei weiterhin eine Funktion (jetzt aber im mengentheoretischen Sinne), und zwar so, dass K(a) _die MENGE der Köpfe von a_ ist. (Dass diese Menge leer sein kann oder mehrerer Elemente enthalten kann, ist dann kein Problem, sondern ein Feature!) Wir können dann definieren: PK(x) :<-> Ey(P(y) & x e K(y)) "x ist ein Pferdekopf gdw. es ein Pferd y gibt, so dass x ein Kopf von y ist." und TK(x) :<-> Ey(T(y) & x e K(y)) , "x ist ein Tierkopf gdw. es ein Tier y gibt, so dass x ein Kopf von y ist." Vgl. auch https://de.wikipedia.org/wiki/Korrespondenz_(Mathematik). ------------------------- GRUPPE: de.sci.mathematik FROM : Moebius DATE : Tue, 1 Apr 2025 21:02:11 +0200 TEMA : =?UTF-8?Q?Re=3A_Eine_merkw=C3=BCrdige_Stille_//_TH7_Definition_=27n?= =?UTF-8?B?w7Z0aWcn?= NUMBER: 29134 SIZE : 7217 --------------------------------------------- Am 01.04.2025 um 20:34 schrieb Moebius: > Am 01.04.2025 um 20:17 schrieb Moebius: >> Am 31.03.2025 um 01:37 schrieb Moebius: >>> Am 31.03.2025 um 01:04 schrieb Moebius: >>>> Am 31.03.2025 um 01:02 schrieb Moebius: >>>>> Am 31.03.2025 um 00:38 schrieb Moebius: >>>>> >>>>>> Der folgende offenbar gültige logische Schluss lässt sich nicht >>>>>> mit Hilfe des von Aristoteles gelehrten Systems (->Syllogismus) >>>>>> beweisen: >>>>>> >>>>>> „Alle Pferde sind Tiere; also sind alle Pferdeköpfe Tierköpfe“ >>>>> >>>>> Kann das hier jemand beweisen? :-) >>>> >>>> Hinweis: Das hat insbesondere auch etwas mit dem Thema "Definition" >>>> zu tun. Passt also ganz gut in den Thread. :-) >>> >>> Spoiler >>> >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> >>> Der springende Punkt ist natürlich die Definition (sic!) der >>> Begriffe / Pferdekopf/ und /Tierkopf/. >>> >>> Wenn man man die Begriffe P, T und K (/Pferd/, /Tier/ und /Kopf von/) >>> als undefinierte Grundbegriffe voraussetzt, kann man den oben >>> erwähnten Schluss (mit passenden Definitionen) leicht beweisen. Wir >>> definieren: >>> >>> PK(x) :<-> Ey(P(y) & K(x,y))    ...x ist ein Pferdekopf >>> >>> wobei K(x,y) bedeuten soll "x ist ein Kopf von y". >>> >>> x ist also ein Pferdekopf, wenn es ein Pferd y gibt, so dass x ein >>> Kopf von y ist. >>> >>> Ebenso: >>> >>> TK(x) :<-> Ey(T(y) & K(x,y))    ...x ist ein Tierkopf >>> >>> x ist also ein Tierkopf, wenn es ein Tier y gibt, so dass x ein Kopf >>> von y ist. >> >> Man ist vielleicht versucht, hier statt der Relation K ("... ist ein >> Kopf von ...") eine Funktion ("der Kopf von ...") zu verwenden und >> dann PK ("Pferdekopf") und TK ("Tierkopf") wie folgt zu definieren: >> >>           PK(x) :<-> Ey(P(y) & x = K(y)) >>           "x ist ein Pferdekopf gdw. es ein Pferd gibt, dessen Kopf x >> ist." >> >> und >>           TK(x) :<-> Ey(T(y) & x = K(y)) , >>           "x ist ein Tierkopf gdw. es ein Pferd gibt, dessen Kopf x ist." >> >> Das wären aber keine "adäquaten" Definitionen für /Pferdekopf/ bzw. / >> Tierkopf/, weil es eine Tatsache ist, dass es Tiere ohne Köpfe gibt >> (z. B. Schwämme, Quallen oder Seesterne) und ebenso (als >> Fehlbildungen) Tiere mit mehreren Köpfen. Wenn also x so ein Tier >> wäre, was wäre dann F(x) (wenn F(x) DER Kopf des Tiers x sein soll)? >> >> Tatsächlich basieren also diese Definitionen auf einer (versteckten) >> "Zusatzannahme", nämlich dass alle Pferde/Tiere genau einen Kopf haben >> (was -wie wir eben gesehen habe- FAKTISCH nicht immer der Fall ist). > > Witzig ist, dass aber die Grundidee dieser alternativen Definitionen _im > Kontext der Mengenlehre_ beibehalten werden kann, und dann offenbar > adäquate Definitionen der Begriffe /Pferdekopf/ und /Tierkopf/ > ermöglicht. :-) > > K ist dabei weiterhin eine Funktion (jetzt aber im mengentheoretischen > Sinne), und zwar so, dass K(a) _die MENGE der Köpfe von a_ ist. (Dass > diese Menge leer sein kann oder mehrerer Elemente enthalten kann, ist > dann kein Problem, sondern ein Feature!) > > Wir können dann definieren: > >              PK(x) :<-> Ey(P(y) & x e K(y)) >              "x ist ein Pferdekopf gdw. es ein Pferd y gibt, so dass x > ein Kopf von y ist." > und >              TK(x) :<-> Ey(T(y) & x e K(y)) , >              "x ist ein Tierkopf gdw. es ein Tier y gibt, so dass x ein > Kopf von y ist." > > Vgl. auch https://de.wikipedia.org/wiki/Korrespondenz_(Mathematik). Jetzt sollte es auch einfach sein, den Schluss „Alle Pferde sind Tiere; also sind alle Pferdeköpfe Tierköpfe“ (nach Übersetzung in die formale logisch-mathematische Sprache) zu beweisen. Abkürzungsverzeichnis: P(x) ...x ist ein Pferd T(x) ...x ist ein Tier K(x) ...die Menge der Köpfe von x PK(x) ...x ist ein Pferdekopf TK(x) ...x ist ein Tierkopf Definitionen: PK(x) :<-> Ey(P(y) & x e K(y)) TK(x) :<-> Ey(T(y) & x e K(y)) Es soll dann Ax(P(x) -> T(x)) |- Ax(PK(x) -> TK(x)) bewiesen werden. Ziemlich trivial: Wir nehmen Ax(P(x) -> T(x)) an. Des weiteren nehmen wir für ein beliebiges b PK(b) an. Gemäß der Definition von PK gilt also Ey(P(y) & b e K(y)). Sei a so ein "Element"; es gelte also P(a) & b e K(a) und damit sowohl P(a) als auch b e K(a) (durch Anwendung(en) der &-Elimination). Aus der Annahme Ax(P(x) -> T(x)) erhalten wir speziell P(a) -> T(a). Und damit (mit P(a) unter Anwendung des MP) T(a). Also erhalten wir T(a) & b e K(a) (durch Anwendung der &-Einführung). Es gibt also ein y (nämlich a), so dass T(y) & b e K(y) gilt (Existenzeinführung): Ey(T(y) & b e K(y)). Gemäß der Definition von TK gilt also TK(b). Wir haben somit gezeigt: PK(b) -> TK(b) (Implikationseinführung/Annahmebeseitigung). Da b beliebig gewählt war, gilt: Ax(PK(x) -> TK(x)) (Alleinführung). qed . . . ------------------------- GRUPPE: de.sci.mathematik FROM : Moebius DATE : Tue, 1 Apr 2025 21:09:13 +0200 TEMA : =?UTF-8?Q?Re=3A_Eine_merkw=C3=BCrdige_Stille_//_TH7_Definition_=27n?= =?UTF-8?B?w7Z0aWcn?= NUMBER: 29135 SIZE : 5931 --------------------------------------------- Am 01.04.2025 um 20:34 schrieb Moebius: > Am 01.04.2025 um 20:17 schrieb Moebius: >> Am 31.03.2025 um 01:37 schrieb Moebius: >>> Am 31.03.2025 um 01:04 schrieb Moebius: >>>> Am 31.03.2025 um 01:02 schrieb Moebius: >>>>> Am 31.03.2025 um 00:38 schrieb Moebius: >>>>> >>>>>> Der folgende offenbar gültige logische Schluss lässt sich nicht >>>>>> mit Hilfe des von Aristoteles gelehrten Systems (->Syllogismus) >>>>>> beweisen: >>>>>> >>>>>> „Alle Pferde sind Tiere; also sind alle Pferdeköpfe Tierköpfe“ >>>>> >>>>> Kann das hier jemand beweisen? :-) >>>> >>>> Hinweis: Das hat insbesondere auch etwas mit dem Thema "Definition" >>>> zu tun. Passt also ganz gut in den Thread. :-) >>> >>> Spoiler >>> >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> . >>> >>> Der springende Punkt ist natürlich die Definition (sic!) der >>> Begriffe /Pferdekopf/ und /Tierkopf/. >>> >>> Wenn man man die Begriffe P, T und K (/Pferd/, /Tier/ und /Kopf von/) >>> als undefinierte Grundbegriffe voraussetzt, kann man den oben >>> erwähnten Schluss (mit passenden Definitionen) leicht beweisen. Wir >>> definieren: >>> >>> PK(x) :<-> Ey(P(y) & K(x,y))    ...x ist ein Pferdekopf >>> >>> wobei K(x,y) bedeuten soll "x ist ein Kopf von y". >>> >>> x ist also ein Pferdekopf, wenn es ein Pferd y gibt, so dass x ein >>> Kopf von y ist. >>> >>> Ebenso: >>> >>> TK(x) :<-> Ey(T(y) & K(x,y))    ...x ist ein Tierkopf >>> >>> x ist also ein Tierkopf, wenn es ein Tier y gibt, so dass x ein Kopf >>> von y ist. >> >> Man ist vielleicht versucht, hier statt der Relation K ("... ist ein >> Kopf von ...") eine Funktion ("der Kopf von ...") zu verwenden und >> dann PK ("Pferdekopf") und TK ("Tierkopf") wie folgt zu definieren: >> >>           PK(x) :<-> Ey(P(y) & x = K(y)) >>           "x ist ein Pferdekopf gdw. es ein Pferd gibt, dessen Kopf x >> ist." >> >> und >>           TK(x) :<-> Ey(T(y) & x = K(y)) , >>           "x ist ein Tierkopf gdw. es ein Pferd gibt, dessen Kopf x ist." >> >> Das wären aber keine "adäquaten" Definitionen für /Pferdekopf/ bzw. / >> Tierkopf/, weil es eine Tatsache ist, dass es Tiere ohne Köpfe gibt >> (z. B. Schwämme, Quallen oder Seesterne) und ebenso (als >> Fehlbildungen) Tiere mit mehreren Köpfen. Wenn also x so ein Tier >> wäre, was wäre dann F(x) (wenn F(x) DER Kopf des Tiers x sein soll)? >> >> Tatsächlich basieren also diese Definitionen auf einer (versteckten) >> "Zusatzannahme", nämlich dass alle Pferde/Tiere genau einen Kopf haben >> (was -wie wir eben gesehen habe- FAKTISCH nicht immer der Fall ist). > > Witzig ist, dass aber die Grundidee dieser alternativen Definitionen _im > Kontext der Mengenlehre_ beibehalten werden kann, und dann offenbar > adäquate Definitionen der Begriffe /Pferdekopf/ und /Tierkopf/ > ermöglicht. :-) > > K ist dabei weiterhin eine Funktion (jetzt aber im mengentheoretischen > Sinne), und zwar so, dass K(a) _die MENGE der Köpfe von a_ ist. (Dass > diese Menge leer sein kann oder mehrerer Elemente enthalten kann, ist > dann kein Problem, sondern ein Feature!) > > Wir können dann definieren: > >              PK(x) :<-> Ey(P(y) & x e K(y)) >              "x ist ein Pferdekopf gdw. es ein Pferd y gibt, so dass x > ein Kopf von y ist." Viell. etwas konziser formuliert: "x ist ein Pferdekopf gdw. x (ein) Kopf eines Pferds ist". :-) > und >              TK(x) :<-> Ey(T(y) & x e K(y)) , >              "x ist ein Tierkopf gdw. es ein Tier y gibt, so dass x ein > Kopf von y ist." "x ist ein Tierkopf gdw. x (ein) Kopf eines Tiers ist". :-) So, jetzt habamas aber. . . . ------------------------- GRUPPE: de.sci.mathematik FROM : Rainer Rosenthal DATE : Tue, 1 Apr 2025 22:56:58 +0200 TEMA : Re: Kettenreaktion im Hessenberg-Labor NUMBER: 29136 SIZE : 1220 --------------------------------------------- Am 01.04.2025 um 13:02 schrieb Blacky Cat: > > hihi, jup. ... > Rechne mal bitte nach, ich glaube es stimmt: > # > # Check: 640 < 6469632 > # ------------------------------------------------- > # natürlich: ja, Hessenberg: nein, Hessenberg^2: ja > # > # > # Check: 1152 < 398848 > # ------------------------------------------------- > # natürlich: ja, Hessenberg: ja, Hessenberg^2: nein > # Gruß, Rainer ------------------------- GRUPPE: de.sci.mathematik FROM : Moebius DATE : Wed, 2 Apr 2025 00:37:27 +0200 TEMA : =?UTF-8?Q?Re=3A_Eine_merkw=C3=BCrdige_Stille_//_TH7_Definition_=27n?= =?UTF-8?B?w7Z0aWcn?= NUMBER: 29137 SIZE : 8463 --------------------------------------------- Am 01.04.2025 um 21:02 schrieb Moebius: > Am 01.04.2025 um 20:34 schrieb Moebius: >> Am 01.04.2025 um 20:17 schrieb Moebius: >>> Am 31.03.2025 um 01:37 schrieb Moebius: >>>> Am 31.03.2025 um 01:04 schrieb Moebius: >>>>> Am 31.03.2025 um 01:02 schrieb Moebius: >>>>>> Am 31.03.2025 um 00:38 schrieb Moebius: >>>>>> >>>>>>> Der folgende offenbar gültige logische Schluss lässt sich nicht >>>>>>> mit Hilfe des von Aristoteles gelehrten Systems (->Syllogismus) >>>>>>> beweisen: >>>>>>> >>>>>>> „Alle Pferde sind Tiere; also sind alle Pferdeköpfe Tierköpfe“ >>>>>> >>>>>> Kann das hier jemand beweisen? :-) >>>>> >>>>> Hinweis: Das hat insbesondere auch etwas mit dem Thema "Definition" >>>>> zu tun. Passt also ganz gut in den Thread. :-) >>>> >>>> Spoiler >>>> >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> . >>>> >>>> Der springende Punkt ist natürlich die Definition (sic!) der >>>> Begriffe / Pferdekopf/ und /Tierkopf/. >>>> >>>> Wenn man man die Begriffe P, T und K (/Pferd/, /Tier/ und /Kopf >>>> von/) als undefinierte Grundbegriffe voraussetzt, kann man den oben >>>> erwähnten Schluss (mit passenden Definitionen) leicht beweisen. Wir >>>> definieren: >>>> >>>> PK(x) :<-> Ey(P(y) & K(x,y))    ...x ist ein Pferdekopf >>>> >>>> wobei K(x,y) bedeuten soll "x ist ein Kopf von y". >>>> >>>> x ist also ein Pferdekopf, wenn es ein Pferd y gibt, so dass x ein >>>> Kopf von y ist. >>>> >>>> Ebenso: >>>> >>>> TK(x) :<-> Ey(T(y) & K(x,y))    ...x ist ein Tierkopf >>>> >>>> x ist also ein Tierkopf, wenn es ein Tier y gibt, so dass x ein Kopf >>>> von y ist. >>> >>> Man ist vielleicht versucht, hier statt der Relation K ("... ist ein >>> Kopf von ...") eine Funktion ("der Kopf von ...") zu verwenden und >>> dann PK ("Pferdekopf") und TK ("Tierkopf") wie folgt zu definieren: >>> >>>           PK(x) :<-> Ey(P(y) & x = K(y)) >>>           "x ist ein Pferdekopf gdw. es ein Pferd gibt, dessen Kopf x >>> ist." >>> >>> und >>>           TK(x) :<-> Ey(T(y) & x = K(y)) , >>>           "x ist ein Tierkopf gdw. es ein Pferd gibt, dessen Kopf x >>> ist." >>> >>> Das wären aber keine "adäquaten" Definitionen für /Pferdekopf/ bzw. / >>> Tierkopf/, weil es eine Tatsache ist, dass es Tiere ohne Köpfe gibt >>> (z. B. Schwämme, Quallen oder Seesterne) und ebenso (als >>> Fehlbildungen) Tiere mit mehreren Köpfen. Wenn also x so ein Tier >>> wäre, was wäre dann F(x) (wenn F(x) DER Kopf des Tiers x sein soll)? >>> >>> Tatsächlich basieren also diese Definitionen auf einer (versteckten) >>> "Zusatzannahme", nämlich dass alle Pferde/Tiere genau einen Kopf >>> haben (was -wie wir eben gesehen habe- FAKTISCH nicht immer der Fall >>> ist). >> >> Witzig ist, dass aber die Grundidee dieser alternativen Definitionen >> _im Kontext der Mengenlehre_ beibehalten werden kann, und dann >> offenbar adäquate Definitionen der Begriffe /Pferdekopf/ und / >> Tierkopf/ ermöglicht. :-) >> >> K ist dabei weiterhin eine Funktion (jetzt aber im mengentheoretischen >> Sinne), und zwar so, dass K(a) _die MENGE der Köpfe von a_ ist. (Dass >> diese Menge leer sein kann oder mehrerer Elemente enthalten kann, ist >> dann kein Problem, sondern ein Feature!) >> >> Wir können dann definieren: >> >>               PK(x) :<-> Ey(P(y) & x e K(y)) >>               "x ist ein Pferdekopf gdw. es ein Pferd y gibt, so dass >> x ein Kopf von y ist." >> und >>               TK(x) :<-> Ey(T(y) & x e K(y)) , >>               "x ist ein Tierkopf gdw. es ein Tier y gibt, so dass x >> ein Kopf von y ist." >> >> Vgl. auch https://de.wikipedia.org/wiki/Korrespondenz_(Mathematik). > > Jetzt sollte es auch einfach sein, den Schluss > > „Alle Pferde sind Tiere; also sind alle Pferdeköpfe Tierköpfe“ > > (nach Übersetzung in die formale logisch-mathematische Sprache) zu > beweisen. > > Abkürzungsverzeichnis: > > P(x) ...x ist ein Pferd > T(x) ...x ist ein Tier > K(x) ...die Menge der Köpfe von x > PK(x) ...x ist ein Pferdekopf > TK(x) ...x ist ein Tierkopf > > Definitionen: > > PK(x) :<-> Ey(P(y) & x e K(y)) > TK(x) :<-> Ey(T(y) & x e K(y)) > > Es soll dann > >       Ax(P(x) -> T(x)) |- Ax(PK(x) -> TK(x)) > > bewiesen werden. > > Ziemlich trivial: Wir nehmen Ax(P(x) -> T(x)) an. Des weiteren nehmen > wir für ein beliebiges b PK(b) an. Gemäß der Definition von PK gilt also > Ey(P(y) & b e K(y)). Sei a so ein "Element"; es gelte also P(a) & b e > K(a) und damit sowohl P(a) als auch b e K(a) (durch Anwendung(en) der &- > Elimination). Aus der Annahme Ax(P(x) -> T(x)) erhalten wir speziell > P(a) -> T(a). Und damit (mit P(a) unter Anwendung des MP) T(a). Also > erhalten wir T(a) & b e K(a) (durch Anwendung der &-Einführung). Es gibt > also ein y (nämlich a), so dass T(y) & b e K(y) gilt > (Existenzeinführung): Ey(T(y) & b e K(y)). Gemäß der Definition von TK > gilt also TK(b). Wir haben somit gezeigt: PK(b) -> TK(b) > (Implikationseinführung/Annahmebeseitigung). Da b beliebig gewählt war, > gilt: Ax(PK(x) -> TK(x)) (Alleinführung). qed Die Auswahl der Terme war wohl nicht so toll, sorry. Viell. besser so: Wir nehmen Ax(P(x) -> T(x)) an. Des weiteren nehmen wir für ein beliebiges a PK(a) an. Gemäß der Definition von PK gilt also Ey(P(y) & a e K(y)). Sei b so ein "Element"; es gelte also P(b) & a e K(b) und damit sowohl P(b) als auch a e K(b) (durch Anwendung(en) der &-Elimination). Aus der Annahme Ax(P(x) -> T(x)) erhalten wir speziell P(b) -> T(b). Und damit (mit P(b) unter Anwendung des MP) T(b). Also erhalten wir T(b) & a e K(b) (durch Anwendung der &-Einführung). Es gibt also ein y (nämlich b), so dass T(y) & a e K(y) gilt (Existenzeinführung): Ey(T(y) & a e K(y)). Gemäß der Definition von TK gilt also TK(a). Wir haben somit gezeigt: PK(a) -> TK(a) (Implikationseinführung/Annahmebeseitigung). Da a beliebig gewählt war, gilt: Ax(PK(x) -> TK(x)) (Alleinführung). qed > . > . > . > > > ------------------------- GRUPPE: de.sci.mathematik FROM : Moebius DATE : Wed, 2 Apr 2025 02:55:26 +0200 TEMA : =?UTF-8?Q?Re=3A_Eine_merkw=C3=BCrdige_Stille_//_TH7_Definition_=27n?= =?UTF-8?B?w7Z0aWcn?= NUMBER: 29138 SIZE : 4883 --------------------------------------------- Am 02.04.2025 um 00:37 schrieb Moebius: > Jetzt sollte es auch einfach sein, den Schluss > > „Alle Pferde sind Tiere; also sind alle Pferdeköpfe Tierköpfe“ > > (nach Übersetzung in die/eine formale logisch-mathematische Sprache) zu > beweisen. > > Abkürzungsverzeichnis: > > P(x) ...x ist ein Pferd > T(x) ...x ist ein Tier > K(x) ...die Menge der Köpfe von x > PK(x) ...x ist ein Pferdekopf > TK(x) ...x ist ein Tierkopf > > Definitionen: > > PK(x) :<-> Ey(P(y) & x e K(y)) > TK(x) :<-> Ey(T(y) & x e K(y)) > > Es soll dann > >        Ax(P(x) -> T(x)) |- Ax(PK(x) -> TK(x)) > > bewiesen werden. Das ist ziemlich trivial: > > Wir nehmen Ax(P(x) -> T(x)) an. Des weiteren nehmen wir für ein > beliebiges a PK(a) an. Gemäß der Definition von PK gilt also Ey(P(y) & a > e K(y)). Sei b so ein "Element"; es gelte also P(b) & a e K(b) und damit > sowohl P(b) als auch a e K(b) (durch Anwendung(en) der &-Beseitigung). > Aus der Annahme Ax(P(x) -> T(x)) erhalten wir speziell P(b) -> T(b). Und > damit (mit P(b) unter Anwendung des MP) T(b). Also erhalten wir T(b) & a > e K(b) (durch Anwendung der &-Einführung). Es gibt also ein y (nämlich > b), so dass T(y) & a e K(y) gilt (Existenzeinführung): Ey(T(y) & a e > K(y)). Gemäß der Definition von TK gilt also TK(a). Wir haben somit > gezeigt: PK(a) -> TK(a) (Implikationseinführung/Annahmebeseitigung). Da > a beliebig gewählt war, gilt: Ax(PK(x) -> TK(x)) (Alleinführung). qed "Intuitiv" ist das ziemlich "einleuchtend", so dass man viell. den Eindruck gewinnt, dass das so offensichtlich ist, dass ein expliziter Beweis eig. nicht nötig ist. Nichtsdestotrotz bringe hier noch einen _streng formalen_ Beweis für den Schluss (in einem Kalkül des sog. "natürlichen Schließens"). Es zeigt sich, dass dieser (wie der oben angegebene freestyle-Beweis) doch einige Schritte umfasst. :-P 1 (1) Ax(P(x) -> T(x)) A 2 (2) PK(a) A 2 (3) Ey(P(y) & a e K(y)) 2 Def. PK 4 (4) P(b) & a e K(b) A 4 (5) P(b) 4 &B 4 (6) a e K(b) 4 &B 1 (7) P(b) -> T(b) 1 AB 1,4 (8) T(b) 5,7 ->B 1,4 (9) T(b) & a e K(b) 8,6 &E 1,4 (10) Ey(T(y) & a e K(y)) 9 EE 1,2 (11) Ey(T(y) & a e K(y)) 3,4,10 EB 1,2 (12) TK(a) 11 Def. TK 1 (13) PK(a) -> TK(a) 2,12 ->E 1 (14) Ax(PK(x) -> TK(x)) 13 AE Wir haben also Ax(P(x) -> T(x)) |- Ax(PK(x) -> TK(x)) gezeigt. qed Wie man sieht, unterscheidet sich "echte Mathematik" doch sehr von der Mückenmatik, die im wesentlichen aus (unbewiesenen) Behauptungen (und fehlerhaften/unbeweisbaren "Schlüssen") besteht. (Unter anderem zeichnet sich die Mückenmatik durch die Abwesenheit von präzisen Definitionen für die meisten ihrer Schlüsselbegriffe aus.) Lit.: Gerhard Gentzen, Untersuchungen über das logische Schließen. I. In: Mathematische Zeitschrift. Band 39 (2), 1935, S. 176–210 >> . >> . >> . >> >> >> > ------------------------- GRUPPE: de.sci.mathematik FROM : Blacky Cat DATE : Wed, 2 Apr 2025 09:06:11 +0200 TEMA : Re: Kettenreaktion im Hessenberg-Labor NUMBER: 29139 SIZE : 2947 --------------------------------------------- Moin Moin Rainer, Am 01.04.2025 um 22:56 schrieb Rainer Rosenthal: > Am 01.04.2025 um 13:02 schrieb Blacky Cat: >> >> hihi, jup. ... >> > > Rechne mal bitte nach, ich glaube es stimmt: > > > # > > #  Check: 640 < 6469632 > > #  ------------------------------------------------- > > #  natürlich: ja, Hessenberg: nein, Hessenberg^2: ja > > # > > # > > #  Check: 1152 < 398848 > > #  ------------------------------------------------- > > #  natürlich: ja, Hessenberg: ja, Hessenberg^2: nein > > # 648 => 2 * 2 * 2 * 2 * 2 * 2 * 2 * 5 6469632 => 2 * 2 * 2 * 2 * 2 * 2 * 2 2 * 2 * 2 * 2 * 3 * 3 * 3 * 3 * 3 * 13 1152 => 2 * 2 * 2 * 2 * 2 * 2 * 2 * 3 * 3 398848 => 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 19 * 41 A1 ------------------------------------------------------------------- vielfache: | Anzahl Faktoren: Anzahl vielfache: 648 => ( 2) => 7 | 8 2 => ( 5) => 1 | | A2 ------------------------------------------------------------------- 6469632 => ( 2) => 11 | 17 3 => ( 3) => 5 | => (13) => 1 | B1 ------------------------------------------------------------------- vielfache: | Anzahl Faktoren: Anzahl vielfache: 1152 => ( 2) => 7 | 9 2 => ( 3) => 2 | | B2 ------------------------------------------------------------------- 398848 => ( 2) => 9 | 11 3 => (19) => 1 | => (41) => 1 | Vergleich... Faktoren: A1 < A2 = 8 < 17 B1 < B2 = 9 < 11 vielfache: A1 < A2 = 2 < 3 <-----+ B1 < B2 = 2 < 3 <--+ | | | Hessenberg: A == B. >----------+--+ (Remark: nicht entscheidbar) > Gruß, > Rainer Gut Ei und kikerrigie... (Sommergewinn-Spruch aus Eisenach) Blacky -- Diese E-Mail wurde von Avast-Antivirussoftware auf Viren geprüft. www.avast.com