The Crisis of the Square Root of Two
@sam The early Pythagorean school, active in the 6th century BCE, treated numbers not simply as quantities but as metaphysical elements of reality. Their foundational doctrine, summarized by the axiom "all is number," viewed the universe as constructed from whole-number ratios — especially those that governed musical harmony and geometric proportions. Within this worldview, rationality was equated with cosmic order, and ratios of integers were considered the underlying principles of both mathematics and nature. The discovery of irrational numbers, particularly √2, marked a profound disruption in this worldview.
The specific context for the discovery of √2 arises from the diagonal of a unit square. Applying the Pythagorean theorem yields d = √(1² + 1²) = √2, which cannot be expressed as the ratio of two integers—a fact now rigorously established using contradiction proofs. Ancient sources such as Proclus and Iamblichus recount that the Pythagoreans initially responded to this realization with secrecy or outright suppression. In some sources, a member of the school—often identified as Hippasus of Metapontum—was excommunicated and allegedly executed by drowning at sea for disclosing the incommensurability of the square’s diagonal. While the historical accuracy of these accounts is debated, the symbolic truth is clear: irrationality was seen not as a mathematical curiosity, but as a scientific crisis.
This crisis stemmed from the realization that not all magnitudes could be measured by whole-number ratios—a violation of the Pythagorean principle that the cosmos is structured through commensurable harmony. In modern terms, the Pythagoreans were encountering the limits of a discrete arithmetic worldview. Irrational numbers such as √2 introduced a new kind of number—one that is uncountable, infinite in decimal expansion, and structurally incommensurable. This realization ultimately pushed Greek mathematics toward more rigorous geometric reasoning, as reflected in Euclid’s Elements, Book X, which classifies irrational magnitudes geometrically without referring to them as numbers per se. The shock of √2’s irrationality catalyzed a transition from numerical arithmetic to a more abstract, geometric understanding of number—a shift that shaped the future development of Western mathematics.