Editing Chapter 2: An ancient theorem and a modern question
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 56: | Line 56: | ||
A good video explaining these postulates as well as what postulates ''are'' can be found [https://www.youtube.com/watch?v=gLMIFRLw9LU here]. | A good video explaining these postulates as well as what postulates ''are'' can be found [https://www.youtube.com/watch?v=gLMIFRLw9LU here]. | ||
Euclid's fifth postulate cannot be proven as a theorem | Euclid's fifth postulate cannot be proven as a theorem, although this was attempted by many people. Euclid himself used only the first four postulates ("absolute geometry") for the first 28 propositions of the Elements, but was forced to invoke the parallel postulate on the 29th. In 1823, Janos Bolyai and Nicolai Lobachevsky independently realized that entirely self-consistent "non-Euclidean geometries" could be created in which the parallel postulate did not hold. (Gauss had also discovered but suppressed the existence of non-Euclidean geometries.) | ||
[[File:Euclid-woodcut-1584.jpg|thumb|Euclid, coloured woodcut, 1584.]] | [[File:Euclid-woodcut-1584.jpg|thumb|Euclid, coloured woodcut, 1584.]] |