Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Euclid's Elements Book 1 Proposition 1 - something Euclid missed?
Replies: 62   Last Post: Feb 22, 2014 12:11 AM

 Messages: [ Previous | Next ]
 thenewcalculus@gmail.com Posts: 1,361 Registered: 11/1/13
Re: Euclid's Elements Book 1 Proposition 1 - something Euclid missed?
Posted: Feb 17, 2014 6:51 AM

On Monday, February 17, 2014 12:31:03 PM UTC+2, Ken Quirici
> You said that constructions are merely visualizations. Of what are they
> visualizations?

It should first be stated that Ancient Greek philosophers were preoccupied with questions regarding space and time. They wanted to understand these difficult concepts not only in relation to geometry, but with the purpose of clarifying puzzling questions about the universe (Astronomy).

What is a location? How can you tell one location from another? Imagine for one moment that you and another person (let's say your friend) are alone in a void (empty) universe. Your friend can move, but you cannot. You can't see each other. You can't hear each other. You can only communicate telepathically. There is no light, there is absolutely nothing besides the two of you. How would you communicate to your friend where you are so that he can meet you at your location?

You will soon realise after sufficient thought that it is impossible to communicate your position. Now, if you could switch on a bright light which your friend can see, do you think that you can communicate your position? Well, you would increase his chances because he can tell you that the light is above or below him. But it will still be impossible for you to guide him to your location. I don't know if the Ancient Greeks thought of these things exactly as I described, but I am certain they did.

Back to the topic: Any geometric object other than the location (point) consists of paths. If you and your friend are at two points in the universe, there are many paths between you, but there is only one path that is the shortest. In fact, a location is meaningless without prior life/existence, and yet locations exist independently of life. A location only takes on meaning once an origin and frame of reference is established.

Points have no dimension. You can't even begin to discuss *density* with regards to points, because density only applies to objects that contain space/volume.

So, the only way to make sense of location/s is through means of paths which have the attribute of length. The measurement of such lengths did not occur until after a result concerning areas (Pythagoras) was established. The immediate problem at hand was how to relate two different points in the universe. Obviously, the answer is in the shortest distance. It would be futile to attempt relating these points by non-reifiable points in between them.

Thus, to cut to the chase, a straight line is the path with the shortest distance between two points. That's the second geometric object to be realised after the point. The next object concerns the path with the shortest distance between three distinct points, that is, the triangle. The square or rectangle or any other 4-sided figure, is the path with the shortest distance between four points. A circle describes the path from which the shortest distance to the circle centre is always the same, wherever you are on that circular path.

Now, imagine investigating these geometric objects by thinking solely in terms of paths with the shortest distance. It is very difficult to perform mental geometry. Thus, the visualisations are a form of the geometric object. I agree with Plato that there are perfect forms. But the visualisation is never a perfect form and not intended to be anything else besides a tool used to investigate the properties of geometric objects.

So, to answer your question, the constructions are merely visualisations of intangible geometric objects whose chief attribute is the path.

> Your proof is 'merely' a sequence of visualizations. This is
> exactly my problem with Euclid. It depends on visualizations.

As you should be able to see now, this is clearly not true. It would be very difficult to describe the properties without reifying the geometric objects through visualisations.

> The words themselves, the constructions, have no meaning except through our
> own human intuitive understanding of concepts like continuity they depend on
> these concepts to have a concrete 'real' (no pun intended) meaning.

Not so. These concepts (geometric objects) exist entirely outside the human mind or any other mind. An alien in a distant galaxy could arrive at our knowledge through these same ideas. The concepts are not human or alien.

As far as being real, the concepts are *very real* indeed. They exist independently.

> It would be an interesting exercise (at least it seems to me) to imagine this
> Euclidean axiomatic system INDEPENDENT of ANY pictures.

It can be done as I showed with some simple geometric objects such as the straight line, but even the Great Archimedes used visualisations. I do too when I lie awake at night. :-) I have what one might call a "photographic memory". I can see complex geometrical structures clearly in my mind's eye - almost as if they were drawn on paper.

> How many 'realities' would this system model? I suspect there are many
> that have absolutely nothing to do with geometry.

That is simply not possible. Every concept is related and has its origins in geometry - the study of location and space. Remove geometry and you have NOTHING.

> That is, take the axioms as simply words that relate to each other in logical
> ways and see what they can represent.

Well, words convey "meaning". A meaning takes on different forms, but the main vessel in geometry for conveying meaning is visualisation.

>> As previously stated, that the two circles intersect depends on showing that
> a line between two points, one outside the circle and one inside the circle,
> meets the circle.

Not at all. Which point do you imagine is outside and inside the circle? And which circle are you talking about?

As for a line (any path), this is established long before the proposition in the definitions. There is no question that many lines exist between the centres of the circles, and that many lines exist between the intersections.

Any line is simply a path.

> Doesn't it? It seems obvious to the intuition, but that intuition is
> based on prior concepts of the continuity of the plane and of lines on the
> plane.

Has nothing to do with continuity of *anything*.

> How so? Are you saying that because the real number line is 'only' points
> then it can't 'hold together'?

I have answered this question in previous paragraphs. No line consists of points. The chief attribute of any line is the distance described by the path.

> If you held the real number line at both ends then it would fall apart
> because there's no 'glue' holding the points together?

It does not need to be held anywhere. It does not consist of points. Points can be reified on the line after measurement is established, but until then, points don't determine the path. Points are a consequence that arises when a path is described and not vice-versa.

> This is in fact the whole point of the real number line. You've got it! The
> real number line is NOTHING but a set of points that is so dense as to give
> MEANING to the concept of continuity.

No. :-)

> This density is the glue holding the real number line 'together'. This is the
> beauty of mathematics - it lives in its own world.

Oh I could not disagree more! The beauty of mathematics lies in well-defined concepts.

> I hate to invoke the Platonic ideals because I don't really believe in them,
> but they do seem to push themselves into the discussion.

The Platonic ideals are very relevant. I think you forget that were it not for Plato, we probably would never have had the knowledge of mathematics, or any other knowledge. As mathematics is the queen of sciences, philosophy is the king of all knowledge. Without philosophy, no knowledge could be known.

> This seems to be you saying what I picturesquely described above as holding a
> real-number line - that is, a line 'built' only from real numbers (which
> include of course rationals) - at both ends and it falls apart because it has
> no glue.

But real numbers do not exist. In order to understand this, you have to start with a magnitude, which is the idea of size, dimension or extent. The magnitudes the Greeks dealt with are related to paths. Numbers cannot be known without magnitudes. A magnitude need not be a distance, it can be an area, volume, mass, speed, etc. The measurement of a magnitude gives rise to the number. You can understand this from my 5 point derivation of number from scratch.

> YOUR conceptualization depends on the existence of glue on the line, glue
> that is not points - what is it then?

Has nothing to do with glue. :-)

> It's like phlogiston or the ether - some intuitive superfluity.

Oh no, it's very, very real. Rational Numbers are very real and exist independently of any mind.

Nope. You have not read my unpublished book. :-) No one has. You read an article on the New Calculus. That was intended to communicate some of the ideas. My book is over 2000 pages long. It contains three sections: The New Elements, The New Calculus and a new kind of mathematics based entirely on tangent objects.

> This question arose very early in my reading. It's possible that, even though
> my not understanding some of your definitions is preventing me from finding
> purchase on your presentation, that what you're saying early in the book -
> your very first illustration and the text that follows - is really, even if
> flawed, not necessary to the heart of your argument.

I have no idea exactly which illustration you are referring to. Could you be more specific? Oh wait, you mean the illustration demonstrating some of the paths between two points? That's in the document called Calculus for Dummies.

It is absolutely essential to the understanding of the New Calculus. Therefore, it's an important illustration! :-)

> It would nevertheless be nice to be able to advance, from the beginning, in a
> step-by-step manner with each step agreeably understandable to me.

> So if you could find that thread and my question I would appreciate a
> clarification. It may not work but it may. The thread was the one titled The
> New Calculus.

I really don't know which "thread" you are referring to. Sorry.

Date Subject Author
2/14/14 ken quirici
2/14/14 ross.finlayson@gmail.com
2/15/14 thenewcalculus@gmail.com
2/15/14 bert
2/15/14 thenewcalculus@gmail.com
2/16/14 ross.finlayson@gmail.com
2/16/14 thenewcalculus@gmail.com
2/15/14 thenewcalculus@gmail.com
2/15/14 Brian Q. Hutchings
2/15/14 ken quirici
2/15/14 FredJeffries@gmail.com
2/15/14 ken quirici
2/15/14 thenewcalculus@gmail.com
2/16/14 ken quirici
2/16/14 ken quirici
2/16/14 thenewcalculus@gmail.com
2/17/14 ken quirici
2/17/14 thenewcalculus@gmail.com
2/17/14 ken quirici
2/17/14 thenewcalculus@gmail.com
2/17/14 ken quirici
2/17/14 thenewcalculus@gmail.com
2/17/14 ken quirici
2/17/14 thenewcalculus@gmail.com
2/17/14 YBM
2/18/14 thenewcalculus@gmail.com
2/17/14 David Hartley
2/17/14 thenewcalculus@gmail.com
2/17/14 ken quirici
2/17/14 David Hartley
2/17/14 ken quirici
2/19/14 David Hartley
2/20/14 thenewcalculus@gmail.com
2/17/14 ross.finlayson@gmail.com
2/18/14 thenewcalculus@gmail.com
2/17/14 ken quirici
2/17/14 thenewcalculus@gmail.com
2/17/14 Brian Q. Hutchings
2/17/14 thenewcalculus@gmail.com
2/17/14 Ken.Pledger@vuw.ac.nz
2/17/14 thenewcalculus@gmail.com
2/18/14 David Bernier
2/18/14 thenewcalculus@gmail.com
2/18/14 Ken.Pledger@vuw.ac.nz
2/18/14 thenewcalculus@gmail.com
2/18/14 thenewcalculus@gmail.com
2/18/14 ken quirici
2/18/14 thenewcalculus@gmail.com
2/18/14 Wizard-Of-Oz
2/18/14 thenewcalculus@gmail.com
2/18/14 Wizard-Of-Oz
2/19/14 thenewcalculus@gmail.com
2/19/14 Wizard-Of-Oz
2/19/14 Brian Q. Hutchings
2/18/14 thenewcalculus@gmail.com
2/18/14 thenewcalculus@gmail.com
2/18/14 ken quirici
2/18/14 thenewcalculus@gmail.com
2/18/14 Brian Q. Hutchings
2/18/14 thenewcalculus@gmail.com
2/18/14 Brian Q. Hutchings
2/20/14 Brian Q. Hutchings
2/22/14 thenewcalculus@gmail.com