John Horton Conway FRS (26 December 1937 – 11 April 2020) was an English mathematician. He is known for his theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. 