"The attempts to derive the parallel postulate as a theorem from the remaining nine "axioms" and "postulates" occupied geometers for over two thousand years and culminated in some of the most far-reaching developments in modern mathematics. Many "proofs" of the postulate were offered, but each was sooner or later shown to rest upon a tacit assumption equivalent to the postulate itself. Not until 1733 was the first really scientific investigation... Gerolamo Saccheri received permission to print... Euclides ab omni naevo vindicatus (Euclid Freed of Every Flaw). ...Saccheri had become charmed with the powerful method of reductio ad absurdum and... easily showed... that if, in a quadrilateral... [base] angles... are right angles and [vertical] sides... are equal, then [ceiling] angles... are equal. Then there are three possibilities: [ceiling] angles are equal acute... equal right... or equal obtuse angles. The plan was to show that the assumption of either... the acute angle or... the obtuse angle would lead to a contradiction. ...Tacitly assuming the infinitude of the straight line, Saccheri readily eiliminated the hypothesis of the obtuse angle, but... After obtaining many of the now classical theorems of... non-Euclidean geometry, Saccheri lamely forced... an unconvincing contradiction."
In mathematics, non-Euclidean geometry consists of two geometries based on axioms closely related to those that specify Euclidean geometry. As Euclidean geometry lies at the intersection of metric geometry and affine geometry, non-Euclidean geometry arises by either replacing the parallel postulate with an alternative, or consideration of quadratic forms other than the definite quadratic forms ass
"The chief mathematical work of Wolfgang Bolyai appeared in two volumes, 1832-1833 entitled Tentamen juventutem studiosam in elementa matheseos puræ... introducendi. It is followed by an appendix composed by his son Johann. Its twenty-six pages make the name of Johann Bolyai immortal. He published nothing else but he left behind one thousand pages of manuscript."
"Propositio XXXIII. Hypothesis anguli acuti est absolute falsa; quia repugnans naturae lineae rectae. [Proposition 33. The hypothesis of acute angle is absolutely false; because repugnant to the nature of the straight line.]"
", "Geometry as a Branch of Physics" (1949) from Albert Einstein: Philosopher-Scientist, ed. ."
"Helmholtzs investigations were carefully examined by S. Lie who reduced the Riemann-Helmholtz problem to the following form: To determine all the continuous groups in space which, in a bounded region, have the property of displacements. There arose three types of groups which characterize the three geometries of Euclid, of N. I. Lobachevski and J. Bolyai and of F. G. B. Riemann."
"While Lobachevski enjoys priority of publication, it may be that Bolyai developed his system somewhat earlier. Bolyai satisfied himself of the non-contradictory character of his new geometry on or before 1825; there is some doubt whether Lobachevski had reached this point in 1826. Johann Bolyais father seems to have been the only person in Hungary who really appreciated the merits of his sons work. For thirty-five years this appendix, as also Lobachevskis researches, remained in almost entire oblivion. Finally Richard Baltzer of the University of Giessen, in 1867, called attention to the wonderful researches."
"Although K. F. Gauss, one if the spiritual fathers of non-Euclidean geometry... proposed a possible test of the flatness of space by measuring the interior angles of a terrestrial triangle, it remained for... K. Schwarzschild to formulate the procedure and to attempt to evaluate [curvature] K on the basis of astronomical data... Schwarzschilds pioneer attempt is so inspiring in its conception and so beautiful in its expression...[!]"