§ 19. Heuristik des erweiterten zweiten Inversionsproblems.
Nimmt man aber
[Formel 1]
und b = an an, so lässt sich letztres widerlegen, indem als Subjekt:
[Formel 2]
, als Prädikat:
[Formel 3]
erscheint. --
Obwol es nach alledem nicht ausgeschlossen erscheint, dass auch für das allgemeine dritte Inversionsproblem noch bessere Lösungsformen als die von uns gegebne allgemeine Lösung möglich sind -- vielleicht auch nur für umfassendere Klassen von Partikularfällen desselben -- dürfte es nicht ganz leicht sein, solchen auf die Spur zu kommen.
Wie wir sahen lief die Lösung des dritten Inversionsproblems (und von dessen Erweiterungen) hinaus auf das "erweiterte zweite".
Ich glaube nun schuldig zu sein anzugeben auf welche Weise mir die Lösung 11) des letzteren zu finden gelang, da eine blos kund- gegebene und verifizirte Lösung das Erkenntnisstreben sicherlich nicht befriedigt:
Obwol ein günstiger Zufall mitwirkte, ist in meiner Herleitung doch vielleicht ein Stück Methode zu erblicken woraus sich etwas lernen lässt.
Während die Resultante ac ; b als erfüllt vorausgesetzt wird, sollte der Forderung axc ; b durch geeignete Bestimmung von x auf die all- gemeinste Weise genügt werden. Für 1 (Pi)Pj(ani j + Slci lbl j) ist also die Subsumtion 1 (Pi)Pj(ani j + Slxi lci lbl j) nach den Unbekannten xi l symmetrisch allgemein aufzulösen. Da diese durchweg nur mit demselben ersten Index i vorkommen, braucht man die Aufgabe nur für ein bestimmtes i zu lösen und das Resultat hernach all- gemein (für jedes i) in Anspruch zu nehmen; m. a. W. man kann vor- stehend das Pi unterdrücken (worauf wir sogleich durch dessen Einklam- merung hinweisen wollten) und die ganze Untersuchung als eine nach i allgemeine -- unter der Herrschaft dieses Zeichens, "sub Pi" -- führen.
Für jedes j, wofür ani j = 1 also ai j = 0 ist, haben wir einen ineffek- tiven Faktor des Pj, wird unsre Forderung nichtssagend und liefert sie keine Bestimmung.
Für jedes j dagegen, wo ani j = 0 also ai j = 1 ist, wird laut Voraus- setzung Slci lbl j = 1 sein und soll auch Slxi lci lbl j = 1 werden. Das heisst: dann ist nach den xi l die Gleichung aufzulösen: Slxi lci lbl j = Slci lbl j.
Dies geschieht nach dem unter Aufgabe 20 in § 51 des Bd. 2 her- vorgehobnen partikularen Falle mittelst des Ansatzes: xi l = ui l + Pk(uni k + cni k + bnk j)Shci hbh j, was = Uj zur Abkürzung ad hoc genannt werde. Hienach muss für jedes j, wofür ai j = 1 ist, sein: xi l = Uj allgemein für alle i und l, oder also es muss werden: sub PiPl) 1 Pj{ani j + ai j(xi l = Uj)}.
Schröder, Algebra der Relative. 18
§ 19. Heuristik des erweiterten zweiten Inversionsproblems.
Nimmt man aber
[Formel 1]
und b = ā an, so lässt sich letztres widerlegen, indem als Subjekt:
[Formel 2]
, als Prädikat:
[Formel 3]
erscheint. —
Obwol es nach alledem nicht ausgeschlossen erscheint, dass auch für das allgemeine dritte Inversionsproblem noch bessere Lösungsformen als die von uns gegebne allgemeine Lösung möglich sind — vielleicht auch nur für umfassendere Klassen von Partikularfällen desselben — dürfte es nicht ganz leicht sein, solchen auf die Spur zu kommen.
Wie wir sahen lief die Lösung des dritten Inversionsproblems (und von dessen Erweiterungen) hinaus auf das „erweiterte zweite“.
Ich glaube nun schuldig zu sein anzugeben auf welche Weise mir die Lösung 11) des letzteren zu finden gelang, da eine blos kund- gegebene und verifizirte Lösung das Erkenntnisstreben sicherlich nicht befriedigt:
Obwol ein günstiger Zufall mitwirkte, ist in meiner Herleitung doch vielleicht ein Stück Methode zu erblicken woraus sich etwas lernen lässt.
Während die Resultante a ⋹ c ; b als erfüllt vorausgesetzt wird, sollte der Forderung a ⋹ xc ; b durch geeignete Bestimmung von x auf die all- gemeinste Weise genügt werden. Für 1 ⋹ (Πi)Πj(āi j + Σlci lbl j) ist also die Subsumtion 1 ⋹ (Πi)Πj(āi j + Σlxi lci lbl j) nach den Unbekannten xi l symmetrisch allgemein aufzulösen. Da diese durchweg nur mit demselben ersten Index i vorkommen, braucht man die Aufgabe nur für ein bestimmtes i zu lösen und das Resultat hernach all- gemein (für jedes i) in Anspruch zu nehmen; m. a. W. man kann vor- stehend das Πi unterdrücken (worauf wir sogleich durch dessen Einklam- merung hinweisen wollten) und die ganze Untersuchung als eine nach i allgemeine — unter der Herrschaft dieses Zeichens, „sub Πi“ — führen.
Für jedes j, wofür āi j = 1 also ai j = 0 ist, haben wir einen ineffek- tiven Faktor des Πj, wird unsre Forderung nichtssagend und liefert sie keine Bestimmung.
Für jedes j dagegen, wo āi j = 0 also ai j = 1 ist, wird laut Voraus- setzung Σlci lbl j = 1 sein und soll auch Σlxi lci lbl j = 1 werden. Das heisst: dann ist nach den xi l die Gleichung aufzulösen: Σlxi lci lbl j = Σlci lbl j.
Dies geschieht nach dem unter Aufgabe 20 in § 51 des Bd. 2 her- vorgehobnen partikularen Falle mittelst des Ansatzes: xi l = ui l + Πk(ūi k + c̄i k + b̄k j)Σhci hbh j, was = Uj zur Abkürzung ad hoc genannt werde. Hienach muss für jedes j, wofür ai j = 1 ist, sein: xi l = Uj allgemein für alle i und l, oder also es muss werden: sub ΠiΠl) 1 ⋹ Πj{āi j + ai j(xi l = Uj)}.
Schröder, Algebra der Relative. 18
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0287"n="273"/><fwplace="top"type="header">§ 19. Heuristik des erweiterten zweiten Inversionsproblems.</fw><lb/><p>Nimmt man aber <formula/> und <hirendition="#i">b</hi> = <hirendition="#i">ā</hi> an, so lässt sich letztres<lb/>
widerlegen, indem als Subjekt: <formula/>, als Prädikat: <formula/> erscheint. —</p><lb/><p>Obwol es nach alledem nicht ausgeschlossen erscheint, dass auch für<lb/>
das allgemeine dritte Inversionsproblem noch bessere Lösungsformen als<lb/>
die von uns gegebne allgemeine Lösung möglich sind — vielleicht auch<lb/>
nur für umfassendere Klassen von Partikularfällen desselben — dürfte es<lb/>
nicht ganz leicht sein, solchen auf die Spur zu kommen.</p><lb/><p>Wie wir sahen lief die Lösung des dritten Inversionsproblems<lb/>
(und von dessen Erweiterungen) hinaus auf das „erweiterte zweite“.</p><lb/><p>Ich glaube nun schuldig zu sein anzugeben auf welche Weise mir<lb/>
die Lösung 11) des letzteren zu finden gelang, da eine blos kund-<lb/>
gegebene und verifizirte Lösung das Erkenntnisstreben sicherlich nicht<lb/>
befriedigt:</p><lb/><p>Obwol ein günstiger Zufall mitwirkte, ist in meiner <hirendition="#i">Herleitung</hi> doch<lb/>
vielleicht ein Stück Methode zu erblicken woraus sich etwas lernen lässt.</p><lb/><p>Während die Resultante <hirendition="#i">a</hi>⋹<hirendition="#i">c</hi> ; <hirendition="#i">b</hi> als erfüllt vorausgesetzt wird, sollte<lb/>
der Forderung <hirendition="#i">a</hi>⋹<hirendition="#i">xc</hi> ; <hirendition="#i">b</hi> durch geeignete Bestimmung von <hirendition="#i">x</hi> auf die all-<lb/>
gemeinste Weise genügt werden. Für<lb/><hirendition="#c">1 ⋹ (<hirendition="#i">Π<hirendition="#sub">i</hi></hi>)<hirendition="#i">Π<hirendition="#sub">j</hi></hi>(<hirendition="#i">ā<hirendition="#sub">i j</hi></hi> + <hirendition="#i">Σ<hirendition="#sub">l</hi>c<hirendition="#sub">i l</hi>b<hirendition="#sub">l j</hi></hi>)</hi><lb/>
ist also die Subsumtion<lb/><hirendition="#c">1 ⋹ (<hirendition="#i">Π<hirendition="#sub">i</hi></hi>)<hirendition="#i">Π<hirendition="#sub">j</hi></hi>(<hirendition="#i">ā<hirendition="#sub">i j</hi></hi> + <hirendition="#i">Σ<hirendition="#sub">l</hi>x<hirendition="#sub">i l</hi>c<hirendition="#sub">i l</hi>b<hirendition="#sub">l j</hi></hi>)</hi><lb/>
nach den Unbekannten <hirendition="#i">x<hirendition="#sub">i l</hi></hi> symmetrisch allgemein aufzulösen. Da diese<lb/>
durchweg nur <hirendition="#i">mit demselben ersten</hi> Index <hirendition="#i">i</hi> vorkommen, braucht man die<lb/>
Aufgabe nur für ein bestimmtes <hirendition="#i">i</hi> zu lösen und das Resultat hernach all-<lb/>
gemein (für jedes <hirendition="#i">i</hi>) in Anspruch zu nehmen; m. a. W. man kann vor-<lb/>
stehend das <hirendition="#i">Π<hirendition="#sub">i</hi></hi> unterdrücken (worauf wir sogleich durch dessen Einklam-<lb/>
merung hinweisen wollten) und die ganze Untersuchung als eine nach <hirendition="#i">i</hi><lb/>
allgemeine — unter der Herrschaft dieses Zeichens, „sub <hirendition="#i">Π<hirendition="#sub">i</hi></hi>“— führen.</p><lb/><p>Für jedes <hirendition="#i">j</hi>, wofür <hirendition="#i">ā<hirendition="#sub">i j</hi></hi> = 1 also <hirendition="#i">a<hirendition="#sub">i j</hi></hi> = 0 ist, haben wir einen ineffek-<lb/>
tiven Faktor des <hirendition="#i">Π<hirendition="#sub">j</hi></hi>, wird unsre Forderung nichtssagend und liefert sie<lb/>
keine Bestimmung.</p><lb/><p>Für jedes <hirendition="#i">j</hi> dagegen, wo <hirendition="#i">ā<hirendition="#sub">i j</hi></hi> = 0 also <hirendition="#i">a<hirendition="#sub">i j</hi></hi> = 1 ist, wird laut Voraus-<lb/>
setzung <hirendition="#i">Σ<hirendition="#sub">l</hi>c<hirendition="#sub">i l</hi>b<hirendition="#sub">l j</hi></hi> = 1 sein und soll auch <hirendition="#i">Σ<hirendition="#sub">l</hi>x<hirendition="#sub">i l</hi>c<hirendition="#sub">i l</hi>b<hirendition="#sub">l j</hi></hi> = 1 werden. Das heisst:<lb/>
dann ist nach den <hirendition="#i">x<hirendition="#sub">i l</hi></hi> die Gleichung aufzulösen:<lb/><hirendition="#c"><hirendition="#i">Σ<hirendition="#sub">l</hi>x<hirendition="#sub">i l</hi>c<hirendition="#sub">i l</hi>b<hirendition="#sub">l j</hi></hi> = <hirendition="#i">Σ<hirendition="#sub">l</hi>c<hirendition="#sub">i l</hi>b<hirendition="#sub">l j</hi></hi>.</hi></p><lb/><p>Dies geschieht nach dem unter Aufgabe 20 in § 51 des Bd. 2 her-<lb/>
vorgehobnen partikularen Falle mittelst des Ansatzes:<lb/><hirendition="#c"><hirendition="#i">x<hirendition="#sub">i l</hi></hi> = <hirendition="#i">u<hirendition="#sub">i l</hi></hi> + <hirendition="#i">Π<hirendition="#sub">k</hi></hi>(<hirendition="#i">ū<hirendition="#sub">i k</hi></hi> + <hirendition="#i">c̄<hirendition="#sub">i k</hi></hi> + <hirendition="#i">b̄<hirendition="#sub">k j</hi></hi>)<hirendition="#i">Σ<hirendition="#sub">h</hi>c<hirendition="#sub">i h</hi>b<hirendition="#sub">h j</hi></hi>, was = <hirendition="#i">U<hirendition="#sub">j</hi></hi></hi><lb/>
zur Abkürzung ad hoc genannt werde. Hienach muss für jedes <hirendition="#i">j</hi>, wofür<lb/><hirendition="#i">a<hirendition="#sub">i j</hi></hi> = 1 ist, sein: <hirendition="#i">x<hirendition="#sub">i l</hi></hi> = <hirendition="#i">U<hirendition="#sub">j</hi></hi> allgemein für alle <hirendition="#i">i</hi> und <hirendition="#i">l</hi>, oder also es muss<lb/>
werden:<lb/>
sub <hirendition="#i">Π<hirendition="#sub">i</hi>Π<hirendition="#sub">l</hi></hi>) <hirendition="#et">1 ⋹<hirendition="#i">Π<hirendition="#sub">j</hi></hi>{<hirendition="#i">ā<hirendition="#sub">i j</hi></hi> + <hirendition="#i">a<hirendition="#sub">i j</hi></hi>(<hirendition="#i">x<hirendition="#sub">i l</hi></hi> = <hirendition="#i">U<hirendition="#sub">j</hi></hi>)}.</hi></p><lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Relative. 18</fw><lb/></div></div></body></text></TEI>
[273/0287]
§ 19. Heuristik des erweiterten zweiten Inversionsproblems.
Nimmt man aber [FORMEL] und b = ā an, so lässt sich letztres
widerlegen, indem als Subjekt: [FORMEL], als Prädikat: [FORMEL] erscheint. —
Obwol es nach alledem nicht ausgeschlossen erscheint, dass auch für
das allgemeine dritte Inversionsproblem noch bessere Lösungsformen als
die von uns gegebne allgemeine Lösung möglich sind — vielleicht auch
nur für umfassendere Klassen von Partikularfällen desselben — dürfte es
nicht ganz leicht sein, solchen auf die Spur zu kommen.
Wie wir sahen lief die Lösung des dritten Inversionsproblems
(und von dessen Erweiterungen) hinaus auf das „erweiterte zweite“.
Ich glaube nun schuldig zu sein anzugeben auf welche Weise mir
die Lösung 11) des letzteren zu finden gelang, da eine blos kund-
gegebene und verifizirte Lösung das Erkenntnisstreben sicherlich nicht
befriedigt:
Obwol ein günstiger Zufall mitwirkte, ist in meiner Herleitung doch
vielleicht ein Stück Methode zu erblicken woraus sich etwas lernen lässt.
Während die Resultante a ⋹ c ; b als erfüllt vorausgesetzt wird, sollte
der Forderung a ⋹ xc ; b durch geeignete Bestimmung von x auf die all-
gemeinste Weise genügt werden. Für
1 ⋹ (Πi)Πj(āi j + Σlci lbl j)
ist also die Subsumtion
1 ⋹ (Πi)Πj(āi j + Σlxi lci lbl j)
nach den Unbekannten xi l symmetrisch allgemein aufzulösen. Da diese
durchweg nur mit demselben ersten Index i vorkommen, braucht man die
Aufgabe nur für ein bestimmtes i zu lösen und das Resultat hernach all-
gemein (für jedes i) in Anspruch zu nehmen; m. a. W. man kann vor-
stehend das Πi unterdrücken (worauf wir sogleich durch dessen Einklam-
merung hinweisen wollten) und die ganze Untersuchung als eine nach i
allgemeine — unter der Herrschaft dieses Zeichens, „sub Πi“ — führen.
Für jedes j, wofür āi j = 1 also ai j = 0 ist, haben wir einen ineffek-
tiven Faktor des Πj, wird unsre Forderung nichtssagend und liefert sie
keine Bestimmung.
Für jedes j dagegen, wo āi j = 0 also ai j = 1 ist, wird laut Voraus-
setzung Σlci lbl j = 1 sein und soll auch Σlxi lci lbl j = 1 werden. Das heisst:
dann ist nach den xi l die Gleichung aufzulösen:
Σlxi lci lbl j = Σlci lbl j.
Dies geschieht nach dem unter Aufgabe 20 in § 51 des Bd. 2 her-
vorgehobnen partikularen Falle mittelst des Ansatzes:
xi l = ui l + Πk(ūi k + c̄i k + b̄k j)Σhci hbh j, was = Uj
zur Abkürzung ad hoc genannt werde. Hienach muss für jedes j, wofür
ai j = 1 ist, sein: xi l = Uj allgemein für alle i und l, oder also es muss
werden:
sub ΠiΠl) 1 ⋹ Πj{āi j + ai j(xi l = Uj)}.
Schröder, Algebra der Relative. 18
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 273. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/287>, abgerufen am 01.09.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.