John Horton Conway
John H. Conway | |
---|---|
Born | John Horton Conway 26 December 1937[1] Liverpool, Lancashire, England |
Residence | United States |
Nationality | British |
Alma mater | Gonville and Caius College, Cambridge (BA, MA, PhD) |
Known for | |
Awards |
|
Scientific career | |
Fields | Mathematics |
Institutions | Princeton University |
Thesis | Homogeneous ordered sets (1964) |
Doctoral advisor | Harold Davenport[3] |
Doctoral students | Leonard Hyman Soicher[3] |
Website | math |
John Horton Conway FRS[2] (born 26 December 1937) is an English mathematician active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He has also contributed to many branches of recreational mathematics, notably the invention of the cellular automaton called the Game of Life. Conway is currently Professor Emeritus of Mathematics at Princeton University in New Jersey.[4][5][6][7][8][9][10]
Contents
Education and early life[edit]
Conway was born in Liverpool,[11] the son of Cyril Horton Conway and Agnes Boyce.[10] He became interested in mathematics at a very early age; his mother has recalled that he could recite the powers of two when he was four years old.[citation needed] By the age of eleven his ambition was to become a mathematician.
After leaving sixth form, Conway entered Gonville and Caius College, Cambridge[1] to study mathematics. Conway, who was a "terribly introverted adolescent" in school, interpreted his admission to Cambridge as an opportunity to transform himself into a new person: an "extrovert".[12][13]
He was awarded his Bachelor of Arts degree in 1959 and began to undertake research in number theory supervised by Harold Davenport. Having solved the open problem posed by Davenport on writing numbers as the sums of fifth powers, Conway began to become interested in infinite ordinals. It appears that his interest in games began during his years studying the Cambridge Mathematical Tripos, where he became an avid backgammon player, spending hours playing the game in the common room. He was awarded his doctorate in 1964 and was appointed as College Fellow and Lecturer in Mathematics at the University of Cambridge.
After leaving Cambridge in 1986, he took up the appointment to the John von Neumann Chair of Mathematics at Princeton University.
Conway's Game of Life[edit]
Conway is especially known for the invention of the Game of Life, one of the early examples of a cellular automaton. His initial experiments in that field were done with pen and paper, long before personal computers existed.
Since the game was introduced by Martin Gardner in Scientific American in 1970,[14] it has spawned hundreds of computer programs, web sites, and articles.[15] It is a staple of recreational mathematics. There is an extensive wiki devoted to curating and cataloging the various aspects of the game.[16] From the earliest days it has been a favorite in computer labs, both for its theoretical interest and as a practical exercise in programming and data display. At times Conway has said he hates the Game of Life–largely because it has come to overshadow some of the other deeper and more important things he has done.[17] Nevertheless, the game did help launch a new branch of mathematics, the field of cellular automata.[18]
The Game of Life is now known to be Turing complete.[19][20]
Conway and Martin Gardner[edit]
Conway's career is intertwined with mathematics popularizer and Scientific American columnist Martin Gardner. When Gardner featured Conway's Game of Life in his Mathematical Games column in October 1970, it became the most widely read of all his columns and made Conway an instant celebrity.[21][22] Gardner and Conway had first corresponded in the late 1950s, and over the years Gardner had frequently written about recreational aspects of Conway's work.[23] For instance, he discussed Conway's game of Sprouts (Jul 1967), Hackenbush (Jan 1972), and his angel and devil problem (Feb 1974). In the September 1976 column he reviewed Conway's book On Numbers and Games and introduced the public to Conway's surreal numbers.[24] Conferences called Gathering 4 Gardner are held every two years to celebrate the legacy of Martin Gardner, and Conway himself has often been a featured speaker at these events, discussing various aspects of recreational mathematics.[25][26]
Major areas of research[edit]
Combinatorial game theory[edit]
Conway is widely known for his contributions to combinatorial game theory (CGT), a theory of partisan games. This he developed with Elwyn Berlekamp and Richard Guy, and with them also co-authored the book Winning Ways for your Mathematical Plays. He also wrote the book On Numbers and Games (ONAG) which lays out the mathematical foundations of CGT.
He is also one of the inventors of sprouts, as well as philosopher's football. He developed detailed analyses of many other games and puzzles, such as the Soma cube, peg solitaire, and Conway's soldiers. He came up with the angel problem, which was solved in 2006.
He invented a new system of numbers, the surreal numbers, which are closely related to certain games and have been the subject of a mathematical novel by Donald Knuth.[27] He also invented a nomenclature for exceedingly large numbers, the Conway chained arrow notation. Much of this is discussed in the 0th part of ONAG.
Geometry[edit]
In the mid-1960s with Michael Guy, son of Richard Guy, Conway established that there are sixty-four convex uniform polychora excluding two infinite sets of prismatic forms. They discovered the grand antiprism in the process, the only non-Wythoffian uniform polychoron. Conway has also suggested a system of notation dedicated to describing polyhedra called Conway polyhedron notation.
In the theory of tessellations, he devised the Conway criterion which describes rules for deciding if a prototile will tile the plane.[28]
He investigated lattices in higher dimensions, and was the first to determine the symmetry group of the Leech lattice.
Geometric topology[edit]
In knot theory, Conway formulated a new variation of the Alexander polynomial and produced a new invariant now called the Conway polynomial.[29] After lying dormant for more than a decade, this concept became central to work in the 1980s on the novel knot polynomials.[30] Conway further developed tangle theory and invented a system of notation for tabulating knots, nowadays known as Conway notation, while correcting a number of errors in the 19th century knot tables and extending them to include all but four of the non-alternating primes with 11 crossings [Topology Proceedings 7 (1982) 118].
Group theory[edit]
He was the primary author of the ATLAS of Finite Groups giving properties of many finite simple groups. Working with his colleagues Robert Curtis and Simon P. Norton he constructed the first concrete representations of some of the sporadic groups. More specifically, he discovered three sporadic groups based on the symmetry of the Leech lattice, which have been designated the Conway groups.[31] This work made him a key player in the successful classification of the finite simple groups.
Based on a 1978 observation by mathematician John McKay, Conway and Norton formulated the complex of conjectures known as monstrous moonshine. This subject, named by Conway, relates the monster group with elliptic modular functions, thus bridging two previously distinct areas of mathematics–finite groups and complex function theory. Monstrous moonshine theory has now been revealed to also have deep connections to string theory.[32]
Conway introduced the Mathieu groupoid, an extension of the Mathieu group M12 to 13 points.
Number theory[edit]
As a graduate student, he proved one case of a conjecture by Edward Waring, that in which every integer could be written as the sum of 37 numbers, each raised to the fifth power, though Chen Jingrun solved the problem independently before the work could be published.[33]
Algebra[edit]
Conway has written textbooks and done original work in algebra, focusing particularly on quaternions and octonions.[34] Together with Neil Sloane, he invented the icosians.[35]
Analysis[edit]
He invented a base 13 function as a counterexample to the converse of the intermediate value theorem: the function takes on every real value in each interval on the real line, so it has a Darboux property but is not continuous.
Algorithmics[edit]
For calculating the day of the week, he invented the Doomsday algorithm. The algorithm is simple enough for anyone with basic arithmetic ability to do the calculations mentally. Conway can usually give the correct answer in under two seconds. To improve his speed, he practices his calendrical calculations on his computer, which is programmed to quiz him with random dates every time he logs on. One of his early books was on finite state machines.
Theoretical physics[edit]
In 2004, Conway and Simon B. Kochen, another Princeton mathematician, proved the free will theorem, a startling version of the 'no hidden variables' principle of quantum mechanics. It states that given certain conditions, if an experimenter can freely decide what quantities to measure in a particular experiment, then elementary particles must be free to choose their spins to make the measurements consistent with physical law. In Conway's provocative wording: "if experimenters have free will, then so do elementary particles."[36]
Awards and honours[edit]
Conway received the Berwick Prize (1971),[37] was elected a Fellow of the Royal Society (1981),[2] was the first recipient of the Pólya Prize (LMS) (1987),[37] won the Nemmers Prize in Mathematics (1998) and received the Leroy P. Steele Prize for Mathematical Exposition (2000) of the American Mathematical Society.
His nomination, in 1981, reads:
A versatile mathematician who combines a deep combinatorial insight with algebraic virtuosity, particularly in the construction and manipulation of "off-beat" algebraic structures which illuminate a wide variety of problems in completely unexpected ways. He has made distinguished contributions to the theory of finite groups, to the theory of knots, to mathematical logic (both set theory and automata theory) and to the theory of games (as also to its practice).[2]
In 2017 Conway was given honorary membership of the (British) Mathematical Association.[38]
Publications[edit]
- 2008 The symmetries of things (with Heidi Burgiel and Chaim Goodman-Strauss). A. K. Peters, Wellesley, MA, 2008, ISBN 1568812205
- 1997 The sensual (quadratic) form (with Francis Yein Chei Fung). Mathematical Association of America, Washington, DC, 1997, Series: Carus mathematical monographs, no. 26, ISBN 1614440255
- 1996 The book of numbers (with Richard K. Guy). Copernicus, New York, 1996, ISBN 0614971667
- 1988 Sphere packings, lattices, and groups[39] (with N. J. A. Sloane). Springer-Verlag, New York, 1988, Series: Grundlehren der mathematischen Wissenschaften, 290, ISBN 9780387966175
- 1985 Atlas of finite groups (with Robert Turner Curtis, Simon Phillips Norton, Richard A. Parker, and Robert Arnott Wilson). Clarendon Press, New York, Oxford University Press, 1985, ISBN 0198531990
- 1982 Winning Ways for your Mathematical Plays (with Richard K. Guy and Elwyn Berlekamp). Academic Press, ISBN 0120911507
- 1979 Monstrous Moonshine (with Simon P. Norton). Bulletin of the London Mathematical Society, vol. 11, issue 2, pp. 308–339.
- 1976 On numbers and games. Academic Press, New York, 1976, Series: L.M.S. monographs, 6, ISBN 0121863506
- 1971 Regular algebra and finite machines. Chapman and Hall, London, 1971, Series: Chapman and Hall mathematics series, ISBN 0412106205
References[edit]
- ^ a b "CONWAY, Prof. John Horton". Who's Who 2014, A & C Black, an imprint of Bloomsbury Publishing plc, 2014; online edn, Oxford University Press.(subscription required)
- ^ a b c d The Royal Society: John Conway Biography
- ^ a b c d e John Horton Conway at the Mathematics Genealogy Project
- ^ Conway, J. H.; Hardin, R. H.; Sloane, N. J. A. (1996). "Packing Lines, Planes, etc.: Packings in Grassmannian Spaces". Experimental Mathematics. 5 (2): 139. arXiv:math/0208004. doi:10.1080/10586458.1996.10504585.
- ^ John Horton Conway's publications indexed by the Scopus bibliographic database. (subscription required)
- ^ Conway, J. H.; Sloane, N. J. A. (1990). "A new upper bound on the minimal distance of self-dual codes". IEEE Transactions on Information Theory. 36 (6): 1319. doi:10.1109/18.59931.
- ^ Conway, J. H.; Sloane, N. J. A. (1993). "Self-dual codes over the integers modulo 4". Journal of Combinatorial Theory, Series A. 62: 30. doi:10.1016/0097-3165(93)90070-O.
- ^ Conway, J.; Sloane, N. (1982). "Fast quantizing and decoding and algorithms for lattice quantizers and codes" (PDF). IEEE Transactions on Information Theory. 28 (2): 227. doi:10.1109/TIT.1982.1056484.
- ^ Conway, J. H.; Lagarias, J. C. (1990). "Tiling with polyominoes and combinatorial group theory". Journal of Combinatorial Theory, Series A. 53 (2): 183. doi:10.1016/0097-3165(90)90057-4.
- ^ a b MacTutor History of Mathematics archive: John Horton Conway
- ^ "John Conway". www.nndb.com. Retrieved 10 August 2010.
- ^ Roberts, Siobhan (23 July 2015). "John Horton Conway: the world's most charismatic mathematician". The Guardian.
- ^ Mark Ronan (18 May 2006). Symmetry and the Monster: One of the greatest quests of mathematics. Oxford University Press, UK. p. 163. ISBN 978-0-19-157938-7.
- ^ Gardner, Martin (October 1970). "Mathematical Games: The fantastic combinations of John Conway's new solitaire game "Life"". Scientific American. Vol. 223. pp. 120–123.
- ^ DMOZ: Conway's Game of Life: Sites
- ^ LifeWiki
- ^ Does John Conway hate his Game of Life? (video)
- ^ MacTutor History: The game made Conway instantly famous, but it also opened up a whole new field of mathematical research, the field of cellular automata.
- ^ Rendell (2015)
- ^ Case (2014)
- ^ Martin Gardner, puzzle master extraordinaire by Colm Mulcahy, BBC News Magazine, 21 October 2014: "The Game of Life appeared in Scientific American in 1970, and was by far the most successful of Gardner's columns, in terms of reader response."
- ^ The Top 10 Martin Gardner Scientific American Articles
- ^ The Math Factor Podcast Website John H. Conway reminisces on his long friendship and collaboration with Martin Gardner.
- ^ Martin Gardner, Penrose Tiles to Trapdoor Ciphers, W. H. Freeman & Co., 1989, ISBN 0-7167-1987-8, Chapter 4. A non-technical overview; reprint of the 1976 Scientific American article.
- ^ Presentation Videos Archived 9 August 2016 at the Wayback Machine from 2014 Gathering 4 Gardner
- ^ Bellos, Alex (2008). The science of fun The Guardian, 30 May 2008
- ^ Infinity Plus One, and Other Surreal Numbers by Polly Shulman, Discover Magazine, 1 December 1995
- ^ Rhoads, Glenn C. (2005). "Planar tilings by polyominoes, polyhexes, and polyiamonds". Journal of Computational and Applied Mathematics. 174 (2): 329–353. doi:10.1016/j.cam.2004.05.002.
- ^ Conway Polynomial Wolfram MathWorld
- ^ Livingston, Charles, Knot Theory (MAA Textbooks), 1993, ISBN 0883850273
- ^ Harris (2015)
- ^ Monstrous Moonshine conjecture David Darling: Encyclopedia of Science
- ^ Breakfast with John Horton Conway
- ^ Conway and Smith (2003): "Conway and Smith's book is a wonderful introduction to the normed division algebras: the real numbers, the complex numbers, the quaternions, and the octonions."
- ^ John Baez (2 October 1993). "This Week's Finds in Mathematical Physics (Week 20)".
- ^ Conway's Proof Of The Free Will Theorem by Jasvir Nagra
- ^ a b London Mathematical Society Prizewinners
- ^ [1]
- ^ Guy, Richard K. (1989). "Review: Sphere packings, lattices and groups, by J. H. Conway and N. J. A. Sloane" (PDF). Bulletin of the American Mathematical Society (N.S.). 21 (1): 142–147. doi:10.1090/s0273-0979-1989-15795-9.
Sources[edit]
- Alpert, Mark (1999). Not Just Fun and Games Scientific American, April 1999
- Conway, John and Smith, Derek A. (2003). On quaternions and Octonions : their Geometry, Arithmetic, and Symmetry Bull. Amer. Math. Soc. 2005, vol=42, issue=2, pp. 229–243, ISBN 1568811349
- Boden, Margaret (2006). Mind As Machine, Oxford University Press, 2006, p. 1271
- Case, James (2014). Martin Gardner’s Mathematical Grapevine Book Reviews of Undiluted Hocus-Pocus: The Autobiography of Martin Gardner and Martin Gardner in the Twenty-First Century, SIAM News, Volume 47, Number 3, April 2014
- Conway, John and Sigur, Steve (2005). The Triangle Book AK Peters, Ltd, 15 June 2005, ISBN 1568811659
- du Sautoy, Marcus (2008). Symmetry, HarperCollins, p. 308
- Guy, Richard K (1983). Conway's Prime Producing Machine Mathematics Magazine, Vol. 56, No. 1 (Jan. 1983), pp. 26–33
- Harris, Michael (2015). Review of Genius At Play: The Curious Mind of John Horton Conway Nature, 23 July 2015
- Roberts, Siobhan (2015). Genius at play: The curious mind of John Horton Conway. Bloomsbury. ISBN 978-1620405932.
- O'Connor, John J.; Robertson, Edmund F., "John Horton Conway", MacTutor History of Mathematics archive, University of St Andrews.
- John Horton Conway at the Mathematics Genealogy Project
- Princeton University (2009). Bibliography of John H. Conway Mathematics Department
- Rendell, Paul (2015). Turing Machine Universality of the Game of Life Springer, July 2015, ISBN 3319198416
- Seife, Charles (1994). Impressions of Conway The Sciences
External links[edit]
- Photos of John Horton Conway
- Conway, John (20 April 2009). "Proof of the Free Will Theorem" (Video). Archived Lectures.
- John Conway. Videos. Numberphile. playlist on YouTube
- The Princeton Brick (2014) on YouTube Conway leading a tour of brickwork patterns in Princeton, lecturing on the ordinals and on sums of powers and the Bernoulli numbers
- 1937 births
- Living people
- 20th-century British mathematicians
- 21st-century mathematicians
- Algebraists
- Group theorists
- Combinatorial game theorists
- Cellular automatists
- Mathematics popularizers
- Recreational mathematicians
- English mathematicians
- Alumni of Gonville and Caius College, Cambridge
- Fellows of the Royal Society
- Princeton University faculty
- Scientists from Liverpool
- British expatriate academics in the United States
- English atheists