Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

Bild:
<< vorherige Seite
Siebente Vorlesung.

Stellt nämlich x irgend eine Wurzel der Aufgabe vor, für die also
die Voraussetzungen 30) von vornherein zutreffen, und nimmt man u = x,
so bewahrheitet sich die Gleichung 32) wie folgt.

Wegen 30) ist: uc = xc = x und (c ; b)(xn j bn) = 0, also
f(uc) = f(x) = 0 ; b = 0 und F(uc) = F(x) = x
selbst, mithin auch nach § 13, S. 188sq.: Finfinity(uc) = Finfinity(x) = x. Damit
verschwindet das letzte Glied in 32) und läuft diese Gleichung auf die
Identität x = x hinaus, q. e. d.

Ist so die "fragliche" Lösung 32) einerseits in der That ohne Zweifel
vollständig, so ist sie andrerseits -- wie wir demnächst genauer nachweisen
-- doch nicht ausschliesslich, d. h. sie liefert im Allgemeinen nicht un-
bedingt, nicht für jedes u, eine richtige Wurzel. M. a. W. die Formel 32)
ist nicht die gesuchte allgemeine Lösung.

Dieser Umstand ist im Hinblick auf den Gedankengang, der zu der
Formel führte -- bei dem man doch wähnen mochte, sämtliche Anforde-
rungen, die das Problem stellt, erfüllt zu haben! -- sehr überraschend.
Derselbe kann nicht verfehlen, zu lehrreichen Untersuchungen (die ich mir
hiernächst versagen muss) noch Anlass zu geben, und mahnt solche Er-
fahrung jedenfalls in unsrer Disziplin zu grosser Behutsamkeit und Vorsicht.

Die Thatsache dokumentirt sich zunächst darin, dass es auf keine
Weise gelingen will, mit der fraglichen Lösung auch die "Probe 1" zu
machen: zu zeigen, dass der Ausdruck 32) für x gesetzt nun die Forde-
rung x ; b = c ; b bei beliebigem u erfülle. Vielmehr stellt sich bei solchem
Versuche heraus, dass u selbst noch eine Relation erfüllen muss, die un-
endlich viel komplizirter scheint, als es die aufzulösende Gleichung für x
gewesen.

Um durch Exemplifikation zu erhärten, dass die Gleichung 32) Gefahr
läuft, auch "falsche" Wurzeln, d. h. noch andre Werte, als wie Wurzeln
unsres Problems zu liefern, genügt es bereits, dieselbe für b = 0' in An-
spruch zu nehmen.

Zwar für b = 1, 0, 1' zeigt sich leicht, dass f(y) = 0, F(y) = y = Finfinity(y)
wird, die Entwickelung sofort abbricht und in Übereinstimmung mit 23)sqq.
die richtige Lösung liefert -- im ersten Falle, zu x ; 1 = a, allerdings in
der neuen Form: x = a{u + (an + un) j 0}, die man aber als eine von der
23) nur unwesentlich verschiedene mit Rücksicht auf die Resultante a = a ; 1
unschwer auf jene zurückführt.

Dagegen für b = 0' bricht die Entwickelung nicht sofort und im All-
gemeinen nicht ab. Hier muss zuvörderst, soll x ; 0' = a = 1abg0 auf-
lösbar sein, a = (a j 1') ; 0' = 1a000 sein, d. h. a von vornherein der Zeilen-
kategorien b und g entraten. Es wird c = a j 1' = 1an000 und
c ; b · cn ; b = 0a000
im Allgemeinen 0. Nennt man
uc = y, c ; 0' · cn ; 0' = d, d(yn j 1') ; 0' = f(y), F(y) = y + f(y) = z, Finfinity(y) = o,
so ist x = o + (c ; 0')(on j 1') ; 0' zu berechnen.


Siebente Vorlesung.

Stellt nämlich x irgend eine Wurzel der Aufgabe vor, für die also
die Voraussetzungen 30) von vornherein zutreffen, und nimmt man u = x,
so bewahrheitet sich die Gleichung 32) wie folgt.

Wegen 30) ist: uc = xc = x und (c ; b)( ɟ ) = 0, also
f(uc) = f(x) = 0 ; = 0 und F(uc) = F(x) = x
selbst, mithin auch nach § 13, S. 188sq.: F(uc) = F(x) = x. Damit
verschwindet das letzte Glied in 32) und läuft diese Gleichung auf die
Identität x = x hinaus, q. e. d.

Ist so die „fragliche“ Lösung 32) einerseits in der That ohne Zweifel
vollständig, so ist sie andrerseits — wie wir demnächst genauer nachweisen
— doch nicht ausschliesslich, d. h. sie liefert im Allgemeinen nicht un-
bedingt, nicht für jedes u, eine richtige Wurzel. M. a. W. die Formel 32)
ist nicht die gesuchte allgemeine Lösung.

Dieser Umstand ist im Hinblick auf den Gedankengang, der zu der
Formel führte — bei dem man doch wähnen mochte, sämtliche Anforde-
rungen, die das Problem stellt, erfüllt zu haben! — sehr überraschend.
Derselbe kann nicht verfehlen, zu lehrreichen Untersuchungen (die ich mir
hiernächst versagen muss) noch Anlass zu geben, und mahnt solche Er-
fahrung jedenfalls in unsrer Disziplin zu grosser Behutsamkeit und Vorsicht.

Die Thatsache dokumentirt sich zunächst darin, dass es auf keine
Weise gelingen will, mit der fraglichen Lösung auch die „Probe 1“ zu
machen: zu zeigen, dass der Ausdruck 32) für x gesetzt nun die Forde-
rung x ; b = c ; b bei beliebigem u erfülle. Vielmehr stellt sich bei solchem
Versuche heraus, dass u selbst noch eine Relation erfüllen muss, die un-
endlich viel komplizirter scheint, als es die aufzulösende Gleichung für x
gewesen.

Um durch Exemplifikation zu erhärten, dass die Gleichung 32) Gefahr
läuft, auch „falsche“ Wurzeln, d. h. noch andre Werte, als wie Wurzeln
unsres Problems zu liefern, genügt es bereits, dieselbe für b = 0' in An-
spruch zu nehmen.

Zwar für b = 1, 0, 1' zeigt sich leicht, dass f(y) = 0, F(y) = y = F(y)
wird, die Entwickelung sofort abbricht und in Übereinstimmung mit 23)sqq.
die richtige Lösung liefert — im ersten Falle, zu x ; 1 = a, allerdings in
der neuen Form: x = a{u + ( + ) ɟ 0}, die man aber als eine von der
23) nur unwesentlich verschiedene mit Rücksicht auf die Resultante a = a ; 1
unschwer auf jene zurückführt.

Dagegen für b = 0' bricht die Entwickelung nicht sofort und im All-
gemeinen nicht ab. Hier muss zuvörderst, soll x ; 0' = a = 1αβγ0 auf-
lösbar sein, a = (a ɟ 1') ; 0' = 1α000 sein, d. h. a von vornherein der Zeilen-
kategorien β und γ entraten. Es wird c = a ɟ 1' = 1ᾱ000 und
c ; b · ; b = 0α000
im Allgemeinen ≠ 0. Nennt man
uc = y, c ; 0' · ; 0' = d, d( ɟ 1') ; 0' = f(y), F(y) = y + f(y) = z, F(y) = ω,
so ist x = ω + (c ; 0')(ω̄ ɟ 1') ; 0' zu berechnen.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0290" n="276"/>
          <fw place="top" type="header">Siebente Vorlesung.</fw><lb/>
          <p>Stellt nämlich <hi rendition="#i">x</hi> irgend eine Wurzel der Aufgabe vor, für die also<lb/>
die Voraussetzungen 30) von vornherein zutreffen, und nimmt man <hi rendition="#i">u</hi> = <hi rendition="#i">x</hi>,<lb/>
so bewahrheitet sich die Gleichung 32) wie folgt.</p><lb/>
          <p>Wegen 30) ist: <hi rendition="#i">uc</hi> = <hi rendition="#i">xc</hi> = <hi rendition="#i">x</hi> und (<hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi>)(<hi rendition="#i">x&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) = 0, also<lb/><hi rendition="#c"><hi rendition="#i">f</hi>(<hi rendition="#i">uc</hi>) = <hi rendition="#i">f</hi>(<hi rendition="#i">x</hi>) = 0 ; <hi rendition="#i">b&#x0306;</hi> = 0 und <hi rendition="#fr">F</hi>(<hi rendition="#i">uc</hi>) = <hi rendition="#fr">F</hi>(<hi rendition="#i">x</hi>) = <hi rendition="#i">x</hi></hi><lb/>
selbst, mithin auch nach § 13, S. 188sq.: <hi rendition="#fr">F</hi><hi rendition="#sup">&#x221E;</hi>(<hi rendition="#i">uc</hi>) = <hi rendition="#fr">F</hi><hi rendition="#sup">&#x221E;</hi>(<hi rendition="#i">x</hi>) = <hi rendition="#i">x</hi>. Damit<lb/>
verschwindet das letzte Glied in 32) und läuft diese Gleichung auf die<lb/>
Identität <hi rendition="#i">x</hi> = <hi rendition="#i">x</hi> hinaus, q. e. d.</p><lb/>
          <p>Ist so die &#x201E;fragliche&#x201C; Lösung 32) einerseits in der That ohne Zweifel<lb/><hi rendition="#i">vollständig</hi>, so ist sie andrerseits &#x2014; wie wir demnächst genauer nachweisen<lb/>
&#x2014; doch nicht <hi rendition="#i">ausschliesslich</hi>, d. h. sie liefert im Allgemeinen nicht un-<lb/>
bedingt, nicht für jedes <hi rendition="#i">u</hi>, eine richtige Wurzel. M. a. W. die Formel 32)<lb/><hi rendition="#i">ist nicht</hi> die gesuchte allgemeine Lösung.</p><lb/>
          <p>Dieser Umstand ist im Hinblick auf den Gedankengang, der zu der<lb/>
Formel führte &#x2014; bei dem man doch wähnen mochte, <hi rendition="#i">sämtliche</hi> Anforde-<lb/>
rungen, die das Problem stellt, erfüllt zu haben! &#x2014; sehr überraschend.<lb/>
Derselbe kann nicht verfehlen, zu lehrreichen Untersuchungen (die ich mir<lb/>
hiernächst versagen muss) noch Anlass zu geben, und mahnt solche Er-<lb/>
fahrung jedenfalls in unsrer Disziplin zu grosser Behutsamkeit und Vorsicht.</p><lb/>
          <p>Die Thatsache dokumentirt sich zunächst darin, dass es auf keine<lb/>
Weise gelingen will, mit der fraglichen Lösung auch die &#x201E;Probe 1&#x201C; zu<lb/>
machen: zu zeigen, dass der Ausdruck 32) für <hi rendition="#i">x</hi> gesetzt nun die Forde-<lb/>
rung <hi rendition="#i">x</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi> bei beliebigem <hi rendition="#i">u</hi> erfülle. Vielmehr stellt sich bei solchem<lb/>
Versuche heraus, dass <hi rendition="#i">u</hi> selbst noch eine Relation erfüllen muss, die un-<lb/>
endlich viel komplizirter scheint, als es die aufzulösende Gleichung für <hi rendition="#i">x</hi><lb/>
gewesen.</p><lb/>
          <p>Um durch Exemplifikation zu erhärten, dass die Gleichung 32) Gefahr<lb/>
läuft, auch &#x201E;falsche&#x201C; Wurzeln, d. h. noch andre Werte, als wie Wurzeln<lb/>
unsres Problems zu liefern, genügt es bereits, dieselbe für <hi rendition="#i">b</hi> = 0' in An-<lb/>
spruch zu nehmen.</p><lb/>
          <p>Zwar für <hi rendition="#i">b</hi> = 1, 0, 1' zeigt sich leicht, dass <hi rendition="#i">f</hi>(<hi rendition="#i">y</hi>) = 0, <hi rendition="#fr">F</hi>(<hi rendition="#i">y</hi>) = <hi rendition="#i">y</hi> = <hi rendition="#fr">F</hi><hi rendition="#sup">&#x221E;</hi>(<hi rendition="#i">y</hi>)<lb/>
wird, die Entwickelung sofort abbricht und in Übereinstimmung mit 23)sqq.<lb/>
die richtige Lösung liefert &#x2014; im ersten Falle, zu <hi rendition="#i">x</hi> ; 1 = <hi rendition="#i">a</hi>, allerdings in<lb/>
der neuen Form: <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi>{<hi rendition="#i">u</hi> + (<hi rendition="#i">a&#x0304;</hi> + <hi rendition="#i">u&#x0304;</hi>) &#x025F; 0}, die man aber als eine von der<lb/>
23) nur unwesentlich verschiedene mit Rücksicht auf die Resultante <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ; 1<lb/>
unschwer auf jene zurückführt.</p><lb/>
          <p>Dagegen für <hi rendition="#i">b</hi> = 0' bricht die Entwickelung nicht sofort und im All-<lb/>
gemeinen <hi rendition="#i">nicht</hi> ab. Hier muss zuvörderst, soll <hi rendition="#i">x</hi> ; 0' = <hi rendition="#i">a</hi> = 1<hi rendition="#i">&#x03B1;&#x03B2;&#x03B3;</hi>0 auf-<lb/>
lösbar sein, <hi rendition="#i">a</hi> = (<hi rendition="#i">a</hi> &#x025F; 1') ; 0' = 1<hi rendition="#i">&#x03B1;</hi>000 sein, d. h. <hi rendition="#i">a</hi> von vornherein der Zeilen-<lb/>
kategorien <hi rendition="#i">&#x03B2;</hi> und <hi rendition="#i">&#x03B3;</hi> entraten. Es wird <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi> &#x025F; 1' = 1<hi rendition="#i">&#x03B1;&#x0304;</hi>000 und<lb/><hi rendition="#c"><hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi> · <hi rendition="#i">c&#x0304;</hi> ; <hi rendition="#i">b</hi> = 0<hi rendition="#i">&#x03B1;</hi>000</hi><lb/>
im Allgemeinen &#x2260; 0. Nennt man<lb/><hi rendition="#i">uc</hi> = <hi rendition="#i">y</hi>, <hi rendition="#i">c</hi> ; 0' · <hi rendition="#i">c&#x0304;</hi> ; 0' = <hi rendition="#i">d</hi>, <hi rendition="#i">d</hi>(<hi rendition="#i">y&#x0304;</hi> &#x025F; 1') ; 0' = <hi rendition="#i">f</hi>(<hi rendition="#i">y</hi>), <hi rendition="#fr">F</hi>(<hi rendition="#i">y</hi>) = <hi rendition="#i">y</hi> + <hi rendition="#i">f</hi>(<hi rendition="#i">y</hi>) = <hi rendition="#i">z</hi>, <hi rendition="#fr">F</hi><hi rendition="#sup">&#x221E;</hi>(<hi rendition="#i">y</hi>) = <hi rendition="#i">&#x03C9;</hi>,<lb/>
so ist <hi rendition="#i">x</hi> = <hi rendition="#i">&#x03C9;</hi> + (<hi rendition="#i">c</hi> ; 0')(<hi rendition="#i">&#x03C9;&#x0304;</hi> &#x025F; 1') ; 0' zu berechnen.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[276/0290] Siebente Vorlesung. Stellt nämlich x irgend eine Wurzel der Aufgabe vor, für die also die Voraussetzungen 30) von vornherein zutreffen, und nimmt man u = x, so bewahrheitet sich die Gleichung 32) wie folgt. Wegen 30) ist: uc = xc = x und (c ; b)(x̄ ɟ b̄) = 0, also f(uc) = f(x) = 0 ; b̆ = 0 und F(uc) = F(x) = x selbst, mithin auch nach § 13, S. 188sq.: F∞(uc) = F∞(x) = x. Damit verschwindet das letzte Glied in 32) und läuft diese Gleichung auf die Identität x = x hinaus, q. e. d. Ist so die „fragliche“ Lösung 32) einerseits in der That ohne Zweifel vollständig, so ist sie andrerseits — wie wir demnächst genauer nachweisen — doch nicht ausschliesslich, d. h. sie liefert im Allgemeinen nicht un- bedingt, nicht für jedes u, eine richtige Wurzel. M. a. W. die Formel 32) ist nicht die gesuchte allgemeine Lösung. Dieser Umstand ist im Hinblick auf den Gedankengang, der zu der Formel führte — bei dem man doch wähnen mochte, sämtliche Anforde- rungen, die das Problem stellt, erfüllt zu haben! — sehr überraschend. Derselbe kann nicht verfehlen, zu lehrreichen Untersuchungen (die ich mir hiernächst versagen muss) noch Anlass zu geben, und mahnt solche Er- fahrung jedenfalls in unsrer Disziplin zu grosser Behutsamkeit und Vorsicht. Die Thatsache dokumentirt sich zunächst darin, dass es auf keine Weise gelingen will, mit der fraglichen Lösung auch die „Probe 1“ zu machen: zu zeigen, dass der Ausdruck 32) für x gesetzt nun die Forde- rung x ; b = c ; b bei beliebigem u erfülle. Vielmehr stellt sich bei solchem Versuche heraus, dass u selbst noch eine Relation erfüllen muss, die un- endlich viel komplizirter scheint, als es die aufzulösende Gleichung für x gewesen. Um durch Exemplifikation zu erhärten, dass die Gleichung 32) Gefahr läuft, auch „falsche“ Wurzeln, d. h. noch andre Werte, als wie Wurzeln unsres Problems zu liefern, genügt es bereits, dieselbe für b = 0' in An- spruch zu nehmen. Zwar für b = 1, 0, 1' zeigt sich leicht, dass f(y) = 0, F(y) = y = F∞(y) wird, die Entwickelung sofort abbricht und in Übereinstimmung mit 23)sqq. die richtige Lösung liefert — im ersten Falle, zu x ; 1 = a, allerdings in der neuen Form: x = a{u + (ā + ū) ɟ 0}, die man aber als eine von der 23) nur unwesentlich verschiedene mit Rücksicht auf die Resultante a = a ; 1 unschwer auf jene zurückführt. Dagegen für b = 0' bricht die Entwickelung nicht sofort und im All- gemeinen nicht ab. Hier muss zuvörderst, soll x ; 0' = a = 1αβγ0 auf- lösbar sein, a = (a ɟ 1') ; 0' = 1α000 sein, d. h. a von vornherein der Zeilen- kategorien β und γ entraten. Es wird c = a ɟ 1' = 1ᾱ000 und c ; b · c̄ ; b = 0α000 im Allgemeinen ≠ 0. Nennt man uc = y, c ; 0' · c̄ ; 0' = d, d(ȳ ɟ 1') ; 0' = f(y), F(y) = y + f(y) = z, F∞(y) = ω, so ist x = ω + (c ; 0')(ω̄ ɟ 1') ; 0' zu berechnen.

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

URL zu diesem Werk: https://www.deutschestextarchiv.de/schroeder_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/290
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 276. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/290>, abgerufen am 24.11.2024.