lösung nach einheitlichem Schema bewerkstelligen lässt, und will ich darum ein Paar von solchen noch namhaft machen.
§ 13. Fortsetzung. Iterationen. Grenzwerte und Konvergenz. Potenz.
Von ziemlicher Allgemeinheit sind die beiden Klassen von Auf- lösungsproblemen, wo die nach x aufzulösende Proposition sich äqui- valent darstellen lässt in der einen oder andern der beiden Formen: xph(x), ps(x) x.
Es sind die Fälle, wo das Polynom F(x) unsrer Gleichung F(x) 0 den Faktor x, oder xn, aufweist -- dessen Kofaktor, resp. der selber, als- dann negirt auf die andre Seite geworfen werden kann (als Addend zur 0).
Eine "befriedigende" allgemeine Lösung des Problems lässt in diesen beiden Fällen sich immer angeben in Gestalt der unbegrenzt oft iterirten Funktion eines arbiträren Relativs u, nämlich als x = finfinity(u), wo f(u) einen gewissen Ausdruck vorstellt. Und zwar gelten die beiden Theoreme: 1)
[Tabelle]
bedeutet.
Die Erläuterung und Begründung dieser beiden Sätze veranlasst uns noch zu mehrern wichtigen Bemerkungen.
Zuvörderst werden für eine irgendwie gegebene Funktion f(u) (Relativfunktion oder "Funktion" im bisherigen Sinne der Algebra der binären Relative verstanden) die "Iterationen" fr(u) zu definiren sein -- zunächst für alle "Exponenten" r, die (endliche) natürliche Zahlen sind.
Diese Definition hat in der üblichen Weise "durch Induktion" zu erfolgen, indem man nämlich ausmacht, dass: 2)
[Formel 1]
bedeuten solle -- wozu nur zu bemerken ist, dass die als "Exponenten" 0, 1, 2, .. r, r + 1, ... auftretenden Symbole in unsrer Theorie niemals als Relative, sondern immer nur als natürliche Zahlen aufgefasst wer- den müssen.
Nun ist ja allerdings einer der vornehmsten Zwecke unsrer Theorie der: die logische Grundlage der Zahlenlehre zu liefern, sozusagen dem Anzahlbegriffe auf den Grund zu kommen, namentlich auch die sogenannte "Definition durch Induktion" als eine Definition zu rechtfertigen, ihre Wirk-
Fünfte Vorlesung.
lösung nach einheitlichem Schema bewerkstelligen lässt, und will ich darum ein Paar von solchen noch namhaft machen.
§ 13. Fortsetzung. Iterationen. Grenzwerte und Konvergenz. Potenz.
Von ziemlicher Allgemeinheit sind die beiden Klassen von Auf- lösungsproblemen, wo die nach x aufzulösende Proposition sich äqui- valent darstellen lässt in der einen oder andern der beiden Formen: x⋹φ(x), ψ(x) ⋹x.
Es sind die Fälle, wo das Polynom F(x) unsrer Gleichung F(x) ⋹ 0 den Faktor x, oder x̄, aufweist — dessen Kofaktor, resp. der selber, als- dann negirt auf die andre Seite geworfen werden kann (als Addend zur 0).
Eine „befriedigende“ allgemeine Lösung des Problems lässt in diesen beiden Fällen sich immer angeben in Gestalt der unbegrenzt oft iterirten Funktion eines arbiträren Relativs u, nämlich als x = f∞(u), wo f(u) einen gewissen Ausdruck vorstellt. Und zwar gelten die beiden Theoreme: 1)
[Tabelle]
bedeutet.
Die Erläuterung und Begründung dieser beiden Sätze veranlasst uns noch zu mehrern wichtigen Bemerkungen.
Zuvörderst werden für eine irgendwie gegebene Funktion f(u) (Relativfunktion oder „Funktion“ im bisherigen Sinne der Algebra der binären Relative verstanden) die „Iterationen“ fr(u) zu definiren sein — zunächst für alle „Exponenten“ r, die (endliche) natürliche Zahlen sind.
Diese Definition hat in der üblichen Weise „durch Induktion“ zu erfolgen, indem man nämlich ausmacht, dass: 2)
[Formel 1]
bedeuten solle — wozu nur zu bemerken ist, dass die als „Exponenten“ 0, 1, 2, ‥ r, r + 1, … auftretenden Symbole in unsrer Theorie niemals als Relative, sondern immer nur als natürliche Zahlen aufgefasst wer- den müssen.
Nun ist ja allerdings einer der vornehmsten Zwecke unsrer Theorie der: die logische Grundlage der Zahlenlehre zu liefern, sozusagen dem Anzahlbegriffe auf den Grund zu kommen, namentlich auch die sogenannte „Definition durch Induktion“ als eine Definition zu rechtfertigen, ihre Wirk-
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0192"n="178"/><fwplace="top"type="header">Fünfte Vorlesung.</fw><lb/>
lösung nach einheitlichem Schema bewerkstelligen lässt, und will ich darum<lb/>
ein Paar von solchen noch namhaft machen.</p></div><lb/><divn="2"><head>§ 13. <hirendition="#b">Fortsetzung. Iterationen. Grenzwerte und Konvergenz.<lb/>
Potenz.</hi></head><lb/><p>Von ziemlicher Allgemeinheit sind die beiden Klassen von Auf-<lb/>
lösungsproblemen, wo die nach <hirendition="#i">x</hi> aufzulösende Proposition sich äqui-<lb/>
valent darstellen lässt in der einen oder andern der beiden Formen:<lb/><hirendition="#c"><hirendition="#i">x</hi>⋹<hirendition="#i">φ</hi>(<hirendition="#i">x</hi>), <hirendition="#i">ψ</hi>(<hirendition="#i">x</hi>) ⋹<hirendition="#i">x</hi>.</hi></p><lb/><p>Es sind die Fälle, wo das Polynom <hirendition="#i">F</hi>(<hirendition="#i">x</hi>) unsrer Gleichung <hirendition="#i">F</hi>(<hirendition="#i">x</hi>) ⋹ 0<lb/>
den Faktor <hirendition="#i">x</hi>, oder <hirendition="#i">x̄</hi>, aufweist — dessen Kofaktor, resp. der selber, als-<lb/>
dann negirt auf die andre Seite geworfen werden kann (als Addend zur 0).</p><lb/><p>Eine „befriedigende“ allgemeine Lösung des Problems lässt in<lb/>
diesen beiden Fällen sich immer angeben in Gestalt der <hirendition="#i">unbegrenzt oft<lb/>
iterirten Funktion</hi> eines arbiträren Relativs <hirendition="#i">u</hi>, nämlich als <hirendition="#i">x</hi> = <hirendition="#i">f</hi><hirendition="#sup">∞</hi>(<hirendition="#i">u</hi>),<lb/>
wo <hirendition="#i">f</hi>(<hirendition="#i">u</hi>) einen gewissen Ausdruck vorstellt. Und zwar gelten die beiden<lb/>
Theoreme:<lb/>
1) <table><row><cell/></row></table><lb/>
bedeutet.</p><lb/><p>Die Erläuterung und Begründung dieser beiden Sätze veranlasst<lb/>
uns noch zu mehrern wichtigen Bemerkungen.</p><lb/><p>Zuvörderst werden für eine irgendwie gegebene Funktion <hirendition="#i">f</hi>(<hirendition="#i">u</hi>)<lb/>
(<hirendition="#i">Relativfunktion</hi> oder „Funktion“ im bisherigen Sinne der Algebra der<lb/>
binären Relative verstanden) die „<hirendition="#i">Iterationen</hi>“<hirendition="#i">f<hirendition="#sup">r</hi></hi>(<hirendition="#i">u</hi>) zu definiren sein —<lb/>
zunächst für alle „Exponenten“<hirendition="#i">r</hi>, die (endliche) natürliche Zahlen sind.</p><lb/><p>Diese <hirendition="#g">Definition</hi> hat in der üblichen Weise „durch Induktion“<lb/>
zu erfolgen, indem man nämlich ausmacht, dass:<lb/>
2) <formula/><lb/>
bedeuten solle — wozu nur zu bemerken ist, dass die als „<hirendition="#i">Exponenten</hi>“<lb/>
0, 1, 2, ‥<hirendition="#i">r</hi>, <hirendition="#i">r</hi> + 1, … auftretenden Symbole in unsrer Theorie niemals<lb/>
als Relative, sondern immer nur als <hirendition="#i">natürliche Zahlen</hi> aufgefasst wer-<lb/>
den müssen.</p><lb/><p>Nun ist ja allerdings einer der vornehmsten Zwecke unsrer Theorie<lb/>
der: die logische Grundlage der Zahlenlehre zu liefern, sozusagen dem<lb/>
Anzahlbegriffe auf den Grund zu kommen, namentlich auch die sogenannte<lb/>„Definition durch Induktion“ als eine Definition zu rechtfertigen, ihre Wirk-<lb/></p></div></div></body></text></TEI>
[178/0192]
Fünfte Vorlesung.
lösung nach einheitlichem Schema bewerkstelligen lässt, und will ich darum
ein Paar von solchen noch namhaft machen.
§ 13. Fortsetzung. Iterationen. Grenzwerte und Konvergenz.
Potenz.
Von ziemlicher Allgemeinheit sind die beiden Klassen von Auf-
lösungsproblemen, wo die nach x aufzulösende Proposition sich äqui-
valent darstellen lässt in der einen oder andern der beiden Formen:
x⋹φ(x), ψ(x) ⋹x.
Es sind die Fälle, wo das Polynom F(x) unsrer Gleichung F(x) ⋹ 0
den Faktor x, oder x̄, aufweist — dessen Kofaktor, resp. der selber, als-
dann negirt auf die andre Seite geworfen werden kann (als Addend zur 0).
Eine „befriedigende“ allgemeine Lösung des Problems lässt in
diesen beiden Fällen sich immer angeben in Gestalt der unbegrenzt oft
iterirten Funktion eines arbiträren Relativs u, nämlich als x = f∞(u),
wo f(u) einen gewissen Ausdruck vorstellt. Und zwar gelten die beiden
Theoreme:
1)
bedeutet.
Die Erläuterung und Begründung dieser beiden Sätze veranlasst
uns noch zu mehrern wichtigen Bemerkungen.
Zuvörderst werden für eine irgendwie gegebene Funktion f(u)
(Relativfunktion oder „Funktion“ im bisherigen Sinne der Algebra der
binären Relative verstanden) die „Iterationen“ fr(u) zu definiren sein —
zunächst für alle „Exponenten“ r, die (endliche) natürliche Zahlen sind.
Diese Definition hat in der üblichen Weise „durch Induktion“
zu erfolgen, indem man nämlich ausmacht, dass:
2) [FORMEL]
bedeuten solle — wozu nur zu bemerken ist, dass die als „Exponenten“
0, 1, 2, ‥ r, r + 1, … auftretenden Symbole in unsrer Theorie niemals
als Relative, sondern immer nur als natürliche Zahlen aufgefasst wer-
den müssen.
Nun ist ja allerdings einer der vornehmsten Zwecke unsrer Theorie
der: die logische Grundlage der Zahlenlehre zu liefern, sozusagen dem
Anzahlbegriffe auf den Grund zu kommen, namentlich auch die sogenannte
„Definition durch Induktion“ als eine Definition zu rechtfertigen, ihre Wirk-
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. 178. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/192>, abgerufen am 23.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/.
