Zusammenfassung
Was ist in der Bewegung des Reflektierens über das Verhältnis von primärer Arithmetik und primärer Algebra noch offen? Im achten Kapitel wurde die Übersetzbarkeit der beiden Kalküle ineinander gezeigt, im neunten Kapitel die Vollständigkeit dieser Übersetzbarkeit. Im zehnten Kapitel wird die Aufmerksamkeit auf eine Eigenschaft des algebraischen Kalküls selbst gerichtet, auf die gegenseitige Unabhängigkeit der beiden algebraischen Initialgleichungen. Diese wird in Theorem 18, das als algebraisches Metatheorem bezeichnet werden kann, bewiesen.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
In axiomatisch aufgebauten formalen Systemen der Logik und Mathematik würde das, was hier ‚Initialgleichung‘ genannt wird, ‚Axiom‘ heißen. Und die Funktion der Umformungsregeln des Indikationenkalküls würde dort die elementare Schlussregel des Modus Ponens erfüllen.
Vgl. Notes zum sechsten Kapitel LoF:88f. 3 Huntington 1933:280ff.
Huntington 1933:89. Kauffman zeigt, dass auch die Gleichungen Jl und C2 als Initialgleichungen verwendet werden könnten, vgl. Kauffman 2001b:90.
Vgl. LoF:xiv.
Appendix 4 ist eine Ergänzung in der internationalen Ausgabe von 1997.
Rights and permissions
Copyright information
© 2004 VS Verlag für Sozialwissenschaften/GWV Fachverlage GmbH, Wiesbaden
About this chapter
Cite this chapter
Wille, K. (2004). Independence. In: George Spencer Brown. VS Verlag für Sozialwissenschaften. https://doi.org/10.1007/978-3-322-95679-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-322-95679-8_14
Publisher Name: VS Verlag für Sozialwissenschaften
Print ISBN: 978-3-531-14082-7
Online ISBN: 978-3-322-95679-8
eBook Packages: Springer Book Archive