Locating the Discrepancy

Einstein's Theories of Relativity and Gravitation by Albert Einstein, is part of the HackerNoon Books Series. You can jump to any chapter in this book here. Locating the Discrepancy

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, [131]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 [132]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.

About HackerNoon Book Series: We bring you the most important technical, scientific, and insightful public domain books.

This book is part of the public domain. Albert Einstein (2020). Einstein's Theories of Relativity and Gravitation. Urbana, Illinois: Project Gutenberg. Retrieved October 2022.

This eBook is for the use of anyone anywhere at no cost and with almost no restrictions whatsoever. You may copy it, give it away or re-use it under the terms of the Project Gutenberg License included with this eBook or online at www.gutenberg.org, located at https://www.gutenberg.org/cache/epub/63372/pg63372-images.html