Das Schema 1) nach welchem wir befriedigende allgemeine Lösungen für zahlreiche Einzelprobleme konstruiren werden, ist demnach als korrektes Schema der Auflösung allermindestens für jeden endlichen Denkbereich gerechtfertigt -- und damit ist schon viel gewonnen!
Ich erhalte dasselbe jedoch ganz allgemein aufrecht -- auch für die unbegrenzten Denkbereiche, obwohl ich gestehen muss, dass mich Dasjenige was ich an dieser Stelle zur Begründung dafür vorbringen kann, noch nicht vollkommen befriedigt. Wer das Bedenken teilt, braucht den speziellern auf das Schema späterhin gegründeten Problem- lösungen bis auf weiteres blos mit der angegebenen Beschränkung Vertrauen zu schenken.
Doch will ich nicht versäumen, schon hier den Kernpunkt der Frage thunlichst klar zu legen, und zu dem Ende dem Leser die Be- trachtungen des folgenden Kontextes nahe legen.
Es liess sich uinfinity als
[Formel 1]
ur überhaupt nur erklären, falls für jedes Suffix ij ein Zahlwert n angebbar ist oder existirt, derart, dass (ur)i j von r = n an mit wachsendem r konstant bleibt, mithin den Wert (un)i j = 0 oder aber 1 "endgültig" beibehält für jedes r > n.
Darnach ist evident, dass 13)
[Formel 2]
sein muss, indem das oben Gesagte, was bei ur von r = n an zutrifft, bei ur + 1 von r = n - 1 an zutreffen wird und umgekehrt.
Zweifellos gilt darum auch: 14)
[Formel 3]
.
Nach dem Prinzipe, gemäss welchem, wie eingangs gesagt, für einen allfällig existirenden Grenzwert von ur der Name uinfinity eingeführt worden, nach demselben Prinzipe hätten wir nun auch als Namen für den zweiten Ausdruck der vorstehenden Zeile 14) diesen: f{finfinity(u)}, und darnach schiene unser Satz erwiesen. Als Gleichheitsbehauptung zwischen finfinity(u) und finfinity + 1(u) ist dies auch thatsächlich der Fall, wobei das letztre Symbol durch den ersten oder zweiten Ausdruck 14) erklärt zu denken ist. Dagegen ist zu sagen, dass auf letztern Ausdruck jenes Prinzip unsrer Namengebung nicht anwendbar ist, indem es durch Einführung eines Doppelsinnes hier verfäng- lich wird. Nachdem finfinity(u) nämlich als existirend erkannt und erklärt worden, steht auch die Bedeutung von f{finfinity(u)} als die des Wertes von f(x) für x = finfinity(u) schon fest, ist dieser Name bereits vergeben und nicht mehr verfügbar um andrerseits auch den
[Formel 4]
f{fr(u)} ohne weitres damit zu taufen.
Vielmehr würde durch die Identifizirung beider implicite von einem ausdrücklich zu statuirenden und erst zu erweisenden Satze Gebrauch gemacht:
Fünfte Vorlesung.
Das Schema 1) nach welchem wir befriedigende allgemeine Lösungen für zahlreiche Einzelprobleme konstruiren werden, ist demnach als korrektes Schema der Auflösung allermindestens für jeden endlichen Denkbereich gerechtfertigt — und damit ist schon viel gewonnen!
Ich erhalte dasselbe jedoch ganz allgemein aufrecht — auch für die unbegrenzten Denkbereiche, obwohl ich gestehen muss, dass mich Dasjenige was ich an dieser Stelle zur Begründung dafür vorbringen kann, noch nicht vollkommen befriedigt. Wer das Bedenken teilt, braucht den speziellern auf das Schema späterhin gegründeten Problem- lösungen bis auf weiteres blos mit der angegebenen Beschränkung Vertrauen zu schenken.
Doch will ich nicht versäumen, schon hier den Kernpunkt der Frage thunlichst klar zu legen, und zu dem Ende dem Leser die Be- trachtungen des folgenden Kontextes nahe legen.
Es liess sich u∞ als
[Formel 1]
ur überhaupt nur erklären, falls für jedes Suffix ij ein Zahlwert n angebbar ist oder existirt, derart, dass (ur)i j von r = n an mit wachsendem r konstant bleibt, mithin den Wert (un)i j = 0 oder aber 1 „endgültig“ beibehält für jedes r > n.
Darnach ist evident, dass 13)
[Formel 2]
sein muss, indem das oben Gesagte, was bei ur von r = n an zutrifft, bei ur + 1 von r = n - 1 an zutreffen wird und umgekehrt.
Zweifellos gilt darum auch: 14)
[Formel 3]
.
Nach dem Prinzipe, gemäss welchem, wie eingangs gesagt, für einen allfällig existirenden Grenzwert von ur der Name u∞ eingeführt worden, nach demselben Prinzipe hätten wir nun auch als Namen für den zweiten Ausdruck der vorstehenden Zeile 14) diesen: f{f∞(u)}, und darnach schiene unser Satz erwiesen. Als Gleichheitsbehauptung zwischen f∞(u) und f∞ + 1(u) ist dies auch thatsächlich der Fall, wobei das letztre Symbol durch den ersten oder zweiten Ausdruck 14) erklärt zu denken ist. Dagegen ist zu sagen, dass auf letztern Ausdruck jenes Prinzip unsrer Namengebung nicht anwendbar ist, indem es durch Einführung eines Doppelsinnes hier verfäng- lich wird. Nachdem f∞(u) nämlich als existirend erkannt und erklärt worden, steht auch die Bedeutung von f{f∞(u)} als die des Wertes von f(x) für x = f∞(u) schon fest, ist dieser Name bereits vergeben und nicht mehr verfügbar um andrerseits auch den
[Formel 4]
f{fr(u)} ohne weitres damit zu taufen.
Vielmehr würde durch die Identifizirung beider implicite von einem ausdrücklich zu statuirenden und erst zu erweisenden Satze Gebrauch gemacht:
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0204"n="190"/><fwplace="top"type="header">Fünfte Vorlesung.</fw><lb/><p>Das Schema 1) nach welchem wir befriedigende allgemeine Lösungen<lb/>
für zahlreiche Einzelprobleme konstruiren werden, ist demnach als<lb/>
korrektes Schema der Auflösung allermindestens <hirendition="#i">für jeden endlichen<lb/>
Denkbereich</hi> gerechtfertigt — und damit ist schon viel gewonnen!</p><lb/><p>Ich erhalte dasselbe jedoch ganz allgemein aufrecht — auch für<lb/>
die unbegrenzten Denkbereiche, obwohl ich gestehen muss, dass mich<lb/>
Dasjenige was ich an dieser Stelle zur Begründung dafür vorbringen<lb/>
kann, noch nicht vollkommen befriedigt. Wer das Bedenken teilt,<lb/>
braucht den speziellern auf das Schema späterhin gegründeten Problem-<lb/>
lösungen bis auf weiteres blos mit der angegebenen Beschränkung<lb/>
Vertrauen zu schenken.</p><lb/><p>Doch will ich nicht versäumen, schon hier den Kernpunkt der<lb/>
Frage thunlichst klar zu legen, und zu dem Ende dem Leser die Be-<lb/>
trachtungen des folgenden Kontextes nahe legen.</p><lb/><p>Es liess sich <hirendition="#i">u</hi><hirendition="#sub">∞</hi> als <formula/><hirendition="#i">u<hirendition="#sub">r</hi></hi> überhaupt nur erklären, falls <hirendition="#i">für jedes</hi><lb/>
Suffix <hirendition="#i">ij</hi> ein Zahlwert <hirendition="#i">n</hi> angebbar ist oder existirt, derart, dass (<hirendition="#i">u<hirendition="#sub">r</hi></hi>)<hirendition="#i"><hirendition="#sub">i j</hi></hi> von<lb/><hirendition="#i">r</hi> = <hirendition="#i">n</hi> an mit wachsendem <hirendition="#i">r</hi> konstant bleibt, mithin den Wert (<hirendition="#i">u<hirendition="#sub">n</hi></hi>)<hirendition="#i"><hirendition="#sub">i j</hi></hi> = 0<lb/>
oder aber 1 „endgültig“ beibehält für jedes <hirendition="#i">r</hi>><hirendition="#i">n</hi>.</p><lb/><p>Darnach ist evident, dass<lb/>
13) <hirendition="#et"><formula/></hi><lb/>
sein muss, indem das oben Gesagte, was bei <hirendition="#i">u<hirendition="#sub">r</hi></hi> von <hirendition="#i">r</hi> = <hirendition="#i">n</hi> an zutrifft, bei<lb/><hirendition="#i">u</hi><hirendition="#sub"><hirendition="#i">r</hi> + 1</hi> von <hirendition="#i">r</hi> = <hirendition="#i">n</hi> - 1 an zutreffen wird und umgekehrt.</p><lb/><p>Zweifellos gilt darum auch:<lb/>
14) <hirendition="#et"><formula/>.</hi></p><lb/><p>Nach dem Prinzipe, gemäss welchem, wie eingangs gesagt, für einen<lb/>
allfällig existirenden Grenzwert von <hirendition="#i">u<hirendition="#sub">r</hi></hi> der Name <hirendition="#i">u</hi><hirendition="#sub">∞</hi> eingeführt worden,<lb/>
nach demselben Prinzipe hätten wir nun auch als Namen für den zweiten<lb/>
Ausdruck der vorstehenden Zeile 14) diesen: <hirendition="#i">f</hi>{<hirendition="#i">f</hi><hirendition="#sup">∞</hi>(<hirendition="#i">u</hi>)}, und darnach schiene<lb/>
unser Satz erwiesen. Als Gleichheitsbehauptung zwischen <hirendition="#i">f</hi><hirendition="#sup">∞</hi>(<hirendition="#i">u</hi>) und <hirendition="#i">f</hi><hirendition="#sup">∞ + 1</hi>(<hirendition="#i">u</hi>)<lb/>
ist dies auch thatsächlich der Fall, wobei das letztre Symbol durch den<lb/>
ersten oder <hirendition="#i">zweiten</hi> Ausdruck 14) erklärt zu denken ist. Dagegen ist zu<lb/>
sagen, dass auf letztern Ausdruck jenes Prinzip unsrer Namengebung nicht<lb/>
anwendbar ist, indem es durch Einführung eines Doppelsinnes hier verfäng-<lb/>
lich wird. Nachdem <hirendition="#i">f</hi><hirendition="#sup">∞</hi>(<hirendition="#i">u</hi>) nämlich als existirend erkannt und erklärt<lb/>
worden, steht auch die Bedeutung von <hirendition="#i">f</hi>{<hirendition="#i">f</hi><hirendition="#sup">∞</hi>(<hirendition="#i">u</hi>)} als die des Wertes von<lb/><hirendition="#i">f</hi>(<hirendition="#i">x</hi>) für <hirendition="#i">x</hi> = <hirendition="#i">f</hi><hirendition="#sup">∞</hi>(<hirendition="#i">u</hi>) schon fest, ist dieser Name bereits <hirendition="#i">vergeben</hi> und nicht<lb/>
mehr verfügbar um andrerseits auch den <formula/><hirendition="#i">f</hi>{<hirendition="#i">f<hirendition="#sup">r</hi></hi>(<hirendition="#i">u</hi>)} ohne weitres damit<lb/>
zu taufen.</p><lb/><p>Vielmehr würde durch die Identifizirung beider implicite von einem<lb/>
ausdrücklich zu statuirenden und erst zu erweisenden Satze Gebrauch<lb/>
gemacht:<lb/></p></div></div></body></text></TEI>
[190/0204]
Fünfte Vorlesung.
Das Schema 1) nach welchem wir befriedigende allgemeine Lösungen
für zahlreiche Einzelprobleme konstruiren werden, ist demnach als
korrektes Schema der Auflösung allermindestens für jeden endlichen
Denkbereich gerechtfertigt — und damit ist schon viel gewonnen!
Ich erhalte dasselbe jedoch ganz allgemein aufrecht — auch für
die unbegrenzten Denkbereiche, obwohl ich gestehen muss, dass mich
Dasjenige was ich an dieser Stelle zur Begründung dafür vorbringen
kann, noch nicht vollkommen befriedigt. Wer das Bedenken teilt,
braucht den speziellern auf das Schema späterhin gegründeten Problem-
lösungen bis auf weiteres blos mit der angegebenen Beschränkung
Vertrauen zu schenken.
Doch will ich nicht versäumen, schon hier den Kernpunkt der
Frage thunlichst klar zu legen, und zu dem Ende dem Leser die Be-
trachtungen des folgenden Kontextes nahe legen.
Es liess sich u∞ als [FORMEL] ur überhaupt nur erklären, falls für jedes
Suffix ij ein Zahlwert n angebbar ist oder existirt, derart, dass (ur)i j von
r = n an mit wachsendem r konstant bleibt, mithin den Wert (un)i j = 0
oder aber 1 „endgültig“ beibehält für jedes r > n.
Darnach ist evident, dass
13) [FORMEL]
sein muss, indem das oben Gesagte, was bei ur von r = n an zutrifft, bei
ur + 1 von r = n - 1 an zutreffen wird und umgekehrt.
Zweifellos gilt darum auch:
14) [FORMEL].
Nach dem Prinzipe, gemäss welchem, wie eingangs gesagt, für einen
allfällig existirenden Grenzwert von ur der Name u∞ eingeführt worden,
nach demselben Prinzipe hätten wir nun auch als Namen für den zweiten
Ausdruck der vorstehenden Zeile 14) diesen: f{f∞(u)}, und darnach schiene
unser Satz erwiesen. Als Gleichheitsbehauptung zwischen f∞(u) und f∞ + 1(u)
ist dies auch thatsächlich der Fall, wobei das letztre Symbol durch den
ersten oder zweiten Ausdruck 14) erklärt zu denken ist. Dagegen ist zu
sagen, dass auf letztern Ausdruck jenes Prinzip unsrer Namengebung nicht
anwendbar ist, indem es durch Einführung eines Doppelsinnes hier verfäng-
lich wird. Nachdem f∞(u) nämlich als existirend erkannt und erklärt
worden, steht auch die Bedeutung von f{f∞(u)} als die des Wertes von
f(x) für x = f∞(u) schon fest, ist dieser Name bereits vergeben und nicht
mehr verfügbar um andrerseits auch den [FORMEL] f{fr(u)} ohne weitres damit
zu taufen.
Vielmehr würde durch die Identifizirung beider implicite von einem
ausdrücklich zu statuirenden und erst zu erweisenden Satze Gebrauch
gemacht:
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. 190. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/204>, abgerufen am 27.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/.
