Locating the Discrepancy
Saccheri, an Italian Jesuit, would have struck bottom if he had had a little more imagination. He gave an exhaustive reductio ad absurdum, on the basis of the angle-sum theorem. This sum must be (a) greater than or (b) equal to or (c) less than 180 degrees. Saccheri showed that if one of these alternatives occurs in a single triangle, it must occur in every triangle. The first case gave little trouble; admitting the possibility of superposing in the special manner mentioned above, which he did implicitly, he showed that this “obtuse-angled hypothesis” contradicted itself. He pursued the “acute-angled hypothesis” for a long time before he satisfied himself that he had caught it, too, in an inconsistency. This left only the “right-angled hypothesis,” proving the Euclidean angle-sum theory and through it the parallel postulate. But Saccheri was wrong: he had found no actual contradiction in the acute-angled hypothesis—for none exists therein.
The full facts were probably first known to Gauss, who had a finger in every mathematical pie that had to do with the transition to modern times. They were first published by Lobatchewsky, the Russian, who anticipated the Hungarian John Bolyai by a narrow margin. All three worked independently of Saccheri, whose book, though theoretically available in Italian libraries, was actually lost to sight and had to be rediscovered in recent years.
Like Saccheri, Lobatchewsky investigated alternative possibilities. But he chose another point of attack: through a given point it must be possible to draw, in the same plane with a given line (a) no lines or (b) one line or (c) a plurality of lines, which shall not meet the given line. The word parallel is defined only in terms of the second of these hypotheses, so we avoid it here. These three cases correspond, respectively, to those of Saccheri.
The first case Lobatchewsky ruled out just as did Saccheri, but accepting consciously the proviso attached to its elimination; the third he could not rule out. He developed the consequences of this hypothesis as far as Euclid develops those of the second one, sketching in a full outline for a system of geometry and trigonometry based on a plurality of “non-cutters.” This geometry constitutes a coherent whole, without a logical flaw.
This made it plain what was the matter with Euclid’s parallel axiom. Nobody could prove it from his other assumptions because it is not a consequence of these. True or false, it is independent of them. Trinity Church is in New York, Faneuil Hall is in Boston, but Faneuil Hall is not in Boston because Trinity is in New York; and we could not prove that Faneuil Hall was in Boston if we knew nothing about America save that Trinity is in New York. The mathematicians of 2,000 years had been pursuing, on a gigantic scale, a delusion of post hoc, ergo propter hoc.