Mathematics I / The Structure of Mathematical Reasoning
Practice question · Multiple choice

Euclid's parallel postulate looked less self-evident than his other four, and mathematicians spent two thousand years trying to derive it. Why is the failure one of the most productive in the subject's history?

Hints
  1. The attempts assumed its negation hoping for absurdity. What did they get instead?
  2. Ask what the surface of a sphere does to parallel lines.
Show the answer

C. Because denying it produced consistent geometries, not contradictions

Why

Assuming the negation produced no contradiction but a coherent geometry, spherical and hyperbolic, so the postulate was independent rather than derivable. Axioms became choices with consequences instead of self-evident truths, and the non-Euclidean cases turned out to describe the Earth's surface and curved spacetime.

Read the lesson: The Structure of Mathematical Reasoning →

Practise The Structure of Mathematical Reasoning

The app has 5 more questions on this lesson, and keeps your place in the course. Mathematics I is free to start.

More questions on The Structure of Mathematical Reasoning