Upcoming SlideShare
×

# What is an axiom?

7,499 views
7,324 views

Published on

Published in: Education, Technology
1 Like
Statistics
Notes
• Full Name
Comment goes here.

Are you sure you want to Yes No
• Be the first to comment

Views
Total views
7,499
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
0
0
Likes
1
Embeds 0
No embeds

No notes for slide

### What is an axiom?

1. 1. Aim of this article<br />To define what an axiom is.<br />To give some perspective about axioms, definitions, and the sort.<br />To give examples, and some explanations, mostly with respect to Euclid’s elements.<br />Length: 17 slides<br />
2. 2. What is an axiom?<br />
3. 3. “An axiom is a logical statement that is assumed to be true”<br />– Wikipedia<br />
4. 4. Why do we need axioms?<br /><ul><li>As a basis for a “formal system”.
5. 5. A framework to prove and/or derive further theorems.
6. 6. Essentially, to enable ourselves to do math!</li></li></ul><li>Why do we need axioms?<br /><ul><li>As a basis for a “formal system”.
7. 7. A framework to prove and/or derive further theorems.
8. 8. Essentially, to enable ourselves to do math!</li></ul>Axiomatic systems, are like the grammar and language rules for English. One needs those established, before one begins to write essays, or even make new words!<br />Of course, rigor is of far greater importance in math, than in language.<br />
9. 9. Why do we need axioms?<br /><ul><li>As a basis for a “formal system”.
10. 10. A framework to prove and/or derive further theorems.
11. 11. Essentially, to enable ourselves to do math!</li></ul>Due to their beauties, complexities, and other awesomeness, a full length discussion on formal systems is kept due for some time later.<br />
12. 12. What is an axiom? No. Really. What is it? <br />It’s obviously not as simple as this?<br />“An axiom is a logical statement that is assumed to be true”<br />
13. 13. What is an axiom? No. Really. What is it? <br />It’s obviously not as simple as this?<br />“An axiom is a logical statement that is assumed to be true”<br />
14. 14. What is an axiom? No. Really. What is it? <br />It’s obviously not as simple as this?<br />“An axiom is a logical statement that is assumed to be true”<br />Or is it?<br />
15. 15. Okay…What does an axiom look like?<br />Euclidean Geometry was one of the ﬁrst formally deﬁned axiomatic systems, complete and consistent in itself.<br />That means, using all and only the 5 axioms Euclid used to define his system of geometry, you can prove all the results in geometry that do, or can ever, exist.<br />
16. 16. What does an axiom look like?<br />Euclid’s ﬁrst axiom’s (mostly) original statement:<br />[Pre-script: What we call axioms, Euclid called postulates. For most purposes, the terms are used interchangeably, and are accepted to refer to the same thing.]<br />“Let the following be postulated: <br />Postulate 1. To draw a straight line from any point to any point.”<br />– Euclid’s Elements<br />
17. 17. So, an axiom to tell us what a line is?<br />An axiom does not rely on other axioms to be understood. Here, one should know that an axiom and a deﬁnition are distinct.<br />Euclid defines:<br />“A line is breadthless length.”<br />And <br />“A point is that which has no part.”<br />
18. 18. The line, the point, and deﬁnitions<br />The deﬁnitions, in themselves, are (impressive) attempts, to provide us with a manifestation of the very abstract concepts of what a line and a point are, in the most vague and general form possible.<br />They don’t have any consequence by themselves, and rely on language, for a comprehension of what is meant by breadth, length, and what a geometric ﬁgure, could have a ‘part’ of.<br />
19. 19. The line, the point, and deﬁnitions<br />The deﬁnitions, in themselves, are (impressive) attempts, to provide us with a manifestation of the very abstract concepts of what a line and a point are, in the most vague and general form possible.<br />They don’t have any consequence by themselves, and rely on language, for a comprehension of what is meant by breadth, length, and what a geometric ﬁgure, could have a ‘part’ of.<br />Notice, that a line does not even require to be straight by definition!<br />
20. 20. So now, I don’t know what a point or a line is. What about that axiom?<br />The axiom gives us some perspective about how Euclidean Geometry would work.<br />In a more understandable language, the first axiom can be directly restated to say:<br />“There will always be one line joining any two points. ”<br />Something implicit in our experiences so far, and something Euclid chose to not say here explicitly, can be worded as:<br />“One and only one straight line passes through two distinct points.”<br />
21. 21. Why then, must I care about definitions?<br />Definitions are valid across systems.<br />So when one uses a certain term, and clearly violates an axiom we are aware of, either we are faced with a contradiction, or a statement belonging to another system.<br />
22. 22. A contradiction, from outer space<br />For instance:<br />There may be pairs of points through which an infinitude of lines go.<br />This statement is in direct contradiction with Euclid’s First Axiom, especially as rephrased, before.<br />
23. 23. A contradiction, from outer space<br />For instance:<br />There may be pairs of points through which an infinitude of lines go.<br />This statement is in direct contradiction with Euclid’s First Axiom, especially as rephrased, before.<br />“One and only one straight line passes through two distinct points.”<br />
24. 24. A contradiction, from outer space<br />!<br />For instance:<br />There may be pairs of points through which an infinitude of lines go.<br />This statement is in direct contradiction with Euclid’s First Axiom, especially as rephrased, before.<br />“One and only one straight line passes through two distinct points.”<br />
25. 25. A contradiction, from outer space<br />This is possible in two cases:<br />You just did something wrong, to reach that conclusion.<br />You’re working in another system of geometry.<br /> The second conclusion can only be made, when one is sure what the words ‘point’ and ‘line’ mean. Which are independent of the system we are talking with regard to.<br />
26. 26. A contradiction, from outer space<br />To just deviate from one system does not mean we can pinpoint which alternate system one is talking about. (To follow even one axiom, does not specify which system we are talking about!)<br />An exemplary system where the said statement could be true would be: …<br />
27. 27. A contradiction, from outer space<br />To just deviate from one system does not mean we can pinpoint which alternate system one is talking about. (To follow even one axiom, does not specify which system we are talking about!)<br />An exemplary system where the said statement could be true would be: …<br />“There may be pairs of points through which an infinitude of lines go.”<br />
28. 28. A contradiction, from outer space<br />To just deviate from one system does not mean we can pinpoint which alternate system one is talking about. (To follow even one axiom, does not specify which system we are talking about!)<br />An exemplary system where the said statement could be true would be: spherical geometry!<br />“There may be pairs of points through which an infinitude of lines go.”<br />See the infinite longitudes through the two poles?<br />That!<br />
29. 29. A contradiction, from outer space<br />Eureka!<br />To just deviate from one system does not mean we can pinpoint which alternate system one is talking about. (To follow even one axiom, does not specify which system we are talking about!)<br />An exemplary system where the said statement could be true would be: spherical geometry!<br />“There may be pairs of points through which an infinitude of lines go.”<br />See the infinite longitudes through the two poles?<br />That!<br />
30. 30. And now, we’ve just begun.<br />So, sit down, make yourself comfy, get a few nice pillows around you, because I’m going to tell you one of my favourite stories. You’re really ready for it now.<br />And you know you want to hear it. <br />That, of Euclid’s Fifth Postulate. <br />