Greek mathematician and astronomer (5th c. BC); held subterranean winter heat dried the springs feeding rivers.