Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

§ 13. Iteration von Funktionen.
samkeit als eine das zu definirende Objekt wirklich bestimmende darzuthun,
desgleichen den Schluss der vollständigen Induktion als einen berechtigten
zu beweisen, und dergleichen mehr. Beim unmittelbaren Verfolgen dieser
Ziele werden wir darum von alledem nichts voraussetzen dürfen und dessen
auch in den besondern Abschnitten unsres Buches, die genannten Zielen
gewidmet sind, eingedenk sein.

Dies hindert aber nicht, dass wir einstweilen, in andern von jenen
Zielen entlegenen Kapiteln desselben -- wenn man will: etwas vorgrei-
fend
-- ganz ungenirt vom Zahlbegriffe sowol, als von den genannten
induktorischen Definitions- und Schlussarten Gebrauch machen -- in glei-
cher Weise, wie es auch in den vorhergehenden Bänden schon öfters ge-
legentlich geschah und auch sonst in der ganzen mathematischen und
wissenschaftlichen Welt längst üblich ist. Um so mehr werden wir so
zuwerke gehn dürfen, als ja die Berechtigung dazu gerade in unserm
Buche geeigneten Ortes sich nachgewiesen findet in einer Weise, genügend
den strengsten Anforderungen, die vom logischen Standpunkte aus zu
stellen.

Freilich dokumentirt sich in solchem Vorgreifen eine gewisse Unvoll-
kommenheit unsres Lehrgangs, der das Euklid'sche Ideal eines absolut
streng stufenmässigen Aufbaues noch nicht verwirklicht -- wie es klassisch
z. B. Herrn Dedekind's Schrift in ihrer Art thut.

Allein die eigentümliche -- ich möchte sagen: harte -- Schönheit
solchen streng stufenmässigen Aufbaues wird bekanntlich auch durch ge-
wisse Nachteile erkauft die namentlich auf dem didaktischen oder pädago-
gischen Felde zutage treten; sie scheint nur auf Kosten der Übersicht des
Ganzen und des gebührenden Hervortretens von allgemeineren Gesichts-
punkten
zu verwirklichen. Ich glaube demnach einen gewissen Mittelweg
einhalten zu sollen, und mir einen Leser vorstellen zu dürfen, der einiger-
massen eklektisch, mit Auswahl (und gelegentlichem Überschlagen), zu
lesen versteht (um auf Einzelnes später wieder zurückzukommen), einen
Leser, der es auch über sich vermag, bei Untersuchungen die zu gewissen
fundamentalen Erkenntnisszwecken geführt werden, wieder einige Stufen
herabzusteigen und von dem vielleicht anderwärts schon gewonnenen Er-
kenntnisskapital zeitweilig ein Bestimmtes ungenutzt zu lassen, ja zu
ignoriren.

Und so wollen wir denn hier "kurzen Prozess machen", und die Itera-
tionen der Funktion f(u) für alle Iterationsexponenten anerkennen als
"definirt" durch die "Rekursion" in 2), welche Sinn und Bedeutung von
fr + 1(u) festlegt, sobald dieselben für fr(u) feststehn -- nachdem mit 2)
auch f1(u), als f(u), oder wenn man will schon f0(u), als u, seine Er-
klärung gefunden hat.

Desgleichen wollen wir hier -- worauf an anderm Orte ebenfalls zu-
rückzukommen sein wird -- als evidentermaassen aus der Definition folgend
die Sätze gelten lassen:
3) fr + 1(u) = fr{f(u)}
sowie überhaupt:
4) fm{fn(u)} = fm + n(u) = fn{fm(u)}

12*

§ 13. Iteration von Funktionen.
samkeit als eine das zu definirende Objekt wirklich bestimmende darzuthun,
desgleichen den Schluss der vollständigen Induktion als einen berechtigten
zu beweisen, und dergleichen mehr. Beim unmittelbaren Verfolgen dieser
Ziele werden wir darum von alledem nichts voraussetzen dürfen und dessen
auch in den besondern Abschnitten unsres Buches, die genannten Zielen
gewidmet sind, eingedenk sein.

Dies hindert aber nicht, dass wir einstweilen, in andern von jenen
Zielen entlegenen Kapiteln desselben — wenn man will: etwas vorgrei-
fend
— ganz ungenirt vom Zahlbegriffe sowol, als von den genannten
induktorischen Definitions- und Schlussarten Gebrauch machen — in glei-
cher Weise, wie es auch in den vorhergehenden Bänden schon öfters ge-
legentlich geschah und auch sonst in der ganzen mathematischen und
wissenschaftlichen Welt längst üblich ist. Um so mehr werden wir so
zuwerke gehn dürfen, als ja die Berechtigung dazu gerade in unserm
Buche geeigneten Ortes sich nachgewiesen findet in einer Weise, genügend
den strengsten Anforderungen, die vom logischen Standpunkte aus zu
stellen.

Freilich dokumentirt sich in solchem Vorgreifen eine gewisse Unvoll-
kommenheit unsres Lehrgangs, der das Euklid’sche Ideal eines absolut
streng stufenmässigen Aufbaues noch nicht verwirklicht — wie es klassisch
z. B. Herrn Dedekind’s Schrift in ihrer Art thut.

Allein die eigentümliche — ich möchte sagen: harte — Schönheit
solchen streng stufenmässigen Aufbaues wird bekanntlich auch durch ge-
wisse Nachteile erkauft die namentlich auf dem didaktischen oder pädago-
gischen Felde zutage treten; sie scheint nur auf Kosten der Übersicht des
Ganzen und des gebührenden Hervortretens von allgemeineren Gesichts-
punkten
zu verwirklichen. Ich glaube demnach einen gewissen Mittelweg
einhalten zu sollen, und mir einen Leser vorstellen zu dürfen, der einiger-
massen eklektisch, mit Auswahl (und gelegentlichem Überschlagen), zu
lesen versteht (um auf Einzelnes später wieder zurückzukommen), einen
Leser, der es auch über sich vermag, bei Untersuchungen die zu gewissen
fundamentalen Erkenntnisszwecken geführt werden, wieder einige Stufen
herabzusteigen und von dem vielleicht anderwärts schon gewonnenen Er-
kenntnisskapital zeitweilig ein Bestimmtes ungenutzt zu lassen, ja zu
ignoriren.

Und so wollen wir denn hier „kurzen Prozess machen“, und die Itera-
tionen der Funktion f(u) für alle Iterationsexponenten anerkennen als
„definirt“ durch die „Rekursion“ in 2), welche Sinn und Bedeutung von
fr + 1(u) festlegt, sobald dieselben für fr(u) feststehn — nachdem mit 2)
auch f1(u), als f(u), oder wenn man will schon f0(u), als u, seine Er-
klärung gefunden hat.

Desgleichen wollen wir hier — worauf an anderm Orte ebenfalls zu-
rückzukommen sein wird — als evidentermaassen aus der Definition folgend
die Sätze gelten lassen:
3) fr + 1(u) = fr{f(u)}
sowie überhaupt:
4) fm{fn(u)} = fm + n(u) = fn{fm(u)}

12*
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0193" n="179"/><fw place="top" type="header">§ 13. Iteration von Funktionen.</fw><lb/>
samkeit als eine das zu definirende Objekt wirklich bestimmende darzuthun,<lb/>
desgleichen den Schluss der vollständigen Induktion als einen berechtigten<lb/>
zu beweisen, und dergleichen mehr. Beim unmittelbaren Verfolgen dieser<lb/>
Ziele werden wir darum von alledem nichts voraussetzen dürfen und dessen<lb/>
auch in den besondern Abschnitten unsres Buches, die genannten Zielen<lb/>
gewidmet sind, eingedenk sein.</p><lb/>
          <p>Dies hindert aber nicht, dass wir <hi rendition="#i">einstweilen</hi>, in andern von jenen<lb/>
Zielen entlegenen Kapiteln desselben &#x2014; wenn man will: etwas <hi rendition="#i">vorgrei-<lb/>
fend</hi> &#x2014; ganz ungenirt vom Zahlbegriffe sowol, als von den genannten<lb/>
induktorischen Definitions- und Schlussarten Gebrauch machen &#x2014; in glei-<lb/>
cher Weise, wie es auch in den vorhergehenden Bänden schon öfters ge-<lb/>
legentlich geschah und auch sonst in der ganzen mathematischen und<lb/>
wissenschaftlichen Welt längst üblich ist. Um so mehr werden <hi rendition="#i">wir</hi> so<lb/>
zuwerke gehn dürfen, als ja die Berechtigung dazu gerade in unserm<lb/>
Buche geeigneten Ortes sich nachgewiesen findet in einer Weise, genügend<lb/>
den strengsten Anforderungen, die vom logischen Standpunkte aus zu<lb/>
stellen.</p><lb/>
          <p>Freilich dokumentirt sich in solchem Vorgreifen eine gewisse Unvoll-<lb/>
kommenheit unsres Lehrgangs, der das <hi rendition="#g">Euklid&#x2019;</hi>sche Ideal eines absolut<lb/>
streng stufenmässigen Aufbaues noch nicht verwirklicht &#x2014; wie es klassisch<lb/>
z. B. Herrn <hi rendition="#g">Dedekind&#x2019;</hi>s Schrift in ihrer Art thut.</p><lb/>
          <p>Allein die eigentümliche &#x2014; ich möchte sagen: <hi rendition="#i">harte</hi> &#x2014; Schönheit<lb/>
solchen streng stufenmässigen Aufbaues wird bekanntlich auch durch ge-<lb/>
wisse Nachteile erkauft die namentlich auf dem didaktischen oder pädago-<lb/>
gischen Felde zutage treten; sie scheint nur auf Kosten der <hi rendition="#i">Übersicht</hi> des<lb/>
Ganzen und des gebührenden Hervortretens von <hi rendition="#i">allgemeineren Gesichts-<lb/>
punkten</hi> zu verwirklichen. Ich glaube demnach einen gewissen Mittelweg<lb/>
einhalten zu sollen, und mir einen Leser vorstellen zu dürfen, der einiger-<lb/>
massen eklektisch, <hi rendition="#i">mit Auswahl</hi> (und gelegentlichem Überschlagen), zu<lb/>
lesen versteht (um auf Einzelnes später wieder zurückzukommen), einen<lb/>
Leser, der es auch über sich vermag, bei Untersuchungen die zu gewissen<lb/>
fundamentalen Erkenntnisszwecken geführt werden, wieder einige Stufen<lb/><hi rendition="#i">herab</hi>zusteigen und von dem vielleicht anderwärts schon gewonnenen Er-<lb/>
kenntnisskapital zeitweilig ein Bestimmtes ungenutzt zu lassen, ja zu<lb/>
ignoriren.</p><lb/>
          <p>Und so wollen wir denn <hi rendition="#i">hier</hi> &#x201E;kurzen Prozess machen&#x201C;, und die Itera-<lb/>
tionen der Funktion <hi rendition="#i">f</hi>(<hi rendition="#i">u</hi>) <hi rendition="#i">für alle</hi> Iterationsexponenten anerkennen als<lb/>
&#x201E;definirt&#x201C; durch die &#x201E;Rekursion&#x201C; in 2), welche Sinn und Bedeutung von<lb/><hi rendition="#i">f</hi><hi rendition="#sup"><hi rendition="#i">r</hi> + 1</hi>(<hi rendition="#i">u</hi>) festlegt, sobald dieselben für <hi rendition="#i">f<hi rendition="#sup">r</hi></hi>(<hi rendition="#i">u</hi>) feststehn &#x2014; nachdem mit 2)<lb/>
auch <hi rendition="#i">f</hi><hi rendition="#sup">1</hi>(<hi rendition="#i">u</hi>), als <hi rendition="#i">f</hi>(<hi rendition="#i">u</hi>), oder wenn man will schon <hi rendition="#i">f</hi><hi rendition="#sup">0</hi>(<hi rendition="#i">u</hi>), als <hi rendition="#i">u</hi>, seine Er-<lb/>
klärung gefunden hat.</p><lb/>
          <p>Desgleichen wollen wir hier &#x2014; worauf an anderm Orte ebenfalls zu-<lb/>
rückzukommen sein wird &#x2014; als evidentermaassen aus der Definition folgend<lb/>
die Sätze gelten lassen:<lb/>
3) <hi rendition="#et"><hi rendition="#i">f</hi><hi rendition="#sup"><hi rendition="#i">r</hi> + 1</hi>(<hi rendition="#i">u</hi>) = <hi rendition="#i">f<hi rendition="#sup">r</hi></hi>{<hi rendition="#i">f</hi>(<hi rendition="#i">u</hi>)}</hi><lb/>
sowie überhaupt:<lb/>
4) <hi rendition="#et"><hi rendition="#i">f<hi rendition="#sup">m</hi></hi>{<hi rendition="#i">f<hi rendition="#sup">n</hi></hi>(<hi rendition="#i">u</hi>)} = <hi rendition="#i">f</hi><hi rendition="#sup"><hi rendition="#i">m</hi> + <hi rendition="#i">n</hi></hi>(<hi rendition="#i">u</hi>) = <hi rendition="#i">f<hi rendition="#sup">n</hi></hi>{<hi rendition="#i">f<hi rendition="#sup">m</hi></hi>(<hi rendition="#i">u</hi>)}</hi><lb/>
<fw place="bottom" type="sig">12*</fw><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[179/0193] § 13. Iteration von Funktionen. samkeit als eine das zu definirende Objekt wirklich bestimmende darzuthun, desgleichen den Schluss der vollständigen Induktion als einen berechtigten zu beweisen, und dergleichen mehr. Beim unmittelbaren Verfolgen dieser Ziele werden wir darum von alledem nichts voraussetzen dürfen und dessen auch in den besondern Abschnitten unsres Buches, die genannten Zielen gewidmet sind, eingedenk sein. Dies hindert aber nicht, dass wir einstweilen, in andern von jenen Zielen entlegenen Kapiteln desselben — wenn man will: etwas vorgrei- fend — ganz ungenirt vom Zahlbegriffe sowol, als von den genannten induktorischen Definitions- und Schlussarten Gebrauch machen — in glei- cher Weise, wie es auch in den vorhergehenden Bänden schon öfters ge- legentlich geschah und auch sonst in der ganzen mathematischen und wissenschaftlichen Welt längst üblich ist. Um so mehr werden wir so zuwerke gehn dürfen, als ja die Berechtigung dazu gerade in unserm Buche geeigneten Ortes sich nachgewiesen findet in einer Weise, genügend den strengsten Anforderungen, die vom logischen Standpunkte aus zu stellen. Freilich dokumentirt sich in solchem Vorgreifen eine gewisse Unvoll- kommenheit unsres Lehrgangs, der das Euklid’sche Ideal eines absolut streng stufenmässigen Aufbaues noch nicht verwirklicht — wie es klassisch z. B. Herrn Dedekind’s Schrift in ihrer Art thut. Allein die eigentümliche — ich möchte sagen: harte — Schönheit solchen streng stufenmässigen Aufbaues wird bekanntlich auch durch ge- wisse Nachteile erkauft die namentlich auf dem didaktischen oder pädago- gischen Felde zutage treten; sie scheint nur auf Kosten der Übersicht des Ganzen und des gebührenden Hervortretens von allgemeineren Gesichts- punkten zu verwirklichen. Ich glaube demnach einen gewissen Mittelweg einhalten zu sollen, und mir einen Leser vorstellen zu dürfen, der einiger- massen eklektisch, mit Auswahl (und gelegentlichem Überschlagen), zu lesen versteht (um auf Einzelnes später wieder zurückzukommen), einen Leser, der es auch über sich vermag, bei Untersuchungen die zu gewissen fundamentalen Erkenntnisszwecken geführt werden, wieder einige Stufen herabzusteigen und von dem vielleicht anderwärts schon gewonnenen Er- kenntnisskapital zeitweilig ein Bestimmtes ungenutzt zu lassen, ja zu ignoriren. Und so wollen wir denn hier „kurzen Prozess machen“, und die Itera- tionen der Funktion f(u) für alle Iterationsexponenten anerkennen als „definirt“ durch die „Rekursion“ in 2), welche Sinn und Bedeutung von fr + 1(u) festlegt, sobald dieselben für fr(u) feststehn — nachdem mit 2) auch f1(u), als f(u), oder wenn man will schon f0(u), als u, seine Er- klärung gefunden hat. Desgleichen wollen wir hier — worauf an anderm Orte ebenfalls zu- rückzukommen sein wird — als evidentermaassen aus der Definition folgend die Sätze gelten lassen: 3) fr + 1(u) = fr{f(u)} sowie überhaupt: 4) fm{fn(u)} = fm + n(u) = fn{fm(u)} 12*

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
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/193
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 179. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/193>, abgerufen am 28.03.2024.