Thomas Hornsby — British astronomer and mathematician