In 1908, the mathematician Felix Klein published a book Elementary Mathematics from an Advanced Standpoint: Geometry. This title aptly characterizes the focus of this thesis. This thesis introduces the axioms for Euclidean and projective plane geometry. Afterwards an arithmetic of lengths, based solely on these axioms, is constructed. By establishing a connection between the geometric axioms and the field axioms, it is demonstrated that these lengths form a field. It is shown that the original geometric plane is isomorphic to the Cartesian plane of lengths. Additionally, the thesis highlights the direct relation between two geometric propositions, Pappos’ theorem and Desargues’ theorem, and commutativity and associativity of the induced fie...
The union of geometry and algebra was initiated in an appendix to Discours de la methode, written by...
The object in this article is to discuss the philosophical bearing of recent inquiries concerning ge...
There are two ways to study projective geometry: 1) an extension fo the Eucildean geometry taught in...
In this monograph, the authors present a modern development of Euclidean geometry from independent a...
The non-Euclidean revolution has imposed the search for a foundation of mathematics. Therefore the l...
The non-Euclidean revolution has imposed the search for a foundation of mathematics. Therefore the l...
Projective geometry is a branch of mathematics which is foundationally based on an axiomatic system....
In this monograph, the authors present a modern development of Euclidean geometry from independent a...
Projective geometry is a branch of mathematics which is foundationally based on an axiomatic system....
International audienceThis paper describes the formalization of the arithmetization of Euclidean geo...
Focusing methodologically on those historical aspects that are relevant to supporting intuition in a...
Foundation of Euclidean and Non-Euclidean Geometries according to F. Klein aims to remedy the defici...
Tarski’s axioms of plane geometry are formalized and, using the standard real Cartesian model, shown...
Tarski’s axioms of plane geometry are formalized and, using the standard real Cartesian model, shown...
International audienceThis paper describes the formalization of the arithmetization of Euclidean pla...
The union of geometry and algebra was initiated in an appendix to Discours de la methode, written by...
The object in this article is to discuss the philosophical bearing of recent inquiries concerning ge...
There are two ways to study projective geometry: 1) an extension fo the Eucildean geometry taught in...
In this monograph, the authors present a modern development of Euclidean geometry from independent a...
The non-Euclidean revolution has imposed the search for a foundation of mathematics. Therefore the l...
The non-Euclidean revolution has imposed the search for a foundation of mathematics. Therefore the l...
Projective geometry is a branch of mathematics which is foundationally based on an axiomatic system....
In this monograph, the authors present a modern development of Euclidean geometry from independent a...
Projective geometry is a branch of mathematics which is foundationally based on an axiomatic system....
International audienceThis paper describes the formalization of the arithmetization of Euclidean geo...
Focusing methodologically on those historical aspects that are relevant to supporting intuition in a...
Foundation of Euclidean and Non-Euclidean Geometries according to F. Klein aims to remedy the defici...
Tarski’s axioms of plane geometry are formalized and, using the standard real Cartesian model, shown...
Tarski’s axioms of plane geometry are formalized and, using the standard real Cartesian model, shown...
International audienceThis paper describes the formalization of the arithmetization of Euclidean pla...
The union of geometry and algebra was initiated in an appendix to Discours de la methode, written by...
The object in this article is to discuss the philosophical bearing of recent inquiries concerning ge...
There are two ways to study projective geometry: 1) an extension fo the Eucildean geometry taught in...