William Gardiner — English mathematician (18th century)