A historical sketch of astronomy