Remarks on Grassmann’s Arithmetic (in Polish)

Main Article Content

Jerzy Hanusek

Abstract

Hermann Grassmann’s 1861 work [2] was probably the first attempt at an axiomatic approach to arithmetic (of integers with a distinguished subset of positive ones). The historical significance of this work is enormous, even though the set of axioms has proven to be incomplete. Basing on the interpretation of Grassmann’s theory provided by Hao Wang in [4], I present its detailed discussion, define the class of models of Grassmann’s arithmetic and discuss a certain axiom system for integers, modeled on Grassmann’s theory. At the end I propose to modify the set of axioms of Grassmann’s arithmetic, which consists in adding an elementary sentence and removing a non-elementary one. I prove that after this modification the only model of the theory up to isomorphism is the standard model.

Downloads

Download data is not yet available.

Article Details

How to Cite
Hanusek, Jerzy. 2015. “Remarks on Grassmann’s Arithmetic (in Polish)”. Diametros, no. 45 (September):107-21. https://doi.org/10.13153/diam.45.2015.799.
Section
Other articles
Author Biography

Jerzy Hanusek, Jagiellonian University

Jerzy Hanusek, PhDJagiellonian UniversityDepartment of Philosophyul. Grodzka 52Pl-31-044 Kraków

E-mail: j.hanusek@iphils.uj.edu.pl

Share |

References

Judah, Goldstern [1998] – H. Judah, M. Goldstern, The Incompleteness Phenomenon. A New Course in Mathematical Logic, AK Peters, Wellesley, MA 1998.

Grassmann [1861] – H. Grassmann, Lerhbuch der Arithmetic, 1961.

Słupecki, Hałkowska, Piróg-Rzepecka [1980] – J. Słupecki, K. Hałkowska, K. Piróg-Rzepecka, Elementy arytmetyki teoretycznej, Wydawnictwo Szkolne i Pedagogiczne, Warszawa 1980.

Wang [1957] – H. Wang, The Axiomatization of Arithmetic, „The Journal of Symbolic Logic” 22 (2) June 1957.