Related papers: How to axiomatize school geometry
Geometry is essentially a global language, which is fully understood in different times, countries and cultures. The proof of a geometric theorem (e.g. the Pythagorean Theorem) or a geometric construction (e.g. the construction of an…
In this article, I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us (the…
One considers geometry with the intransitive equaivalence relation. Such a geometry is a physical geometry, i.e. it is described completely by the world function, which is a half of the squared distance function. The physical geometry…
The goal of this paper is to experiment new math concepts and theories, especially if they run counter to the classical ones. To prove that contradiction is not a catastrophe, and to learn to handle it in an (un)usual way. To transform the…
The aim of this paper is to develop a new axiomatization of planar geometry by reinterpreting the original axioms of Euclid. The basic concept is still that of a line segment but its equivalent notion of betweenness is viewed as a…
This paper wants to show how practical geometry, created to give a concrete help to people involved in trade, in land-surveying and even in astronomy, underwent a transformation that underlined its didactical value and turned it first into…
We refurbish our axiomatics of differential geometry introduced in [Mathematics for Applications,, 1 (2012), 171-182]. Then the notion of Euclideaness can naturally be formulated. The principal objective in this paper is to present an…
The book is designed for a semester-long course in Foundations of Geometry and meant to be rigorous, conservative, elementary and minimalist. List of topics: Euclidean geometry: The Axioms / Half-planes / Congruent triangles / Perpendicular…
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…
We distinguish the axiomatic study of proofs in geometry from study about geometry from general axioms for mathematics. We briefly report on an abuse of that distinction and its unfortunate effect on US high school education. We review a…
In this paper, we propose that 'embodied mathematics' should be studied not only by reduction to the present individual bodily experience but in an historical context as well, as far as the origins of mathematics are concerned. Some early…
We propose a geometric setting of the axiomatic mathematical formalism of quantum theory. Guided by the idea that understanding the mathematical structures of these axioms is of similar importance as was historically the process of…
The purpose of this book is to give an exposition of geometry, from a point of view which complements Klein's Erlangen program. The emphasis is on extending the classical Euclidean geometry to the finite case, but it goes beyond that. After…
The purpose of this paper is to present projective geometry in a synthetic, visual and intuitive style through the central notion of harmonicity which leads to harmonic curves. This presentation includes new results, unpublished proofs of…
A slight modification to one of Tarski's axioms of plane Euclidean geometry is proposed. This modification allows another of the axioms to be omitted from the set of axioms and proven as a theorem. This change to the system of axioms…
Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of…
In this paper we discuss, from a historical and philosophical point of view, a variation of the meaning of the five postulates in Euclidean Geometry and we make a short reference to D. Hilberts formalism. We examine, throughout the ages,…
Theory Building has been largely ignored in Mathematics Education, especially at the Middle and High School Levels. This thesis focuses on Assumption Digging, a type of Theory Building similar to what Hilbert undertook in his Grundlagen…
Euclidean distance geometry is the study of Euclidean geometry based on the concept of distance. This is useful in several applications where the input data consists of an incomplete set of distances, and the output is a set of points in…
The leading idea of the paper is to treat the theorem of Wigner with methods inspired by geometry. The exercise mentionned in the title has two functions: On the one hand it can serve as a pedagogical text in order to make the reader…