deshalb auch an0, an11 als astrichnull, astrichkonvers einseins (und nicht als anullstrich, etc.) zu lesen haben.
Nach dem ersten Inversionstheoreme kann nun übrigens von den vier relativen Termen in 3) jeder transponirt werden. Es entstehen dadurch die Formelgespanne -- wofern wir die konjugirten unerwähnt lassen: [Spaltenumbruch]
3a)
an1 j ban j an1 j b
a ; a0 ; ba0 ; b
[Spaltenumbruch]
3b)
aan1 j b j bn ; a0
a0 ; b ; (bn j an1) an
[Spaltenumbruch]
3c)
a0 ; a ; (an1 j b) b
ban1 j an j a0 ; b
[Spaltenumbruch]
3d)
a ; (an1 j b) ; bnan1
a0an j a0 ; b j bn
-- worin, da sie wie 3a) rechts aus a ; a0a0 teilweise auch schon be- kannt sind, ein direktester Beweis der Formeln zu erblicken ist.
Ersetzt man noch in 3c) das a0 ; a durch a ; a0 (wonicht a00) und transponirt abermals (das a), so kommt hinzu: a0 ; (an1 j b) an j b oder an0 ; (a1 j b) a j b | a ; ban1 j a0 ; b und andres mehr.
Nunmehr treten wir noch in etliche freie Forschungen ein. Die Ergebnisse der Untersuchung nach den Prinzipien des Dualismus und der Konjugation zu "Gespannen" zu ergänzen, sei zumeist dem Leser überlassen.
Nachdem mit den Suffixen 0, 00, 1, 11 äusserst konzise Namen her- stellbar gemacht und eingeführt sind für Ausdrücke, die allerdings die Form von unendlichen Entwickelungen aufweisen, als solche jedoch das allereinfachste und durchsichtigste Bildungsgesetz zeigen, wollen wir kürzehalber übereinkommen, von der Lösung einer Aufgabe zu sagen, dass sie sich "in halbgeschlossener Form" (genauer vielleicht, statt semi-, quasi-geschlossen) präsentire, sobald sich ihr Ausdruck mittelst endlicher Menge von Operationen der 6 Spezies und solcher Suffixerteilungen aufbaut. Unsre der Kürze halber als "halbgeschlossen" bezeichnete Formen sind also wesentlich solche, die im Operations- kreis der 6 Spezies zwar als unendliche Entwickelungen sich präsen- tiren, dagegen nach Adjungirung des Begriffs der a-Kette sich als ge- schlossene Formen darstellen.
Wir schreiten zunächst dazu, die letzte Aufgabe zu verallgemeinern.
Augabe 3. Nach x die Subsumtion aufzulösen: 6) a ; x + bx.
Diese spielt ja obendrein in verschiednen der Dedekind'schen Sätze -- D 40, 41, 44, 47, 48 -- eine so hervorragende Rolle, dass schon da- durch die Aufgabe nahe gelegt erscheint. Ihre Lösung kann auf mehreren Wegen erfolgen, die wir sämtlich aus-gehen wollen, sintemal sie zu inter- essanten Ergebnissen führen und ihre Vergleichung methodologisch lehrreich erscheint. Dieselben führen uns zu folgenden vier getrennt zu chiffrirenden
§ 24. Nebenstudien zur Kettentheorie.
deshalb auch ā0, ā̆11 als astrichnull, astrichkonvers einseins (und nicht als anullstrich, etc.) zu lesen haben.
Nach dem ersten Inversionstheoreme kann nun übrigens von den vier relativen Termen in 3) jeder transponirt werden. Es entstehen dadurch die Formelgespanne — wofern wir die konjugirten unerwähnt lassen: [Spaltenumbruch]
3a)
ā̆1 ɟ b ⋹ ā̆ ɟ ā̆1 ɟ b
a ; a0 ; b ⋹ a0 ; b
[Spaltenumbruch]
3b)
a⋹ā̆1 ɟ b ɟ b̄̆ ; a0
a0 ; b ; (b̄̆ ɟ ā̆1) ⋹ ā̆
[Spaltenumbruch]
3c)
a0 ; a ; (ā̆1 ɟ b) ⋹ b
b⋹ā̆1 ɟ ā̆ ɟ a0 ; b
[Spaltenumbruch]
3d)
a ; (ā̆1 ɟ b) ; b̄̆ ⋹ ā̆1
a0⋹ā̆ ɟ a0 ; b ɟ b̄̆
— worin, da sie wie 3a) rechts aus a ; a0 ⋹ a0 teilweise auch schon be- kannt sind, ein direktester Beweis der Formeln zu erblicken ist.
Ersetzt man noch in 3c) das a0 ; a durch a ; a0 (wonicht a00) und transponirt abermals (das a), so kommt hinzu: a0 ; (ā̆1 ɟ b) ⋹ ā̆ ɟ b oder ā̆0 ; (a1 ɟ b) ⋹ a ɟ b | a ; b ⋹ ā̆1 ɟ a0 ; b und andres mehr.
Nunmehr treten wir noch in etliche freie Forschungen ein. Die Ergebnisse der Untersuchung nach den Prinzipien des Dualismus und der Konjugation zu „Gespannen“ zu ergänzen, sei zumeist dem Leser überlassen.
Nachdem mit den Suffixen 0, 00, 1, 11 äusserst konzise Namen her- stellbar gemacht und eingeführt sind für Ausdrücke, die allerdings die Form von unendlichen Entwickelungen aufweisen, als solche jedoch das allereinfachste und durchsichtigste Bildungsgesetz zeigen, wollen wir kürzehalber übereinkommen, von der Lösung einer Aufgabe zu sagen, dass sie sich „in halbgeschlossener Form“ (genauer vielleicht, statt semi-, quasi-geschlossen) präsentire, sobald sich ihr Ausdruck mittelst endlicher Menge von Operationen der 6 Spezies und solcher Suffixerteilungen aufbaut. Unsre der Kürze halber als „halbgeschlossen“ bezeichnete Formen sind also wesentlich solche, die im Operations- kreis der 6 Spezies zwar als unendliche Entwickelungen sich präsen- tiren, dagegen nach Adjungirung des Begriffs der a-Kette sich als ge- schlossene Formen darstellen.
Wir schreiten zunächst dazu, die letzte Aufgabe zu verallgemeinern.
Augabe 3. Nach x die Subsumtion aufzulösen: 6) a ; x + b ⋹ x.
Diese spielt ja obendrein in verschiednen der Dedekind’schen Sätze — D 40, 41, 44, 47, 48 — eine so hervorragende Rolle, dass schon da- durch die Aufgabe nahe gelegt erscheint. Ihre Lösung kann auf mehreren Wegen erfolgen, die wir sämtlich aus-gehen wollen, sintemal sie zu inter- essanten Ergebnissen führen und ihre Vergleichung methodologisch lehrreich erscheint. Dieselben führen uns zu folgenden vier getrennt zu chiffrirenden
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0403"n="389"/><fwplace="top"type="header">§ 24. Nebenstudien zur Kettentheorie.</fw><lb/>
deshalb auch <hirendition="#i">ā</hi><hirendition="#sub">0</hi>, <hirendition="#i">ā̆</hi><hirendition="#sub">11</hi> als <hirendition="#i">a</hi>strichnull, <hirendition="#i">a</hi>strichkonvers einseins (und nicht als<lb/><hirendition="#i">a</hi>nullstrich, etc.) zu lesen haben.</p><lb/><p>Nach dem ersten Inversionstheoreme kann nun übrigens von den vier<lb/>
relativen Termen in 3) <hirendition="#i">jeder</hi> transponirt werden. Es entstehen dadurch<lb/>
die Formelgespanne — wofern wir die konjugirten unerwähnt lassen:<lb/><cb/>
3<hirendition="#sub">a</hi>) <table><lb/><row><cell><hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">b</hi>⋹<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">b</hi></cell><cell><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">b</hi></cell></row><lb/></table><cb/>
3<hirendition="#sub">b</hi>) <table><lb/><row><cell><hirendition="#i">a</hi>⋹<hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">b</hi>ɟ<hirendition="#i">b̄̆</hi> ; <hirendition="#i">a</hi><hirendition="#sub">0</hi></cell><cell><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> ; (<hirendition="#i">b̄̆</hi>ɟ<hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>) ⋹<hirendition="#i">ā̆</hi></cell></row><lb/></table><cb/>
3<hirendition="#sub">c</hi>) <table><lb/><row><cell><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">a</hi> ; (<hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">b</hi>) ⋹<hirendition="#i">b</hi></cell><cell><hirendition="#i">b</hi>⋹<hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi></cell></row><lb/></table><cb/>
3<hirendition="#sub">d</hi>) <table><lb/><row><cell><hirendition="#i">a</hi> ; (<hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">b</hi>) ; <hirendition="#i">b̄̆</hi>⋹<hirendition="#i">ā̆</hi><hirendition="#sub">1</hi></cell><cell><hirendition="#i">a</hi><hirendition="#sub">0</hi>⋹<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>ɟ<hirendition="#i">b̄̆</hi></cell></row><lb/></table>— worin, da sie wie 3<hirendition="#i"><hirendition="#sub">a</hi></hi>) rechts aus <hirendition="#i">a</hi> ; <hirendition="#i">a</hi><hirendition="#sub">0</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> teilweise auch schon be-<lb/>
kannt sind, ein direktester Beweis der Formeln zu erblicken ist.</p><lb/><p>Ersetzt man noch in 3<hirendition="#i"><hirendition="#sub">c</hi></hi>) das <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">a</hi> durch <hirendition="#i">a</hi> ; <hirendition="#i">a</hi><hirendition="#sub">0</hi> (wonicht <hirendition="#i">a</hi><hirendition="#sub">00</hi>) und<lb/>
transponirt abermals (das <hirendition="#i">a</hi>), so kommt hinzu:<lb/><hirendition="#c"><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; (<hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">b</hi>) ⋹<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">b</hi> oder <hirendition="#i">ā̆</hi><hirendition="#sub">0</hi> ; (<hirendition="#i">a</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">b</hi>) ⋹<hirendition="#i">a</hi>ɟ<hirendition="#i">b</hi> | <hirendition="#i">a</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi></hi><lb/>
und andres mehr.</p><lb/><p>Nunmehr treten wir noch in etliche freie Forschungen ein. Die<lb/>
Ergebnisse der Untersuchung nach den Prinzipien des Dualismus und<lb/>
der Konjugation zu „Gespannen“ zu ergänzen, sei zumeist dem Leser<lb/>
überlassen.</p><lb/><p>Nachdem mit den Suffixen 0, 00, 1, 11 äusserst konzise Namen her-<lb/>
stellbar gemacht und eingeführt sind für Ausdrücke, die allerdings die<lb/>
Form von unendlichen Entwickelungen aufweisen, als solche jedoch<lb/>
das allereinfachste und durchsichtigste Bildungsgesetz zeigen, wollen<lb/>
wir kürzehalber übereinkommen, von der Lösung einer Aufgabe zu<lb/>
sagen, dass sie sich „in <hirendition="#i">halb</hi>geschlossener Form“ (genauer vielleicht,<lb/>
statt semi-, <hirendition="#i">quasi</hi>-geschlossen) präsentire, sobald sich ihr Ausdruck<lb/>
mittelst <hirendition="#i">endlicher</hi> Menge von Operationen der 6 Spezies <hirendition="#i">und</hi> solcher<lb/>
Suffixerteilungen aufbaut. Unsre der Kürze halber als „halbgeschlossen“<lb/>
bezeichnete Formen sind also wesentlich solche, die im Operations-<lb/>
kreis der 6 Spezies zwar als unendliche Entwickelungen sich präsen-<lb/>
tiren, dagegen <hirendition="#i">nach Adjungirung des Begriffs der a-Kette</hi> sich als <hirendition="#i">ge-<lb/>
schlossene</hi> Formen darstellen.</p><lb/><p>Wir schreiten zunächst dazu, die letzte Aufgabe zu verallgemeinern.</p><lb/><p><hirendition="#g">Augabe</hi> 3. Nach <hirendition="#i">x</hi> die Subsumtion aufzulösen:<lb/>
6) <hirendition="#et"><hirendition="#i">a</hi> ; <hirendition="#i">x</hi> + <hirendition="#i">b</hi>⋹<hirendition="#i">x</hi>.</hi></p><lb/><p>Diese spielt ja obendrein in verschiednen der <hirendition="#g">Dedekind’</hi>schen Sätze<lb/>—<hirendition="#fr">D</hi> 40, 41, 44, 47, 48 — eine so hervorragende Rolle, dass schon da-<lb/>
durch die Aufgabe nahe gelegt erscheint. Ihre Lösung kann auf mehreren<lb/>
Wegen erfolgen, die wir sämtlich <hirendition="#i">aus</hi>-gehen wollen, sintemal sie zu inter-<lb/>
essanten Ergebnissen führen und ihre Vergleichung methodologisch lehrreich<lb/>
erscheint. Dieselben führen uns zu folgenden vier getrennt zu chiffrirenden</p><lb/></div></div></body></text></TEI>
[389/0403]
§ 24. Nebenstudien zur Kettentheorie.
deshalb auch ā0, ā̆11 als astrichnull, astrichkonvers einseins (und nicht als
anullstrich, etc.) zu lesen haben.
Nach dem ersten Inversionstheoreme kann nun übrigens von den vier
relativen Termen in 3) jeder transponirt werden. Es entstehen dadurch
die Formelgespanne — wofern wir die konjugirten unerwähnt lassen:
3a) ā̆1 ɟ b ⋹ ā̆ ɟ ā̆1 ɟ b a ; a0 ; b ⋹ a0 ; b
3b) a⋹ā̆1 ɟ b ɟ b̄̆ ; a0 a0 ; b ; (b̄̆ ɟ ā̆1) ⋹ ā̆
3c) a0 ; a ; (ā̆1 ɟ b) ⋹ b b⋹ā̆1 ɟ ā̆ ɟ a0 ; b
3d) a ; (ā̆1 ɟ b) ; b̄̆ ⋹ ā̆1 a0⋹ā̆ ɟ a0 ; b ɟ b̄̆
— worin, da sie wie 3a) rechts aus a ; a0 ⋹ a0 teilweise auch schon be-
kannt sind, ein direktester Beweis der Formeln zu erblicken ist.
Ersetzt man noch in 3c) das a0 ; a durch a ; a0 (wonicht a00) und
transponirt abermals (das a), so kommt hinzu:
a0 ; (ā̆1 ɟ b) ⋹ ā̆ ɟ b oder ā̆0 ; (a1 ɟ b) ⋹ a ɟ b | a ; b ⋹ ā̆1 ɟ a0 ; b
und andres mehr.
Nunmehr treten wir noch in etliche freie Forschungen ein. Die
Ergebnisse der Untersuchung nach den Prinzipien des Dualismus und
der Konjugation zu „Gespannen“ zu ergänzen, sei zumeist dem Leser
überlassen.
Nachdem mit den Suffixen 0, 00, 1, 11 äusserst konzise Namen her-
stellbar gemacht und eingeführt sind für Ausdrücke, die allerdings die
Form von unendlichen Entwickelungen aufweisen, als solche jedoch
das allereinfachste und durchsichtigste Bildungsgesetz zeigen, wollen
wir kürzehalber übereinkommen, von der Lösung einer Aufgabe zu
sagen, dass sie sich „in halbgeschlossener Form“ (genauer vielleicht,
statt semi-, quasi-geschlossen) präsentire, sobald sich ihr Ausdruck
mittelst endlicher Menge von Operationen der 6 Spezies und solcher
Suffixerteilungen aufbaut. Unsre der Kürze halber als „halbgeschlossen“
bezeichnete Formen sind also wesentlich solche, die im Operations-
kreis der 6 Spezies zwar als unendliche Entwickelungen sich präsen-
tiren, dagegen nach Adjungirung des Begriffs der a-Kette sich als ge-
schlossene Formen darstellen.
Wir schreiten zunächst dazu, die letzte Aufgabe zu verallgemeinern.
Augabe 3. Nach x die Subsumtion aufzulösen:
6) a ; x + b ⋹ x.
Diese spielt ja obendrein in verschiednen der Dedekind’schen Sätze
— D 40, 41, 44, 47, 48 — eine so hervorragende Rolle, dass schon da-
durch die Aufgabe nahe gelegt erscheint. Ihre Lösung kann auf mehreren
Wegen erfolgen, die wir sämtlich aus-gehen wollen, sintemal sie zu inter-
essanten Ergebnissen führen und ihre Vergleichung methodologisch lehrreich
erscheint. Dieselben führen uns zu folgenden vier getrennt zu chiffrirenden
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. 389. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/403>, abgerufen am 16.06.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/.