Point-free foundation of geometry looking at laboratory activities
Researches in “point-free geometry”, aiming to found geometry without using points as primitive entities, have always paid attention only to the logical aspects. In this paper, we propose a point-free axiomatization of geometry taking into account not only the logical value of this approach but also...
Main Authors: | Giangiacomo Gerla, Annamaria Miranda |
---|---|
Format: | Article |
Language: | English |
Published: |
Taylor & Francis Group
2020-01-01
|
Series: | Cogent Mathematics & Statistics |
Subjects: | |
Online Access: | http://dx.doi.org/10.1080/25742558.2020.1761001 |
Similar Items
-
Metric Postulates for Plane Geometry
by: Mahaffy, Donald L.
Published: (1964) -
Development of a Geometry from a Set of Axioms
by: Glasscock, Anita Louise
Published: (1973) -
Fixed point theorem for composite functions
by: şükrü İLGÜN, et al.
Published: (2019-01-01) -
Solution, extensions and applications of the Schauder's 54th problem in Scottish book
by: Tasković Milan R.
Published: (2016-01-01) -
Tarski Geometry Axioms – Part II
by: Coghetto Roland, et al.
Published: (2016-06-01)