Why ruler and compass? | Guest video by ⁨@bensyversen⁩

Key Concepts:

• Euclid's Elements: A foundational text in mathematics, particularly geometry.
• Ruler and Compass Constructions: Geometric constructions using only a straightedge (ruler without markings) and a compass.
• Postulates and Common Notions: The foundational assumptions upon which Euclid's geometry is built.
• Exact vs. Inexact Properties: Distinction between properties that require precise measurement (e.g., equality of lengths) and topological properties (e.g., inside/outside relationships).
• Parallel Postulate: Euclid's fifth postulate, concerning the behavior of parallel lines, which is more complex and less intuitive than the others.
• Axiomatic Deductive System: A system of reasoning where theorems are derived logically from a set of axioms (postulates).
• Non-Euclidean Geometry: Geometries that reject the parallel postulate, leading to different geometric properties.
• Formal Logic: A system of reasoning based on explicit rules and symbols, often used in computer systems.

1. The Significance of Euclid's Elements

• Euclid's Elements was the ultimate authority for mathematical truth for 2,000 years.
• It represents exact reasoning from the ancient Greeks.
• The approach used in the Elements was the most successful way to discover mathematical truth until the 17th century.

2. Ruler and Compass Constructions: More Than Just Drawing

• The video addresses the question: "What's the point of ruler and compass constructions?"
• To the ancient Greeks, diagrams weren't just illustrations; they were part of the reasoning of the proof itself.
• Modern mathematics requires every logical assumption to be explicitly stated, independent of any diagram.
• In Euclid's Elements (c. 300 B.C.), diagrams play a more integral role.

3. Euclid's First Proof and Unstated Assumptions

• Euclid's first proof (Proposition 1) makes an unstated assumption that modern mathematicians would consider a mistake.
• Proposition 1 is a recipe for constructing an equilateral triangle.
• The unstated assumption is that the two circles drawn in the construction must intersect.
• Viktor Blåsjö (Opinionated History of Mathematics podcast) argues that this isn't necessarily a mistake but reflects the context of Greek mathematical debate.
• The skeptic in the debate is asked to perform the steps, and it would be ridiculous to deny the obvious intersection.
• The burden is on the skeptic to provide a credible reason to doubt the intersection.

4. Exact vs. Inexact Properties in Diagrams

• Euclid doesn't establish exact properties (like equality) based on diagrams.
• He does allow diagrams to be used for inexact or topological properties (e.g., whether a point is inside or outside a figure).
• The written proof and the diagram share the work, with the diagram demonstrating what's impractical to demonstrate verbally.
• Diagrams must follow rules and be constructed according to precise steps.

5. Proposition 2: The Collapsible Compass

• Proposition 2 demonstrates how to place a straight line equal to a given straight line at a given point.
• Euclid uses an elaborate construction involving circles and an equilateral triangle.
• Euclid acts as if his compass is collapsible, meaning it loses its radius when lifted from the paper.
• This is not a practical approach for craftsmen but serves a theoretical purpose.
• Proposition 2 becomes a verified operation that can be added to the toolkit.
• Each construction is a module that proves an object can be constructed from the postulates.

6. The Greek Fixation on Proofs

• Unlike earlier civilizations, the Greeks wrote proofs.
• They wanted geometry to address philosophical questions.
• Rationalists (Plato) emphasized intuition, while empiricists (Aristotle) emphasized observation.
• Mathematicians used constructions to answer philosophical objections and build a consistent framework.
• Geometry became an indisputable source of absolute truth.

7. Postulates and Axioms: Ground Rules for Geometry

• Postulates (axioms) are starting assumptions.
• Euclid's first three postulates are about basic constructions with a straightedge and compass.
• Grounding the postulates in physical actions (ruler and compass) ensures consistency.
• Lines and curves are continuous because they're formed by continuous motion.

8. The Problem of Mistakes in Diagrams

• Diagrams can have subtle mistakes that ruin a proof.
• The video presents a false proof that right angles are not equal, illustrating how a hidden assumption can lead to an incorrect result.
• The Greek practice of ruler and compass constructions provides an answer to this problem.
• Following the steps from the Elements avoids subtle mistakes.
• If a diagram hasn't been properly constructed, it can't be used in a proof.

9. The Construction of a Square and the Parallel Postulate

• Euclid only uses shapes he's already shown how to construct.
• The construction of a square is more complicated than it seems.
• Euclid's construction of a square (Proposition 46) requires the parallel postulate.
• The parallel postulate (Postulate 5) is complex and not intuitive.
• It states that if a line falling across two other lines makes internal angles whose sum is less than two right angles, the two lines will meet.
• Without the parallel postulate, squares don't exist.
• Euclid's approach systematically catalogs every assumption required to make something like a square.

10. The History of Attempts to Prove the Parallel Postulate

• For centuries, mathematicians tried to prove the parallel postulate as a theorem.
• Ibn Al-Haytham, Omar Khayyam, Lagrange, and Legendre all attempted to prove it but failed.
• Euclid was right all along: the parallel postulate must be a separate assumption.
• The Greeks were sophisticated foundational geometers.

11. The Scope of Euclid's Elements

• Euclid's construction of the square leads to the Pythagorean theorem.
• The Elements covers plane geometry, number theory (prime and irrational numbers), and three-dimensional geometry (Platonic solids).
• Euclid gives every proof a diagram, even in number theory.
• The Elements is the culmination of generations of Greek mathematicians.

12. The Influence of Euclid's Elements

• The Elements acted as the arbiter of mathematical truth for two millennia.
• Middle Eastern scholars built on the Elements during the Dark Ages.
• Europeans saw ruler and compass constructions as the only path to mathematical certainty.
• Descartes justified his analytic geometry with constructions.

13. The Shift to Formal Logic

• The 19th-century realization of non-Euclidean geometry led to formal foundations for math.
• Math turned to formal logic, embodied by computer systems.
• Computerized proof checkers like Lean serve a similar purpose to the skeptic with a ruler and compass.
• Smaller operations based on fundamental starting points form subroutines that build into larger programmatic structures.

14. Conclusion

• There's a parallel between Euclid's constructions and programmatic animation.
• Instantiating something changes it from what you had in mind.
• The core idea is that having to physically or computationally realize a concept reveals its underlying structure and assumptions.

Notable Quotes:

• Viktor Blåsjö: "When people say there is a gap in the proof, you know, I think it is like an anachronistic way of thinking about it, that the existence needs to be ensured by a new axiom."
• Viktor Blåsjö: "The modern mathematics, you think of the skeptic as if it was like a logic machine who is just like crunching axioms, like a machine doing calculations, you know, and then, oh, there's no axiom here, error, you know, but that's not this."
• Viktor Blåsjö: "With the ruler and the compass, we are now saying the we have geometries based on these axioms. Furthermore, these axioms are instantiated in physical reality. Therefore, they must be as consistent as the physical experience itself, which has a greater track record than human thought and than just imagination."

Synthesis/Conclusion:

The video argues that Euclid's Elements is not just a collection of geometric proofs but a systematic exploration of the foundations of geometric knowledge. The ruler and compass constructions are not merely tools for drawing but a way of grounding geometric concepts in physical reality and ensuring the consistency of the axiomatic system. The video highlights the importance of understanding the historical context of Euclid's work and its lasting influence on mathematics and philosophy. It also draws a parallel between Euclid's approach and modern computer-based systems of formal logic, emphasizing the enduring need for verifiable procedures in abstract reasoning.