Thales' Theorem

The powerful procedures possible with modern mathematics are rooted in logic that began thousands of years ago. Thales' Theorem demonstrates one style of early mathematical logic, a logic that is relevant and important today.