pcg.skipToMenu
Except where otherwise noted, this item's license is described as Udzielam licencji. Uznanie autorstwa - Użycie niekomercyjne 4.0 Międzynarodowa
Uwagi o arytmetyce Grassmanna
Bibliographic description
| title: | Uwagi o arytmetyce Grassmanna |
| alternative title: |
Remarks on Grassmann's arithmetic |
| author: | Hanusek Jerzy 
|
| journal title: | Diametros |
| issue: | 45 |
| date of publication : | 2015 |
| pages: | 107-121 |
| eISSN: |
1733-5566 |
| DOI: | |
| URL: |
https://www.diametros.iphils.uj.edu.pl/diametros/article/view/799 |
| date accessed: |
2019-02-06 |
| notes: | Bibliogr. s. 121 |
| language: | Polish |
| journal language: | Polish |
| abstract in Polish: | 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 Hao Wanga [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. |
| abstract in English: | 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. |
| keywords in Polish: | Hermann Grassmann, Giuseppe Peano, arytmetyka, teoria aksjomatyczna |
| keywords in English: | Hermann Grassmann, Giuseppe Peano, arithmetic, axiomatic theory |
| affiliation: | Wydział Filozoficzny : Instytut Filozofii |
| type: | journal article |
| subtype: | academic paper |
Files in this item
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as Udzielam licencji. Uznanie autorstwa - Użycie niekomercyjne 4.0 Międzynarodowa
Projekt „Repozytorium otwartego dostępu do dorobku naukowego i dydaktycznego UJ” współfinansowany w ramach poddziałania 2.3.1 „Cyfrowe udostępnianie zasobów nauki” Programu Operacyjnego Polska Cyfrowa z Europejskiego Funduszu Rozwoju Regionalnego i budżetu państwa na podstawie umowy o dofinansowanie nr POPC.02.03.01-00-0030/17-00
