A Journal for Western Man
The Universal Validity of
G. Stolyarov II
Issue XLIX- February 15, 2006
Many modern scientists and mathematicians make the grievous error of presuming that entities in the real world have spatial qualities fundamentally different from those that the illustrious geometer Euclid discovered them to possess. Theories of “non-Euclidean geometry” have been devised, based on a rejection of Euclid’s fifth postulate—the parallel postulate—which states that no two mutually parallel lines will ever intersect. Applications of “non-Euclidean geometry” have resulted in absurd theories conceiving of “space” or “the universe” as “curved” and not at all consistent with our basic sensory perceptions.
In Praxeology and Certainty of Knowledge, I defended Euclidean Geometry’s universal and irrefutable truth against non-Euclideans’ rejections of it.
The axioms of Euclidean geometry correspond to the physical world, whereas the axioms of geometric systems contrary to Euclid's do not. (That is, they are not true axioms, since they can be elementarily refuted in the course of ubiquitous daily observation.) The human body can be measured by using three and only three spatial parameters – known as dimensions: any system of measurement claiming more or less than three dimensions will fail to adequately describe man's physical form. All parts of the human body have boundaries, describing which necessitates the Euclidean constructs of points, lines, and planes. Furthermore, all human movement and interaction with other entities occurs three-dimensionally. Every possible path of motion can be described by adding three mutually perpendicular vectors of the proper magnitudes. Moreover, all spatial measuring instruments can only be built with Euclidean postulates at the foundation of their design.
No measurement can ever refute the validity of Euclidean geometry, since measuring tools themselves – as well as the bodies and movements of those who measure – are predicated upon the axioms of Euclid's system. If the spatial qualities of humans and all the objects they observe and interact with can be described and measured only through Euclid's system, there is no point in asserting that any non-Euclidean geometry can also be true: it cannot be true if it describes nothing that exists!
A reader of my essay e-mailed me, challenging me on this position. This article is an adapted version of the interesting discourse that followed—in which I elaborate my defense of Euclidean geometry, explain how every valid application of “non-Euclidean geometry” is in fact consistent with Euclid’s system, and prove Euclid’s parallel postulate by following the definition of a parallel line.
Real-World Applications of Non-Euclidean Geometry?
In defense of non-Euclidean geometry, the questioner cited its apparent practical usefulness—despite its axioms’ lack of correspondence with reality:
Isn't it true that Riemannian geometry, which does not use the parallel axiom, has eventually found many applications in the "physical world", like explaining black holes and heavy stars? Isn't it also used in computer imaging? Aren't there often axioms that have no correspondence with everyday experience but prove useful in developing theorems that later explain something otherwise not explainable in the world?
The mere ability of
a theory to explain some part of observable reality does not qualify
it to be a valid theory. One could state with legitimacy that the
theory is imperfect but partially valid—if that theory clashes with
certain ubiquitous or self-evident knowledge but explains some known
occurrences. Such a situation only implies that some of the theory’s
assumptions correspond to reality, whereas others do not. However,
then the burden of proof is on the advocate of the theory to show that
the theory's correct predictions do not derive from those of its
assumptions that are false. It is, I claim, possible to isolate the
elements of a theory that work and have valid applications from those
elements that are contradictory and inevitably inhibit the theory's
Irrefutable Demonstration of Euclid’s Parallel Postulate
After reading my reply, the questioner raised another challenge:
The Concept of Distance as Primary to the Concept of Parallelism
In response to my irrefutable demonstration of the parallel postulate, the questioner raised the following contention:
You are using the results of Euclidian geometry ("distance", "corresponding point"), based on the parallel axiom, to prove that the parallel axiom is "true". I meant "results" or "other postulates". For centuries, mathematicians have tried to derive the fifth postulate from the first four, but without success. There is no way to prove the fifth postulate before developing Euclidean geometry based on the fifth postulate. Indeed, this is what an axiom is: something that can't be proven.
Quite the contrary: the concept of "distance"—especially of "distance of separation"—is primary to not only the concept of "parallel lines" but the concept of "line" itself. The very idea of spatial dimensions can only come about from the ubiquitous observation that all entities and all parts of all entities are separated from each other by distance. I explain this thoroughly in A Rational Cosmology: Chapter III. (In that chapter, I also describe the manner in which Euclidean geometry perfectly describes the spatial qualities of entities.)
The parallel postulate is axiomatic because it is implied in the definition of parallel lines, so that one cannot contradict the postulate without violating the definition. Parallel lines can only be defined as lines with the same slope. Without that definition, the very concept of "parallelism" is just an empty word. Of course, "slope" must be defined before "parallelism" can be—and the definition of slope follows from the definition of a line, which follows from the ubiquitous observation of distance separation between entities.
I did not prove that the parallel postulate was true, but rather irrefutably demonstrated its truth by showing that it cannot be contradicted without defying the very definition of parallel lines. Thus, like action is implied in the nature of man—so is the parallel postulate implied in the nature of parallel lines. The attempt to contradict this truth implies the absurdity of stating that "parallel lines are not parallel."
Here, I have briefly defended the ability of Euclidean geometry to perfectly describe the spatial attributes of all entities. I have shown that those attributes of non-Euclidean geometry that have applicative relevance to reality are consistent with Euclid’s axioms. Furthermore, I have proved Euclid’s parallel postulate—the most heavily contested of his axioms—and shown how this postulate must follow from the very definition of a parallel line, so that the very attempt to contradict it would only violate the nature of parallelism as derived from the nature of lines and, ultimately, distance of separation.
Euclid was correct: we live in a knowable, measurable universe accurately observable through the human senses.
G. Stolyarov II is a science fiction novelist, independent filosofical essayist, poet, amateur mathematician, composer, contributor to Enter Stage Right, The Autonomist, Le Quebecois Libre, and the Ludwig von Mises Institute, Senior Writer for The Liberal Institute, and Editor-in-Chief of The Rational Argumentator, a magazine championing the principles of reason, rights, and progress. His newest science fiction novel is Eden against the Colossus. His latest non-fiction treatise is A Rational Cosmology. Mr. Stolyarov can be contacted at firstname.lastname@example.org.
Read Mr. Stolyarov's new comprehensive treatise, A Rational Cosmology, explicating such terms as the universe, matter, space, time, sound, light, life, consciousness, and volition, at http://www.geocities.com/rational_argumentator/rc.html.
Order Mr. Stolyarov's newest science fiction novel, Eden against the Colossus, in eBook form, here. You only pay $10.00, with no shipping and handling fees. You may also find free previews, descriptions and reviews of Eden against the Colossus at http://www.geocities.com/rational_argumentator/eac.html.