English mathematician and astronomer