Euclid's clever solution to the problems of the void and the infinitesimal

Euclid's Definition 1

We normally think of a geometrical point as being smaller than anything, because of where Euclid placed it in the hierarchy of geometry. Building up from simple to more complex, his first definition is the simplest: "A point is that which has no part." Clearly, Euclid intended for anyone reading to be thinking of something simple, like a pebble in the hands of a sculptor, with "parts" being removed, getting smaller and smaller until it has no parts.

Mathematics is considered to happen outside the bounds of physics, but it is clear that his definition presupposes the existence of something like matter which he then eliminates, leaving a point so small that it no longer has no material existence. Since the matter (the "part") is eliminated from existence even as it is mentioned into existence, there is no need to discuss it further. In other words, although matter is being used to define the point, the point itself has no matter within it.

At the time, this approach was a clever way of managing two problems with Greek mathematical understanding.

Problem 1: Horror vacui

First was a strong opposition to the idea of "the void." Wikipedia says:

In philosophy and early physics, horror vacui (Latin: horror of the vacuum) — commonly stated as "nature abhors a vacuum", for example by Spinoza — is a hypothesis attributed to Aristotle that nature contains no vacuums because the denser surrounding material continuum would immediately fill the rarity of an incipient void. Aristotle also argued against the void in a more abstract sense: since a void is merely nothingness, following his teacher Plato, nothingness cannot rightly be said to exist. Furthermore, insofar as a void would be featureless, it could neither be encountered by the senses nor could its supposition lend additional explanatory power.

Following Aristotle, Euclid would have understood that geometry could never be founded upon the void, even though it would be the one thing conceptually more simple than "that which has no part." Remember this was in the age where a man was drowned at sea for telling the hidden truth about irrational numbers. Because the horror vacui was strong enough (including the fact that there were negative religious connotations involved) it was likely conceptually impossible for Euclid to understand the point that "that which has no part" and "the void" were identical. In our age, we can see they are essentially talking about the same thing, but Euclid likely imagined that he was creating a technical description of a partless mathematical entity which was unrelated to the void.

Problem 2: Measuring infinitesimals

The second problem with Greek mathematical understanding would have helped hide the first problem even from a penetrating mind like Euclid. This problem required twenty more centuries to pass before it began to be resolved with the invention of calculus by Newton and Leibniz. It's the problem of the infinitesimal. This is the problem that Euclid was solving by saying "A point is that which has no part" instead of "A point is that which has the least-measurable-sized part," which would be an awkward but precise way of capturing the basic intuition that happens when we normally think of a point. Until we learn geometry, we do not think of point-like things as "having no part," but Euclid does, and he does it to avoid any reference to a measurable part.

Why? Infinitesimals are problematic. Euclid would have known about Zeno's paradoxes which involve an infinite number of infinitesimals to measure any distance -- the existence of which can be used to prove that motion is impossible. Infinitesimals in his time were understood as the mathematical inversion of infinity -- the opposite of infinity -- and they were already known to be logically nontrivial. Euclid knew he could not rely on an infinitesimal for the Definition 1 of geometry.

So this is why "that which has no part" is used instead of "that which has the tiniest possible size" or anything like it. And in using this phrasing, Euclid sidestepped the problem with infinitesimals. Curiously, the similarity of this description to infinitesimals helped cover up Problem #1 by drawing attention away from any obvious void analogies.

The Solution: Neither here nor there is better than either here or there

So those are the two problems that Euclid faced. He invented a clever solution which evaded both horns of the dilemma simultaneously.

At heart is a semantic trick which, when unraveled by logic, is not itself a better solution than either the void or the infinitesimal, being a hybrid of both which is also neither. For the purpose of comparing with the two problematic solutions, let's call this semantic trick the neither void nor infinitesimal because it's not really a "third" alternative so much as it's a clever combination of the first two in a way that pits them against each other and makes it possible to think a genuine third alternative exists.

All three solutions are roughly equal to the task of defining the simplest thing upon which to build the rest of geometry. That was Euclid's aim while creating Definition 1. But Euclid's choice, "that which has no part," has the paradoxical advantage that it brings an infinitesimal "that" into being and then immediately eliminates "that" by saying it has no being. We know it has no being because it has "no part." We're supposed to politely ignore the fact that something which has no part necessarily has no whole. This all happens within a simple phrase.

Any arguments talking about the simple phrase's similarity to the void can be easily dismissed, as well as any arguments talking about its similarity to the infinitesimal.

This hybrid solution which is half-infinitesimal and half-void while also being neither infinitesimal nor void while also being essentially simple must have seemed so clever to Euclid. It worked well enough to be the first definition in geometry for many centuries. However, by the time we get to our era, we've developed delicate logical scalpels which are sharper than the more concrete-minded ancient Greek mathematical tools, and it frankly doesn't work any more, although few actually take the time to question it.

Even though armed with greater precision, we now have a problem that Euclid's geometry didn't have when it was created: It has been around for a couple dozen centuries and its logical assumptions have pervaded the way we think in fundamental ways. It's hard to think outside of its constraints. The advent of non-Euclidean geometry in the 1800s was a good start in shaking these solid foundations. But we can do better.

Now it's time to unravel something even more fundamental than the 5th postulate: the 1st definition.

 

A way of understanding true ternary logic which includes the continuum and reveals the importance of the word AND

Introducing true ternary Ternary logic is introduced at Wikipedia like this: In logic, a three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic systems in which there are three truth values indicating true, false, and  […]

Continue reading

Thinking about a rare opposite of Schadenfreude which is neither Freudefreude nor Mudita but Schadenmitgefühl

Schadenfreude: it's not just for humans

The wild headline is intentional because the audience for this article will most likely arrive here by search engines, as people are trying to find "the opposite of schadenfreude," but not the obvious opposite. Of these visitors only a few will appreciate this little word adventure here,  […]

Continue reading

Allow the Deep to Speak

This article is going to be stored in a database with a record ID of 281, which is a prime number, as soon as I click "Save." At the moment that I write these introductory words, it exists in an aether of nowhere. Neither here nor there. It has no record ID. It is thus a virtual weblog  […]

Continue reading

What to do when Roundcube says: Decryption failed: Key password required, and: Could not decrypt this message

Roundcube error: Decryption failed: Key password required.

Roundcube is great. Easy to get up and running, but it surprises me that I couldn't find the following solution online, so I'm making a post here. When you receive an email (say, from a public key generator) that is encrypted by your own PRIVATE key and you haven't fully configured encryption, it  […]

Continue reading

A whole new way into heart meditation reveals... light... on Thanksgiving morning

A year of mindful[1] meditation Here it is early the morning of Thanksgiving 2023 and I just discovered a rather deep heartful meditation which took about a year to learn. The essential idea is quite simple and took only a few minutes to comprehend, but it took a year of preparation so that I could  […]

Continue reading

"I want to break this apart and put it back together again" -- while trying to solve the Rubik's cube

Rubik's cube

This is a weblog post about what makes a hacker, and why there are "good" hackers and "bad" hackers (which is about quality, not whitehat vs blackhat), an insight I discovered while in a brief conversation with my 10-year-old daughter. My daughter has discovered the Rubik's cube,  […]

Continue reading

Awaken the deep: insights from a meditative adventure on the nature of Speaking and Being

The Deep

First, a brief summary. This morning during meditation I was deep in my heart, listening, when I found myself arriving into a rare condition of clarity. It seemed to me as though I had entered a holy place within my soul, where the veil between heaven and earth is fading. My attention was in a  […]

Continue reading

Discovering David Wray and not realizing he was the conductor, and thereby seeing a window into sublime joy

The longer I listen to classical music, the deeper grows my ability to discern a depth of quality which I previously missed. I grow hungry for that depth -- or is it a height? -- of quality, and suffer through many mediocre performances in search of the gorgeous ones. And then I find one and am  […]

Continue reading

The binary perceptive lens is not for the purpose of dividing everything, but for the purpose of uniting everything

A recent essay where I invented the word trivulet as the name of the fundamental ternary logic element ended up becoming a fertile field for new insights. This is now the second post derived from ideas discovered while writing that one. While explaining how ternary logic is different from binary  […]

Continue reading

On why to use "trivulet" instead of "trit" to describe computing with the fundamental ternary logic element

In the ongoing labor to develop an internally-coherent way of perceiving ternary logic -- and its most famous derivative, binary logic -- I have come to an understanding of how ternary logic is the proper logic of the continuum; not of particles, division, or separation. Particles, division, and  […]

Continue reading

Upon realizing the Riemann Sphere theory I'm working on is gaining traction independently of me

In a brand new article published yesterday on Medium, Kasper Müller writes about The Riemann Sphere: A world where you can divide by zero in a manner which weaves in some insights that have been the endpoints of several private thought experiments. So as I'm reading the article, not only do I  […]

Continue reading

Somewheres about 10,000 hours into solving the Riemann Hypothesis, one encounters Dante's lion, wolf, and leopard

Map of Mathematics

Introduction I'm not good at basic math. I struggle with many things which any decent mathematician aces early. For example, a few elements of calculus still remain over my head, although I have climbed the slopes of that mountain several times. Linear algebra is only just starting to make sense to  […]

Continue reading

Page top