Astronomer who explained that Earth revolves round the sun