How Ancient Greek philosophers knew the earth was a sphere