lornen Terme von selbst oder analytisch verschwinden, wie dies z. B. ein- treten würde, wenn sich a d als von der Form a b1 · a1b und c d als von der Form a b · a1b1 oder vielleicht g d · e d1, und dergleichen, herausstellte.
Es haben durch solchen Verstoss einzelne meiner amerikanischen Mit- arbeiter auf dem Feld der logischen Algebra bei der Behandlung spezieller Aufgaben einen Vorsprung vor mir gewonnen, indem sie allerhand Weit- läufigkeiten des Druckes ersparten und mit einfacherem Formelansatz zum Ziel kamen, als wenn sie nach den von mir empfohlenen Schemata streng systematisch zuwerke gegangen wären. Solchen Vorsprung muss ich aber als einen illegitimen bezeichnen, sofern sich die dabei befolgte Taktik bei andern Gelegenheiten rächen müsste.
Durch die vorstehenden Überlegungen wurde das Eliminations- problem für eine beliebige Menge von Eliminanden erledigt.
th) Es frägt sich noch, wie das Auflösungsproblem bei einer Mehr- zahl von Unbekannten sich gestaltet.
Im Gegensatz zur numerisch rechnenden Mathematik muss das Problem der Auflösung eines Propositionensystems nach mehreren ebenso wie schon nach einer Unbekannten allemal mit der Elimination eben- dieser Unbekannten verbunden werden in der Art, dass diese Elimina- tion der eigentlichen Auflösung jeweils vorauszuschicken ist. Und ferner scheint das Auflösen nach mehrern Unbekannten für die Logik nicht die entsprechende Wichtigkeit zu besitzen, wie für die Arith- metik.
Die Unbekannten mögen x, y, z, ... heissen. Eliminirt man (aus der vereinigten Gleichung des Problemes) sie sämtlich -- z. B. succes- sive in der umgekehrten Ordnung als wie sie angegeben sind -- so ergibt sich als Resultante eine Gleichung, in der nur noch bekannte Gebiete 0, 1, a, b, c, d, ... vorkommen werden.
Die Resultante -- R = 0 möge sie heissen -- kann eine analy- tische Identität sein, wie es namentlich der Fall sein wird, wenn sie auf die Gleichung 0 = 0 sich zusammenzieht, während auch umge- kehrt, nachdem sie rechts auf 0 gebracht ist, die linke Seite R der- selben auf Grund der Regeln des Kalkuls dann ebenfalls identisch 0 sein wird. In diesem Falle wird die Aufgabe der Berechnung von x, y, z, ... unbedingt lösbar sein für alle denkbaren Wertsysteme der Parameter oder Symbole a, b, ...
Oder aber: die Resultante R = 0 ist selbst eine synthetische Glei- chung, eine Relation.
Ist dieselbe von den gegebenen Symbolen a, b, .. nicht erfüllt, in- dem sich für ihre linke Seite R eben ein gemäss den Voraussetzungen des Problems von 0 verschieden zu denkender Wert herausstellt (und
§ 22. Elimination von mehreren Unbekannten.
lornen Terme von selbst oder analytisch verschwinden, wie dies z. B. ein- treten würde, wenn sich a d als von der Form α β1 · α1β und c d als von der Form α β · α1β1 oder vielleicht γ δ · ε δ1, und dergleichen, herausstellte.
Es haben durch solchen Verstoss einzelne meiner amerikanischen Mit- arbeiter auf dem Feld der logischen Algebra bei der Behandlung spezieller Aufgaben einen Vorsprung vor mir gewonnen, indem sie allerhand Weit- läufigkeiten des Druckes ersparten und mit einfacherem Formelansatz zum Ziel kamen, als wenn sie nach den von mir empfohlenen Schemata streng systematisch zuwerke gegangen wären. Solchen Vorsprung muss ich aber als einen illegitimen bezeichnen, sofern sich die dabei befolgte Taktik bei andern Gelegenheiten rächen müsste.
Durch die vorstehenden Überlegungen wurde das Eliminations- problem für eine beliebige Menge von Eliminanden erledigt.
ϑ) Es frägt sich noch, wie das Auflösungsproblem bei einer Mehr- zahl von Unbekannten sich gestaltet.
Im Gegensatz zur numerisch rechnenden Mathematik muss das Problem der Auflösung eines Propositionensystems nach mehreren ebenso wie schon nach einer Unbekannten allemal mit der Elimination eben- dieser Unbekannten verbunden werden in der Art, dass diese Elimina- tion der eigentlichen Auflösung jeweils vorauszuschicken ist. Und ferner scheint das Auflösen nach mehrern Unbekannten für die Logik nicht die entsprechende Wichtigkeit zu besitzen, wie für die Arith- metik.
Die Unbekannten mögen x, y, z, … heissen. Eliminirt man (aus der vereinigten Gleichung des Problemes) sie sämtlich — z. B. succes- sive in der umgekehrten Ordnung als wie sie angegeben sind — so ergibt sich als Resultante eine Gleichung, in der nur noch bekannte Gebiete 0, 1, a, b, c, d, … vorkommen werden.
Die Resultante — R = 0 möge sie heissen — kann eine analy- tische Identität sein, wie es namentlich der Fall sein wird, wenn sie auf die Gleichung 0 = 0 sich zusammenzieht, während auch umge- kehrt, nachdem sie rechts auf 0 gebracht ist, die linke Seite R der- selben auf Grund der Regeln des Kalkuls dann ebenfalls identisch 0 sein wird. In diesem Falle wird die Aufgabe der Berechnung von x, y, z, … unbedingt lösbar sein für alle denkbaren Wertsysteme der Parameter oder Symbole a, b, …
Oder aber: die Resultante R = 0 ist selbst eine synthetische Glei- chung, eine Relation.
Ist dieselbe von den gegebenen Symbolen a, b, ‥ nicht erfüllt, in- dem sich für ihre linke Seite R eben ein gemäss den Voraussetzungen des Problems von 0 verschieden zu denkender Wert herausstellt (und
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0491"n="471"/><fwplace="top"type="header">§ 22. Elimination von mehreren Unbekannten.</fw><lb/>
lornen Terme von selbst oder analytisch verschwinden, wie dies z. B. ein-<lb/>
treten würde, wenn sich <hirendition="#i">a d</hi> als von der Form <hirendition="#i">αβ</hi><hirendition="#sub">1</hi> · <hirendition="#i">α</hi><hirendition="#sub">1</hi><hirendition="#i">β</hi> und <hirendition="#i">c d</hi> als von<lb/>
der Form <hirendition="#i">αβ</hi> · <hirendition="#i">α</hi><hirendition="#sub">1</hi><hirendition="#i">β</hi><hirendition="#sub">1</hi> oder vielleicht <hirendition="#i">γδ</hi> · <hirendition="#i">εδ</hi><hirendition="#sub">1</hi>, und dergleichen, herausstellte.</p><lb/><p>Es haben durch solchen Verstoss einzelne meiner amerikanischen Mit-<lb/>
arbeiter auf dem Feld der logischen Algebra bei der Behandlung spezieller<lb/>
Aufgaben einen Vorsprung vor mir gewonnen, indem sie allerhand Weit-<lb/>
läufigkeiten des Druckes ersparten und mit einfacherem Formelansatz zum<lb/>
Ziel kamen, als wenn sie nach den von mir empfohlenen Schemata streng<lb/>
systematisch zuwerke gegangen wären. Solchen Vorsprung muss ich aber<lb/>
als einen illegitimen bezeichnen, sofern sich die dabei befolgte Taktik bei<lb/>
andern Gelegenheiten rächen müsste.</p><lb/><p>Durch die vorstehenden Überlegungen wurde das Eliminations-<lb/>
problem für eine beliebige Menge von Eliminanden erledigt.</p><lb/><p><hirendition="#i">ϑ</hi>) Es frägt sich noch, wie das Auflösungsproblem bei einer <hirendition="#i">Mehr-<lb/>
zahl</hi> von Unbekannten sich gestaltet.</p><lb/><p>Im Gegensatz zur numerisch rechnenden Mathematik muss das<lb/>
Problem der Auflösung eines Propositionensystems nach <hirendition="#i">mehreren</hi> ebenso<lb/>
wie schon nach <hirendition="#i">einer</hi> Unbekannten allemal mit der Elimination eben-<lb/>
dieser Unbekannten verbunden werden in der Art, dass diese Elimina-<lb/>
tion der eigentlichen Auflösung jeweils vorauszuschicken ist. Und<lb/>
ferner scheint das Auflösen nach mehrern Unbekannten für die Logik<lb/>
nicht die entsprechende Wichtigkeit zu besitzen, wie für die Arith-<lb/>
metik.</p><lb/><p>Die Unbekannten mögen <hirendition="#i">x</hi>, <hirendition="#i">y</hi>, <hirendition="#i">z</hi>, … heissen. Eliminirt man (aus<lb/>
der vereinigten Gleichung des Problemes) sie sämtlich — z. B. <hirendition="#i">succes-<lb/>
sive in der umgekehrten Ordnung als wie sie angegeben sind</hi>— so ergibt<lb/>
sich als Resultante eine Gleichung, in der nur noch bekannte Gebiete<lb/>
0, 1, <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>, <hirendition="#i">d</hi>, … vorkommen werden.</p><lb/><p>Die Resultante —<hirendition="#i">R</hi> = 0 möge sie heissen —<hirendition="#i">kann</hi> eine <hirendition="#i">analy-<lb/>
tische</hi> Identität sein, wie es namentlich der Fall sein wird, wenn sie<lb/>
auf die Gleichung 0 = 0 sich zusammenzieht, während auch umge-<lb/>
kehrt, nachdem sie rechts auf 0 gebracht ist, die linke Seite <hirendition="#i">R</hi> der-<lb/>
selben auf Grund der Regeln des Kalkuls dann ebenfalls identisch 0<lb/>
sein wird. In diesem Falle wird die Aufgabe der Berechnung von<lb/><hirendition="#i">x</hi>, <hirendition="#i">y</hi>, <hirendition="#i">z</hi>, … unbedingt lösbar sein für alle denkbaren Wertsysteme der<lb/>
Parameter oder Symbole <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, …</p><lb/><p>Oder aber: die Resultante <hirendition="#i">R</hi> = 0 ist selbst eine <hirendition="#i">synthetische</hi> Glei-<lb/>
chung, eine <hirendition="#i">Relation</hi>.</p><lb/><p>Ist dieselbe von den gegebenen Symbolen <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, ‥<hirendition="#i">nicht</hi> erfüllt, in-<lb/>
dem sich für ihre linke Seite <hirendition="#i">R</hi> eben ein gemäss den Voraussetzungen<lb/>
des Problems <hirendition="#i">von</hi> 0 <hirendition="#i">verschieden</hi> zu denkender Wert herausstellt (und<lb/></p></div></div></body></text></TEI>
[471/0491]
§ 22. Elimination von mehreren Unbekannten.
lornen Terme von selbst oder analytisch verschwinden, wie dies z. B. ein-
treten würde, wenn sich a d als von der Form α β1 · α1 β und c d als von
der Form α β · α1 β1 oder vielleicht γ δ · ε δ1, und dergleichen, herausstellte.
Es haben durch solchen Verstoss einzelne meiner amerikanischen Mit-
arbeiter auf dem Feld der logischen Algebra bei der Behandlung spezieller
Aufgaben einen Vorsprung vor mir gewonnen, indem sie allerhand Weit-
läufigkeiten des Druckes ersparten und mit einfacherem Formelansatz zum
Ziel kamen, als wenn sie nach den von mir empfohlenen Schemata streng
systematisch zuwerke gegangen wären. Solchen Vorsprung muss ich aber
als einen illegitimen bezeichnen, sofern sich die dabei befolgte Taktik bei
andern Gelegenheiten rächen müsste.
Durch die vorstehenden Überlegungen wurde das Eliminations-
problem für eine beliebige Menge von Eliminanden erledigt.
ϑ) Es frägt sich noch, wie das Auflösungsproblem bei einer Mehr-
zahl von Unbekannten sich gestaltet.
Im Gegensatz zur numerisch rechnenden Mathematik muss das
Problem der Auflösung eines Propositionensystems nach mehreren ebenso
wie schon nach einer Unbekannten allemal mit der Elimination eben-
dieser Unbekannten verbunden werden in der Art, dass diese Elimina-
tion der eigentlichen Auflösung jeweils vorauszuschicken ist. Und
ferner scheint das Auflösen nach mehrern Unbekannten für die Logik
nicht die entsprechende Wichtigkeit zu besitzen, wie für die Arith-
metik.
Die Unbekannten mögen x, y, z, … heissen. Eliminirt man (aus
der vereinigten Gleichung des Problemes) sie sämtlich — z. B. succes-
sive in der umgekehrten Ordnung als wie sie angegeben sind — so ergibt
sich als Resultante eine Gleichung, in der nur noch bekannte Gebiete
0, 1, a, b, c, d, … vorkommen werden.
Die Resultante — R = 0 möge sie heissen — kann eine analy-
tische Identität sein, wie es namentlich der Fall sein wird, wenn sie
auf die Gleichung 0 = 0 sich zusammenzieht, während auch umge-
kehrt, nachdem sie rechts auf 0 gebracht ist, die linke Seite R der-
selben auf Grund der Regeln des Kalkuls dann ebenfalls identisch 0
sein wird. In diesem Falle wird die Aufgabe der Berechnung von
x, y, z, … unbedingt lösbar sein für alle denkbaren Wertsysteme der
Parameter oder Symbole a, b, …
Oder aber: die Resultante R = 0 ist selbst eine synthetische Glei-
chung, eine Relation.
Ist dieselbe von den gegebenen Symbolen a, b, ‥ nicht erfüllt, in-
dem sich für ihre linke Seite R eben ein gemäss den Voraussetzungen
des Problems von 0 verschieden zu denkender Wert herausstellt (und
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. 1. Leipzig, 1890, S. 471. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/491>, abgerufen am 22.11.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/.
