Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
§ 19. Zur Heuristik der Inversionsprobleme.

Mit den Annahmen [Formel 1] , [Formel 2] findet man -- nach
leichter Herstellung der Schemata zu elf Zwischenwerten --
[Formel 3]

Abbrechen thut die unendliche Entwickelung in 32) zum mindesten
immer dann, wenn in 31) f(y) = 0 wird, wo wir haben f(y) = y = finfinity(y),
und folglich aus 32) erhalten:
x = uc + (c ; b){(un + cn) j bn} ; b.

Wie, wegen c = a j bn und c ; b = a, Vergleichung mit 18) zeigt, würde
dies erst dann die richtige allgemeine Lösung von x ; b = a (auch für den
Fall des Nichtabbrechens) darstellen, wenn rechts der Faktor c als gemein-
samer Faktor vorträte.

Eine hinreichende Bedingung für das Abbrechen ist das Verschwinden
von d = c ; b · cn ; b.

[Sagt man a ; b für a, um unabhängig beliebige Parameter a, b zu
haben, so wird d = a ; b · (an j bn) ; b ; b, und bringt man die Forderung d = 0
leicht auf die Form:
a ; b ; b ; b a ; b,
welche Subsumtion mit Rücksicht auf 21) des § 18 die Kraft einer Gleichung
besitzt. Sie ist z. B. erfüllt, wenn b ; b = 1', oder aber b ; b = 1', des-
gleichen wenn a = a ; 1 System ist.]

Die vorstehenden Untersuchungen haben uns über die inversen
Operationen der beiden relativ knüpfenden Spezies (d. i. wenn man
will die "relativen Divisionen" und "Subtraktionen") einigermaassen
orientirt, auch in den Charakter unsrer Disziplin manchen Einblick
gewährt.

Als eine Moral derselben, die sich uns noch öfter aufdrängen
wird, ist zu verzeichnen, dass -- im Kontraste zur arithmetischen
Analysis -- mit der Lösung aller Teilaufgaben oder Unterprobleme
einer zusammengesetzten Aufgabe die Lösung der letzteren in unsrer
Disziplin noch keineswegs gewährleistet ist. So wäre es auch sehr
voreilig, zu glauben, dass man nunmehr auch für jede "reine"
Subsumtion oder Gleichung d. h. für jede Aufgabe, in der der Name
der Unbekannten blos einmal figurirt, die allgemeine Wurzel müsse
hinschreiben können (indem man durch von aussen nach innen fort-
schreitende Ablösung aller andern mit x verknüpften Terme diese Un-
bekannte allmälig isolirte).

Sogar das so einfache Auflösungsproblem x ; b = a selbst ist wol
noch nicht genügend erforscht. Eine Menge Fragen drängen sich noch
auf, wie z. B. (dessen "Determination" betreffend) die: wann die Wurzel

§ 19. Zur Heuristik der Inversionsprobleme.

Mit den Annahmen [Formel 1] , [Formel 2] findet man — nach
leichter Herstellung der Schemata zu elf Zwischenwerten —
[Formel 3]

Abbrechen thut die unendliche Entwickelung in 32) zum mindesten
immer dann, wenn in 31) f(y) = 0 wird, wo wir haben f(y) = y = f∞(y),
und folglich aus 32) erhalten:
x = uc + (c ; b){(ū + c̄) ɟ b̄} ; b̆.

Wie, wegen c = a ɟ b̄̆ und c ; b = a, Vergleichung mit 18) zeigt, würde
dies erst dann die richtige allgemeine Lösung von x ; b = a (auch für den
Fall des Nichtabbrechens) darstellen, wenn rechts der Faktor c als gemein-
samer Faktor vorträte.

Eine hinreichende Bedingung für das Abbrechen ist das Verschwinden
von d = c ; b · c̄ ; b.

[Sagt man a ; b für a, um unabhängig beliebige Parameter a, b zu
haben, so wird d = a ; b · (ā ɟ b̄) ; b̆ ; b, und bringt man die Forderung d = 0
leicht auf die Form:
a ; b ; b̆ ; b ⋹ a ; b,
welche Subsumtion mit Rücksicht auf 21) des § 18 die Kraft einer Gleichung
besitzt. Sie ist z. B. erfüllt, wenn b ; b̆ = 1', oder aber b̆ ; b = 1', des-
gleichen wenn a = a ; 1 System ist.]

Die vorstehenden Untersuchungen haben uns über die inversen
Operationen der beiden relativ knüpfenden Spezies (d. i. wenn man
will die „relativen Divisionen“ und „Subtraktionen“) einigermaassen
orientirt, auch in den Charakter unsrer Disziplin manchen Einblick
gewährt.

Als eine Moral derselben, die sich uns noch öfter aufdrängen
wird, ist zu verzeichnen, dass — im Kontraste zur arithmetischen
Analysis — mit der Lösung aller Teilaufgaben oder Unterprobleme
einer zusammengesetzten Aufgabe die Lösung der letzteren in unsrer
Disziplin noch keineswegs gewährleistet ist. So wäre es auch sehr
voreilig, zu glauben, dass man nunmehr auch für jede „reine“
Subsumtion oder Gleichung d. h. für jede Aufgabe, in der der Name
der Unbekannten blos einmal figurirt, die allgemeine Wurzel müsse
hinschreiben können (indem man durch von aussen nach innen fort-
schreitende Ablösung aller andern mit x verknüpften Terme diese Un-
bekannte allmälig isolirte).

Sogar das so einfache Auflösungsproblem x ; b = a selbst ist wol
noch nicht genügend erforscht. Eine Menge Fragen drängen sich noch
auf, wie z. B. (dessen „Determination“ betreffend) die: wann die Wurzel

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0291" n="277"/>
          <fw place="top" type="header">§ 19. Zur Heuristik der Inversionsprobleme.</fw><lb/>
          <p>Mit den Annahmen <formula/>, <formula/> findet man &#x2014; nach<lb/>
leichter Herstellung der Schemata zu elf Zwischenwerten &#x2014;<lb/><hi rendition="#c"><formula/></hi></p>
          <p>Abbrechen thut die unendliche Entwickelung in 32) zum mindesten<lb/>
immer dann, wenn in 31) <hi rendition="#i">f</hi>(<hi rendition="#i">y</hi>) = 0 wird, wo wir haben <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/>
und folglich aus 32) erhalten:<lb/><hi rendition="#c"><hi rendition="#i">x</hi> = <hi rendition="#i">uc</hi> + (<hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi>){(<hi rendition="#i">u&#x0304;</hi> + <hi rendition="#i">c&#x0304;</hi>) &#x025F; <hi rendition="#i">b&#x0304;</hi>} ; <hi rendition="#i">b&#x0306;</hi>.</hi></p><lb/>
          <p>Wie, wegen <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi> und <hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi>, Vergleichung mit 18) zeigt, würde<lb/>
dies erst dann die richtige allgemeine Lösung von <hi rendition="#i">x</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> (auch für den<lb/>
Fall des Nichtabbrechens) darstellen, wenn rechts der Faktor <hi rendition="#i">c</hi> als gemein-<lb/>
samer Faktor vorträte.</p><lb/>
          <p>Eine hinreichende Bedingung für das Abbrechen ist das Verschwinden<lb/>
von <hi rendition="#i">d</hi> = <hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi> · <hi rendition="#i">c&#x0304;</hi> ; <hi rendition="#i">b</hi>.</p><lb/>
          <p>[Sagt man <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> für <hi rendition="#i">a</hi>, um unabhängig beliebige Parameter <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi> zu<lb/>
haben, so wird <hi rendition="#i">d</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> · (<hi rendition="#i">a&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; <hi rendition="#i">b&#x0306;</hi> ; <hi rendition="#i">b</hi>, und bringt man die Forderung <hi rendition="#i">d</hi> = 0<lb/>
leicht auf die Form:<lb/><hi rendition="#c"><hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> ; <hi rendition="#i">b&#x0306;</hi> ; <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>,</hi><lb/>
welche Subsumtion mit Rücksicht auf 21) des § 18 die Kraft einer Gleichung<lb/>
besitzt. Sie ist z. B. erfüllt, wenn <hi rendition="#i">b</hi> ; <hi rendition="#i">b&#x0306;</hi> = 1', oder aber <hi rendition="#i">b&#x0306;</hi> ; <hi rendition="#i">b</hi> = 1', des-<lb/>
gleichen wenn <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ; 1 System ist.]</p><lb/>
          <p>Die vorstehenden Untersuchungen haben uns über die inversen<lb/>
Operationen der beiden relativ knüpfenden Spezies (d. i. wenn man<lb/>
will die &#x201E;relativen Divisionen&#x201C; und &#x201E;Subtraktionen&#x201C;) einigermaassen<lb/>
orientirt, auch in den Charakter unsrer Disziplin manchen Einblick<lb/>
gewährt.</p><lb/>
          <p>Als eine Moral derselben, die sich uns noch öfter aufdrängen<lb/>
wird, ist zu verzeichnen, dass &#x2014; im Kontraste zur arithmetischen<lb/>
Analysis &#x2014; mit der Lösung aller Teilaufgaben oder Unterprobleme<lb/>
einer zusammengesetzten Aufgabe die Lösung der letzteren in unsrer<lb/>
Disziplin noch keineswegs gewährleistet ist. So wäre es auch sehr<lb/>
voreilig, zu glauben, dass man nunmehr auch für jede &#x201E;<hi rendition="#i">reine</hi>&#x201C;<lb/>
Subsumtion oder Gleichung d. h. für jede Aufgabe, in der der Name<lb/>
der Unbekannten blos <hi rendition="#i">ein</hi>mal figurirt, die allgemeine Wurzel müsse<lb/>
hinschreiben können (indem man durch von aussen nach innen fort-<lb/>
schreitende Ablösung aller andern mit <hi rendition="#i">x</hi> verknüpften Terme diese Un-<lb/>
bekannte allmälig isolirte).</p><lb/>
          <p>Sogar das so einfache Auflösungsproblem <hi rendition="#i">x</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> selbst ist wol<lb/>
noch nicht genügend erforscht. Eine Menge Fragen drängen sich noch<lb/>
auf, wie z. B. (dessen &#x201E;Determination&#x201C; betreffend) die: wann die Wurzel<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[277/0291] § 19. Zur Heuristik der Inversionsprobleme. Mit den Annahmen [FORMEL], [FORMEL] findet man — nach leichter Herstellung der Schemata zu elf Zwischenwerten — [FORMEL] Abbrechen thut die unendliche Entwickelung in 32) zum mindesten immer dann, wenn in 31) f(y) = 0 wird, wo wir haben f(y) = y = f∞(y), und folglich aus 32) erhalten: x = uc + (c ; b){(ū + c̄) ɟ b̄} ; b̆. Wie, wegen c = a ɟ b̄̆ und c ; b = a, Vergleichung mit 18) zeigt, würde dies erst dann die richtige allgemeine Lösung von x ; b = a (auch für den Fall des Nichtabbrechens) darstellen, wenn rechts der Faktor c als gemein- samer Faktor vorträte. Eine hinreichende Bedingung für das Abbrechen ist das Verschwinden von d = c ; b · c̄ ; b. [Sagt man a ; b für a, um unabhängig beliebige Parameter a, b zu haben, so wird d = a ; b · (ā ɟ b̄) ; b̆ ; b, und bringt man die Forderung d = 0 leicht auf die Form: a ; b ; b̆ ; b ⋹ a ; b, welche Subsumtion mit Rücksicht auf 21) des § 18 die Kraft einer Gleichung besitzt. Sie ist z. B. erfüllt, wenn b ; b̆ = 1', oder aber b̆ ; b = 1', des- gleichen wenn a = a ; 1 System ist.] Die vorstehenden Untersuchungen haben uns über die inversen Operationen der beiden relativ knüpfenden Spezies (d. i. wenn man will die „relativen Divisionen“ und „Subtraktionen“) einigermaassen orientirt, auch in den Charakter unsrer Disziplin manchen Einblick gewährt. Als eine Moral derselben, die sich uns noch öfter aufdrängen wird, ist zu verzeichnen, dass — im Kontraste zur arithmetischen Analysis — mit der Lösung aller Teilaufgaben oder Unterprobleme einer zusammengesetzten Aufgabe die Lösung der letzteren in unsrer Disziplin noch keineswegs gewährleistet ist. So wäre es auch sehr voreilig, zu glauben, dass man nunmehr auch für jede „reine“ Subsumtion oder Gleichung d. h. für jede Aufgabe, in der der Name der Unbekannten blos einmal figurirt, die allgemeine Wurzel müsse hinschreiben können (indem man durch von aussen nach innen fort- schreitende Ablösung aller andern mit x verknüpften Terme diese Un- bekannte allmälig isolirte). Sogar das so einfache Auflösungsproblem x ; b = a selbst ist wol noch nicht genügend erforscht. Eine Menge Fragen drängen sich noch auf, wie z. B. (dessen „Determination“ betreffend) die: wann die Wurzel

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/291
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 277. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/291>, abgerufen am 24.11.2024.