“Euclidean geometry had, for centuries, practically defined proper reasoning from sure starting points to inevitable conclusions.”