a0 ; ba0 ; (b + c + ...), a0 ; ca0 ; (b + c + ...), ... was sich zusammenzieht zu: a0 ; b + a0 ; c + ... a0 ; (b + c + ...) -- womit denn die im Theorem behauptete Gleichung als Subsumtion vor- und rückwärts bewiesen ist.
Zu D 62. a0 ; (bc ...) a0 ; b · a0 ; c ... ist: a ; (a0 ; b · a0 ; c ...) a ; (a0 ; b) · a ; (a0 ; c) ... a0 ; b · a0 ; c ..., wo die letzte Subsumtion sich durch überschiebendes Multipliziren der in D 46 enthaltnen Sätze rechtfertigt, der Zwischenschluss aber auch durch Berufung auf D 43 (wonach das Produkt von Ketten eine Kette sein muss) ersetzbar wäre. Andrerseits folgt durch überschiebendes Multipliziren der mit D 45 gegebnen Sätze: ba0 ; b, ca0 ; c, ... dass bc ... a0 ; b · a0 ; c ... sein muss. Dies mit dem vorigen vereinigt gibt: a ; (a0 ; b · a0 ; c ...) + bc ... a0 ; b · a0 ; c ..., woraus die Behauptung unmittelbar nach dem Schema von D 47 fliesst, q. e. d.
Wir sind am Ziele, und wollen uns nun über dieses und den zurückgelegten Weg noch des weitern unterhalten.
Die Art wie die fatale Klippe des Zirkels beim Beweis des Satzes der vollständigen Induktion vorstehend umgangen erscheint, hat un- verkennbar etwas Grossartiges.
Der entfaltete Scharfsinn, die Sorgfalt und der den Erfolg anbahnende geniale Blick dürften um so bewundernswerter sein, als der Urheber dieser Theorie keine Kenntniss oder auch nur Ahnung von der Existenz unsrer aus allgemeinrer Grundlage hervorwachsenden Disziplin besass, die -- bis- lang teils in schwer zugänglichen amerikanischen Schriften, teils in noch schwerer verständlichen, ungenügend erläuterten Noten der jenseitigen Lite- ratur zerstreut -- sehr wohl der Beachtung, die sie eigentlich verdient, diesseits entgehen konnte -- zu geschweigen von De Morgan's Anläufen, denen unbeschadet ihres bahnbrechenden Pionir-Verdienstes kaum ein Ge- brauchswert zukommt.
Gleichwohl erscheint der Wunsch gerechtfertigt: dasselbe Ziel auf minder kunstvolle Weise und auf kürzerm Weg zu erreichen. Vor allem drängt sich die Frage auf, ob es denn unerlässlich ist, die Ketten- theorie mit D 44 auf die Definition eines so zusammengesetzten Re- lativs wie a0 ; b zu gründen? Einfacher scheint es doch, eine Definition von a0 selbst zugrunde zu legen, und diesem gegenüber müsste jenes wol ein Umweg genannt werden.
Wenn es uns in der That alsbald gelingen wird, die Kettentheorie in diesem Sinne recht erheblich zu vereinfachen, so muss ich der Frage
Neunte Vorlesung.
a0 ; b ⋹ a0 ; (b + c + …), a0 ; c ⋹ a0 ; (b + c + …), … was sich zusammenzieht zu: a0 ; b + a0 ; c + … ⋹ a0 ; (b + c + …) — womit denn die im Theorem behauptete Gleichung als Subsumtion vor- und rückwärts bewiesen ist.
Zu D 62. a0 ; (bc …) ⋹ a0 ; b · a0 ; c … ist: a ; (a0 ; b · a0 ; c …) ⋹ a ; (a0 ; b) · a ; (a0 ; c) … ⋹ a0 ; b · a0 ; c …, wo die letzte Subsumtion sich durch überschiebendes Multipliziren der in D 46 enthaltnen Sätze rechtfertigt, der Zwischenschluss aber auch durch Berufung auf D 43 (wonach das Produkt von Ketten eine Kette sein muss) ersetzbar wäre. Andrerseits folgt durch überschiebendes Multipliziren der mit D 45 gegebnen Sätze: b⋹a0 ; b, c ⋹ a0 ; c, … dass bc … ⋹ a0 ; b · a0 ; c … sein muss. Dies mit dem vorigen vereinigt gibt: a ; (a0 ; b · a0 ; c …) + bc … ⋹ a0 ; b · a0 ; c …, woraus die Behauptung unmittelbar nach dem Schema von D 47 fliesst, q. e. d.
Wir sind am Ziele, und wollen uns nun über dieses und den zurückgelegten Weg noch des weitern unterhalten.
Die Art wie die fatale Klippe des Zirkels beim Beweis des Satzes der vollständigen Induktion vorstehend umgangen erscheint, hat un- verkennbar etwas Grossartiges.
Der entfaltete Scharfsinn, die Sorgfalt und der den Erfolg anbahnende geniale Blick dürften um so bewundernswerter sein, als der Urheber dieser Theorie keine Kenntniss oder auch nur Ahnung von der Existenz unsrer aus allgemeinrer Grundlage hervorwachsenden Disziplin besass, die — bis- lang teils in schwer zugänglichen amerikanischen Schriften, teils in noch schwerer verständlichen, ungenügend erläuterten Noten der jenseitigen Lite- ratur zerstreut — sehr wohl der Beachtung, die sie eigentlich verdient, diesseits entgehen konnte — zu geschweigen von De Morgan’s Anläufen, denen unbeschadet ihres bahnbrechenden Pionir-Verdienstes kaum ein Ge- brauchswert zukommt.
Gleichwohl erscheint der Wunsch gerechtfertigt: dasselbe Ziel auf minder kunstvolle Weise und auf kürzerm Weg zu erreichen. Vor allem drängt sich die Frage auf, ob es denn unerlässlich ist, die Ketten- theorie mit D 44 auf die Definition eines so zusammengesetzten Re- lativs wie a0 ; b zu gründen? Einfacher scheint es doch, eine Definition von a0 selbst zugrunde zu legen, und diesem gegenüber müsste jenes wol ein Umweg genannt werden.
Wenn es uns in der That alsbald gelingen wird, die Kettentheorie in diesem Sinne recht erheblich zu vereinfachen, so muss ich der Frage
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0390"n="376"/><fwplace="top"type="header">Neunte Vorlesung.</fw><lb/><hirendition="#c"><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; (<hirendition="#i">b</hi> + <hirendition="#i">c</hi> + …), <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; (<hirendition="#i">b</hi> + <hirendition="#i">c</hi> + …), …</hi><lb/>
was sich zusammenzieht zu:<lb/><hirendition="#c"><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi> + …⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; (<hirendition="#i">b</hi> + <hirendition="#i">c</hi> + …)</hi><lb/>— womit denn die im Theorem behauptete Gleichung als Subsumtion vor-<lb/>
und rückwärts bewiesen ist.</p><lb/><p>Zu <hirendition="#fr">D</hi> 62. <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; (<hirendition="#i">bc</hi>…) ⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> · <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi>… ist:<lb/><hirendition="#c"><hirendition="#i">a</hi> ; (<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> · <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi>…) ⋹<hirendition="#i">a</hi> ; (<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>) · <hirendition="#i">a</hi> ; (<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi>) …⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> · <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi>…,</hi><lb/>
wo die letzte Subsumtion sich durch überschiebendes Multipliziren der in<lb/><hirendition="#fr">D</hi> 46 enthaltnen Sätze rechtfertigt, der Zwischenschluss aber auch durch<lb/>
Berufung auf <hirendition="#fr">D</hi> 43 (wonach das Produkt von Ketten eine Kette sein muss)<lb/>
ersetzbar wäre. Andrerseits folgt durch überschiebendes Multipliziren der<lb/>
mit <hirendition="#fr">D</hi> 45 gegebnen Sätze:<lb/><hirendition="#c"><hirendition="#i">b</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>, <hirendition="#i">c</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi>, … dass <hirendition="#i">bc</hi>…⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> · <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi>…</hi><lb/>
sein muss. Dies mit dem vorigen vereinigt gibt:<lb/><hirendition="#c"><hirendition="#i">a</hi> ; (<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> · <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi>…) + <hirendition="#i">bc</hi>…⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> · <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi>…,</hi><lb/>
woraus die Behauptung unmittelbar nach dem Schema von <hirendition="#fr">D</hi> 47 fliesst,<lb/>
q. e. d.</p><lb/><p>Wir sind <hirendition="#i">am Ziele</hi>, und wollen uns nun über dieses und den<lb/>
zurückgelegten Weg noch des weitern unterhalten.</p><lb/><p>Die Art wie die fatale <hirendition="#i">Klippe</hi> des <hirendition="#i">Zirkels</hi> beim Beweis des Satzes<lb/>
der vollständigen Induktion vorstehend umgangen erscheint, hat un-<lb/>
verkennbar etwas <hirendition="#i">Grossartiges</hi>.</p><lb/><p>Der entfaltete Scharfsinn, die Sorgfalt und der den Erfolg anbahnende<lb/>
geniale Blick dürften um so bewundernswerter sein, als der Urheber dieser<lb/>
Theorie keine Kenntniss oder auch nur Ahnung von der Existenz unsrer<lb/>
aus allgemeinrer Grundlage hervorwachsenden Disziplin besass, die — bis-<lb/>
lang teils in schwer zugänglichen amerikanischen Schriften, teils in noch<lb/>
schwerer verständlichen, ungenügend erläuterten Noten der jenseitigen Lite-<lb/>
ratur zerstreut — sehr wohl der Beachtung, die sie eigentlich verdient,<lb/>
diesseits entgehen konnte — zu geschweigen von <hirendition="#g">De Morgan’</hi>s Anläufen,<lb/>
denen unbeschadet ihres bahnbrechenden Pionir-Verdienstes kaum ein Ge-<lb/>
brauchswert zukommt.</p><lb/><p>Gleichwohl erscheint der Wunsch gerechtfertigt: dasselbe Ziel auf<lb/>
minder kunstvolle Weise und auf kürzerm Weg zu erreichen. Vor<lb/>
allem drängt sich die Frage auf, ob es denn unerlässlich ist, die Ketten-<lb/>
theorie mit <hirendition="#fr">D</hi> 44 auf die Definition eines so zusammengesetzten Re-<lb/>
lativs wie <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> zu gründen? Einfacher scheint es doch, eine Definition<lb/>
von <hirendition="#i">a</hi><hirendition="#sub">0</hi> selbst zugrunde zu legen, und diesem gegenüber müsste jenes<lb/>
wol ein Umweg genannt werden.</p><lb/><p>Wenn es uns in der That alsbald gelingen wird, die Kettentheorie<lb/>
in diesem Sinne recht erheblich zu vereinfachen, so muss ich der Frage<lb/></p></div></div></body></text></TEI>
[376/0390]
Neunte Vorlesung.
a0 ; b ⋹ a0 ; (b + c + …), a0 ; c ⋹ a0 ; (b + c + …), …
was sich zusammenzieht zu:
a0 ; b + a0 ; c + … ⋹ a0 ; (b + c + …)
— womit denn die im Theorem behauptete Gleichung als Subsumtion vor-
und rückwärts bewiesen ist.
Zu D 62. a0 ; (bc …) ⋹ a0 ; b · a0 ; c … ist:
a ; (a0 ; b · a0 ; c …) ⋹ a ; (a0 ; b) · a ; (a0 ; c) … ⋹ a0 ; b · a0 ; c …,
wo die letzte Subsumtion sich durch überschiebendes Multipliziren der in
D 46 enthaltnen Sätze rechtfertigt, der Zwischenschluss aber auch durch
Berufung auf D 43 (wonach das Produkt von Ketten eine Kette sein muss)
ersetzbar wäre. Andrerseits folgt durch überschiebendes Multipliziren der
mit D 45 gegebnen Sätze:
b⋹a0 ; b, c ⋹ a0 ; c, … dass bc … ⋹ a0 ; b · a0 ; c …
sein muss. Dies mit dem vorigen vereinigt gibt:
a ; (a0 ; b · a0 ; c …) + bc … ⋹ a0 ; b · a0 ; c …,
woraus die Behauptung unmittelbar nach dem Schema von D 47 fliesst,
q. e. d.
Wir sind am Ziele, und wollen uns nun über dieses und den
zurückgelegten Weg noch des weitern unterhalten.
Die Art wie die fatale Klippe des Zirkels beim Beweis des Satzes
der vollständigen Induktion vorstehend umgangen erscheint, hat un-
verkennbar etwas Grossartiges.
Der entfaltete Scharfsinn, die Sorgfalt und der den Erfolg anbahnende
geniale Blick dürften um so bewundernswerter sein, als der Urheber dieser
Theorie keine Kenntniss oder auch nur Ahnung von der Existenz unsrer
aus allgemeinrer Grundlage hervorwachsenden Disziplin besass, die — bis-
lang teils in schwer zugänglichen amerikanischen Schriften, teils in noch
schwerer verständlichen, ungenügend erläuterten Noten der jenseitigen Lite-
ratur zerstreut — sehr wohl der Beachtung, die sie eigentlich verdient,
diesseits entgehen konnte — zu geschweigen von De Morgan’s Anläufen,
denen unbeschadet ihres bahnbrechenden Pionir-Verdienstes kaum ein Ge-
brauchswert zukommt.
Gleichwohl erscheint der Wunsch gerechtfertigt: dasselbe Ziel auf
minder kunstvolle Weise und auf kürzerm Weg zu erreichen. Vor
allem drängt sich die Frage auf, ob es denn unerlässlich ist, die Ketten-
theorie mit D 44 auf die Definition eines so zusammengesetzten Re-
lativs wie a0 ; b zu gründen? Einfacher scheint es doch, eine Definition
von a0 selbst zugrunde zu legen, und diesem gegenüber müsste jenes
wol ein Umweg genannt werden.
Wenn es uns in der That alsbald gelingen wird, die Kettentheorie
in diesem Sinne recht erheblich zu vereinfachen, so muss ich der Frage
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. 376. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/390>, abgerufen am 14.05.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/.
