SearcharxivSearch

arXiv subjects

Prodromos Filippidis

Publications and source records attributed to Prodromos Filippidis.

2 recordsLinked to original sources

The independence of the parallel postulate and the acute angles hypothesis on a two right-angled isosceles quadrilateral

We trace the development of arguments for the consistency of non-Euclidean geometries and for the independence of the parallel postulate, showing how the arguments become more rigorous as a formal conception of geometry is introduced. We use these philosophical views to explain why the certainty of Euclidean geometry was threatened by the development of what we regard as alternatives to it. Finally, we provide a model that creates the basis for proof and demonstration using natural language in order to study the acute angles hypothesis on a two right-angled isosceles quadrilateral, with a rectilinear summit side.

math.HO

Saccheri's Rectilinear Quadrilaterals

We study Saccheri`s three hypotheses on a two right-angled isosceles quadrilateral, with a rectilinear summit side. We claim that in the Hilbert`s foundation of geometry the euclidean parallelism is a theorem, and in the h-plane the hyperbolic parallelism under a hyperbolic transformation has image the euclidean parallelism. We prove that Saccheri`s rectilinear quadrilaterals can be only rectangle. Finally we believe that the independence of the euclidean parallel postulate is just a matter of philosophy of logic.

math.HO