Substrat zum vorigen Anhang und Material zu dessen Belegen.
deshalb verwiesen werden auf die generellen Schlüsse, durch welche ich (l. c.)8 und an andern Orten das empirische Verfahren vereinfacht oder entbehrlich gemacht habe. --
20) Der Algorithmus A1. Die Gleichung, welche das Assoziations- gesetz ausdrückt: b (a c) = (b a) c ist eine von den 990 Gleichungen U. Aus ihr fliessen noch 15 andere Gleichungen desselben Gebietes, und nur diese. Ich muss dieselben vollständig anführen. Sie lauten: (b : a) : c = b : (a c),
[Formel 1]
,
[Formel 2]
,
[Abbildung]
[Abbildung]
[Abbildung]
wo die Seiten der beiden Dreiecke und des vollständigen Vierecks als Gleichheitszeichen zwischen den an die Ecken gesetzten Ausdrücken interpretirt zu denken sind.
Die Ableitung dieser 15 Gleichungen aus der Prämisse gibt zum Überfluss mein Lehrbuch der Arithmetik und Algebra, I. Band, p. 242 sqq.
Die vorstehenden 16 Gleichungen bilden dasjenige, was auf dem Gebiete U der Algorithmus A1 der (eindeutigen und eindeutig um kehrbaren) assoziativen Operationen zu nennen ist.
Dass wirklich keine andern als diese 16 Gleichungen des Gebietes aus dem ganzen Systeme folgen, kann auf die elementarste Weise nachgewiesen werden durch die folgende Tafel von Funktionswerten
1 = 1 · 1 = 2 · 2 = 3 · 3 = 4 · 4 = 5 · 6 = 6 · 5
2 = 2 · 1 = 1 · 2 = 3 · 6 = 6 · 4 = 4 · 5 = 5 · 3
3 = 3 · 1 = 1 · 3 = 2 · 5 = 5 · 4 = 4 · 6 = 6 · 2
4 = 4 · 1 = 1 · 4 = 2 · 6 = 6 · 3 = 3 · 5 = 5 · 2
5 = 5 · 1 = 1 · 5 = 2 · 3 = 3 · 4 = 4 · 2 = 6 · 6
6 = 6 · 1 = 1 · 6 = 2 · 4 = 4 · 3 = 3 · 2 = 5 · 5
welche auf einem Zahlengebiet von 6 Zahlen, die mit den Ziffern 1 bis 6 bequemlichkeitshalber benannt sind, in Gestalt eines symbolischen Einmaleinses eine vollkommen eindeutige und ebenso umkehrbare Funktion definirt.
Substrat zum vorigen Anhang und Material zu dessen Belegen.
deshalb verwiesen werden auf die generellen Schlüsse, durch welche ich (l. c.)8 und an andern Orten das empirische Verfahren vereinfacht oder entbehrlich gemacht habe. —
20) Der Algorithmus A1. Die Gleichung, welche das Assoziations- gesetz ausdrückt: b (a c) = (b a) c ist eine von den 990 Gleichungen U. Aus ihr fliessen noch 15 andere Gleichungen desselben Gebietes, und nur diese. Ich muss dieselben vollständig anführen. Sie lauten: (b : a) : c = b : (a c),
[Formel 1]
,
[Formel 2]
,
[Abbildung]
[Abbildung]
[Abbildung]
wo die Seiten der beiden Dreiecke und des vollständigen Vierecks als Gleichheitszeichen zwischen den an die Ecken gesetzten Ausdrücken interpretirt zu denken sind.
Die Ableitung dieser 15 Gleichungen aus der Prämisse gibt zum Überfluss mein Lehrbuch der Arithmetik und Algebra, I. Band, p. 242 sqq.
Die vorstehenden 16 Gleichungen bilden dasjenige, was auf dem Gebiete U der Algorithmus A1 der (eindeutigen und eindeutig um kehrbaren) assoziativen Operationen zu nennen ist.
Dass wirklich keine andern als diese 16 Gleichungen des Gebietes aus dem ganzen Systeme folgen, kann auf die elementarste Weise nachgewiesen werden durch die folgende Tafel von Funktionswerten
1 = 1 · 1 = 2 · 2 = 3 · 3 = 4 · 4 = 5 · 6 = 6 · 5
2 = 2 · 1 = 1 · 2 = 3 · 6 = 6 · 4 = 4 · 5 = 5 · 3
3 = 3 · 1 = 1 · 3 = 2 · 5 = 5 · 4 = 4 · 6 = 6 · 2
4 = 4 · 1 = 1 · 4 = 2 · 6 = 6 · 3 = 3 · 5 = 5 · 2
5 = 5 · 1 = 1 · 5 = 2 · 3 = 3 · 4 = 4 · 2 = 6 · 6
6 = 6 · 1 = 1 · 6 = 2 · 4 = 4 · 3 = 3 · 2 = 5 · 5
welche auf einem Zahlengebiet von 6 Zahlen, die mit den Ziffern 1 bis 6 bequemlichkeitshalber benannt sind, in Gestalt eines symbolischen Einmaleinses eine vollkommen eindeutige und ebenso umkehrbare Funktion definirt.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0655"n="635"/><fwplace="top"type="header">Substrat zum vorigen Anhang und Material zu dessen Belegen.</fw><lb/>
deshalb verwiesen werden auf die generellen Schlüsse, durch welche ich<lb/>
(l. c.)<hirendition="#sup">8</hi> und an andern Orten das empirische Verfahren vereinfacht oder<lb/>
entbehrlich gemacht habe. —</p><lb/><p>2<hirendition="#sup">0</hi>) <hirendition="#i">Der Algorithmus A</hi><hirendition="#sub">1</hi>. Die Gleichung, welche das Assoziations-<lb/>
gesetz ausdrückt:<lb/><hirendition="#c"><hirendition="#i">b</hi> (<hirendition="#i">a c</hi>) = (<hirendition="#i">b a</hi>) <hirendition="#i">c</hi></hi><lb/>
ist eine von den 990 Gleichungen <hirendition="#i">U</hi>. Aus ihr fliessen noch 15 andere<lb/>
Gleichungen desselben Gebietes, und nur diese. Ich muss dieselben<lb/>
vollständig anführen. Sie lauten:<lb/><hirendition="#c">(<hirendition="#i">b</hi> : <hirendition="#i">a</hi>) : <hirendition="#i">c</hi> = <hirendition="#i">b</hi> : (<hirendition="#i">a c</hi>), <formula/>, <formula/>,</hi><lb/><figure/><figure/><figure/> wo die Seiten der beiden Dreiecke und des vollständigen Vierecks als<lb/>
Gleichheitszeichen zwischen den an die Ecken gesetzten Ausdrücken<lb/>
interpretirt zu denken sind.</p><lb/><p>Die Ableitung dieser 15 Gleichungen aus der Prämisse gibt zum<lb/>
Überfluss mein Lehrbuch der Arithmetik und Algebra, I. Band, p. 242 sqq.</p><lb/><p>Die vorstehenden 16 Gleichungen bilden dasjenige, was auf dem<lb/>
Gebiete <hirendition="#i">U</hi> der Algorithmus <hirendition="#i">A</hi><hirendition="#sub">1</hi> der (eindeutigen und eindeutig um<lb/>
kehrbaren) <hirendition="#i">assoziativen</hi> Operationen zu nennen ist.</p><lb/><p>Dass wirklich keine andern als diese 16 Gleichungen des Gebietes<lb/>
aus dem ganzen Systeme folgen, kann auf die elementarste Weise<lb/>
nachgewiesen werden durch die folgende Tafel von Funktionswerten</p><lb/><list><item>1 = 1 · 1 = 2 · 2 = 3 · 3 = 4 · 4 = 5 · 6 = 6 · 5</item><lb/><item>2 = 2 · 1 = 1 · 2 = 3 · 6 = 6 · 4 = 4 · 5 = 5 · 3</item><lb/><item>3 = 3 · 1 = 1 · 3 = 2 · 5 = 5 · 4 = 4 · 6 = 6 · 2</item><lb/><item>4 = 4 · 1 = 1 · 4 = 2 · 6 = 6 · 3 = 3 · 5 = 5 · 2</item><lb/><item>5 = 5 · 1 = 1 · 5 = 2 · 3 = 3 · 4 = 4 · 2 = 6 · 6</item><lb/><item>6 = 6 · 1 = 1 · 6 = 2 · 4 = 4 · 3 = 3 · 2 = 5 · 5</item></list><lb/><p>welche auf einem Zahlengebiet von 6 Zahlen, die mit den Ziffern 1<lb/>
bis 6 bequemlichkeitshalber benannt sind, in Gestalt eines symbolischen<lb/>
Einmaleinses eine vollkommen eindeutige und ebenso umkehrbare<lb/>
Funktion definirt.</p><lb/></div></div></body></text></TEI>
[635/0655]
Substrat zum vorigen Anhang und Material zu dessen Belegen.
deshalb verwiesen werden auf die generellen Schlüsse, durch welche ich
(l. c.)8 und an andern Orten das empirische Verfahren vereinfacht oder
entbehrlich gemacht habe. —
20) Der Algorithmus A1. Die Gleichung, welche das Assoziations-
gesetz ausdrückt:
b (a c) = (b a) c
ist eine von den 990 Gleichungen U. Aus ihr fliessen noch 15 andere
Gleichungen desselben Gebietes, und nur diese. Ich muss dieselben
vollständig anführen. Sie lauten:
(b : a) : c = b : (a c), [FORMEL], [FORMEL],
[Abbildung]
[Abbildung]
[Abbildung]
wo die Seiten der beiden Dreiecke und des vollständigen Vierecks als
Gleichheitszeichen zwischen den an die Ecken gesetzten Ausdrücken
interpretirt zu denken sind.
Die Ableitung dieser 15 Gleichungen aus der Prämisse gibt zum
Überfluss mein Lehrbuch der Arithmetik und Algebra, I. Band, p. 242 sqq.
Die vorstehenden 16 Gleichungen bilden dasjenige, was auf dem
Gebiete U der Algorithmus A1 der (eindeutigen und eindeutig um
kehrbaren) assoziativen Operationen zu nennen ist.
Dass wirklich keine andern als diese 16 Gleichungen des Gebietes
aus dem ganzen Systeme folgen, kann auf die elementarste Weise
nachgewiesen werden durch die folgende Tafel von Funktionswerten
1 = 1 · 1 = 2 · 2 = 3 · 3 = 4 · 4 = 5 · 6 = 6 · 5
2 = 2 · 1 = 1 · 2 = 3 · 6 = 6 · 4 = 4 · 5 = 5 · 3
3 = 3 · 1 = 1 · 3 = 2 · 5 = 5 · 4 = 4 · 6 = 6 · 2
4 = 4 · 1 = 1 · 4 = 2 · 6 = 6 · 3 = 3 · 5 = 5 · 2
5 = 5 · 1 = 1 · 5 = 2 · 3 = 3 · 4 = 4 · 2 = 6 · 6
6 = 6 · 1 = 1 · 6 = 2 · 4 = 4 · 3 = 3 · 2 = 5 · 5
welche auf einem Zahlengebiet von 6 Zahlen, die mit den Ziffern 1
bis 6 bequemlichkeitshalber benannt sind, in Gestalt eines symbolischen
Einmaleinses eine vollkommen eindeutige und ebenso umkehrbare
Funktion definirt.
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. 1. Leipzig, 1890, S. 635. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/655>, abgerufen am 24.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/.
