Remarks on Grassmann’s Arithmetic (in Polish)

Jerzy Hanusek

About author

Jerzy Hanusek, PhD
Jagiellonian University
Department of Philosophy
ul. Grodzka 52
Pl-31-044 Kraków

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

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.

Full Text:

PDF (In Polish)


References


  1. H. Judah, M. Goldstern, The Incompleteness Phenomenon. A New Course in Mathematical Logic, AK Peters, Wellesley, MA 1998.
  2. H. Grassmann, Lerhbuch der Arithmetic, 1961.
  3. J. Słupecki, K. Hałkowska, K. Piróg-Rzepecka, Elementy arytmetyki teoretycznej, Wydawnictwo Szkolne i Pedagogiczne, Warszawa 1980.
  4. H. Wang, The Axiomatization of Arithmetic, „The Journal of Symbolic Logic” 22 (2) June 1957.

DOI:

http://dx.doi.org/10.13153/diam.45.2015.799

Article links:

Default URL: http://www.diametros.iphils.uj.edu.pl/index.php/diametros/article/view/799
Polish abstract URL: http://www.diametros.iphils.uj.edu.pl/index.php/diametros/article/view/799/pl
English abstract URL: http://www.diametros.iphils.uj.edu.pl/index.php/diametros/article/view/799/en

Share:






All works are licensed under a Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) License.