John Fitch — British mathematician and computer scientist