◄ UD0   LOGIKĒ · the lineage of logical mathematics   ·   the greek mirror
LOGIKĒ · I · the first to prove

Thales of Miletus

c. 624 – c. 546 BCE · Miletus, Ionia · one of the Seven Sages
Before him, mathematics was a book of recipes. The Egyptians and Babylonians knew how to find an area, lay a right angle, predict a moon — brilliant procedures, handed down, trusted because they worked. Thales asked the question that started everything: why must it be so? And he answered not by measuring more cases, but by argument — a chain of reasons that makes a truth hold for every case at once, forever. That move — from "it works" to "it must" — is the first step of logical mathematics, and he took it first.
✓ STRONG

The reputation. Aristotle, Herodotus and Proclus all name Thales as the founder of Greek deductive geometry and natural philosophy. His eclipse of 585 BCE is fixed by astronomy.

◐ TRADITIONAL

The theorems. The five results credited to him are plausible but documented centuries later (Eudemus via Proclus). The attributions are tradition, not contemporary record.

◔ DEBATED

Did he "prove"? Whether Thales gave formal proofs, or whether deduction crystallised later and was projected back onto him, is genuinely argued by historians.

I · The theorem, and why it can't be otherwise

Take any circle and its diameter AB. Pick any point P on the arc and join it to both ends. Thales' Theorem: the angle at P is always exactly a right angle — drag P anywhere and it never budges from 90°. A Babylonian would have measured a few and trusted it. Thales proved it, and you can watch the proof: drop the radius OP and the figure splits into two isosceles triangles whose base angles must sum to a right angle.

drag the point P around the arc
diameter AB · point P (drag it) · the angle ∠APB stays 90° · with the proof on: the radius OP and the two isosceles triangles (α + β = 90°)
90.0°
∠APB at the point
α + β = 90° ⟹ ∠APB = 90°
The argument: OA, OP, OB are all radii, so triangles OAP and OBP are isosceles — their base angles are equal (α, α and β, β). The three angles of triangle APB sum to 180°: α + β + (α+β) = 180°, so α + β = 90°. The angle at P is α + β. It must be a right angle — for any P. That "must," not "does," is the whole revolution.

II · Recipe versus proof

The gap Thales crossed: a recipe tells you what to do and is confirmed by trying it; a proof tells you why it can't fail and is confirmed by reason alone. Measure ten thousand triangles and a doubter can still ask about the ten-thousand-and-first. Prove it once and the question is closed for all of them, including the ones no one will ever draw. Five theorems are traditionally his — the first deductions in history:

① the diameter halves the circle

A diameter cuts a circle into two equal parts — the first recorded geometric proof.

② isosceles base angles are equal

If two sides are equal, the angles opposite them are equal.

③ vertical angles are equal

Two crossing lines make opposite angles that must match.

④ the angle in a semicircle is right

The theorem above — said to have so delighted him he sacrificed an ox.

⑤ a triangle is fixed by a side and its two angles (ASA)

Enough to reconstruct a triangle — and, the story goes, enough to find the distance to a ship at sea from the shore.

"Megiston topos: apanta gar chorei." — Space is the greatest thing, for it contains all things. — attributed to Thales

III · The man, and the honest caveat

Thales was practical before he was abstract. He is said to have predicted the solar eclipse of 28 May 585 BCE, which fell during a battle between the Lydians and the Medes and frightened them into peace — one of the oldest precisely datable events in history. He measured the height of a pyramid from the length of its shadow, at the hour his own shadow equalled his height (similar triangles, used in the field). And he made the first move of science: explaining the world without the gods — proposing that water is the arche, the single underlying stuff of all things. Wrong answer; revolutionary question.

Gate kept on. Thales wrote nothing that survives — possibly nothing at all. Everything here comes through later hands: Aristotle (two centuries on), and Proclus (a millennium on) quoting the lost history of Eudemus. So the theorems and proofs are the tradition's Thales; some historians think formal proof matured later and was credited back to the founder. He is the firm first of the reputation for deductive reasoning, the traditional first of the theorems, and a debated first of proof in the strict sense. The romance and the record don't perfectly align — and saying so is the point of this whole domain.