Results found: 1

Search results

Search:
in the keywords: teoria aksjomatyczna

Sort By:

Limit search:

Uwagi o arytmetyce Grassmanna

100%

Hanusek J.

Diametros

2015

issue Diametros 45

107-121

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.

Praca Hermanna Grassmanna z roku 1861 była pierwszą próbą aksjomatycznego ujęcia arytmetyki (liczb całkowitych z wyróżnionym podzbiorem liczb dodatnich). Znaczenie historyczne tej pracy jest ogromne, choć sama aksjomatyka okazała się niepełna. Opierając się na interpretacji teorii Grassmanna dokonanej przez HaoWanga [1957], przedstawiam szczegółowe jej omówienie i definiuję klasę modeli tej teorii. Na koniec podaję propozycję modyfikacji aksjomatyki arytmetyki Grassmanna, która polega na dodaniu pewnego zdania elementarnego i usunięciu zdania nieelementarnego. Przedstawiam dowód że po takiej modyfikacji teorii jej jedynym modelem z dokładnością˛ do izomorfizmu jest model standardowy.

Refine search results

1 Diametros

1 2015

1 Hanusek J.

Search results

Uwagi o arytmetyce Grassmanna