John Babington — British mathematician