On Numbers and Games

On Numbers and Games (Sobre números y juegos) es un libro de John Horton Conway publicado por primera vez en 1976.[1] Aunque el libro está dirigido a otros matemáticos, está desarrollado de una manera lúdica y sin pretensiones, y muchos capítulos son accesibles para los no matemáticos. Martin Gardner discutió el libro extensamente, particularmente la construcción de números surreales de Conway, en su columna Mathematical Games en Scientific American en septiembre de 1976.[2]

El libro está dividido aproximadamente en dos secciones: la primera mitad (o parte cero), sobre números, la segunda mitad (o primera parte), sobre juegos. En la primera sección, Conway proporciona una construcción axiomática de números y aritmética ordinal, a saber, los números enteros, reales, el infinito contable y torres enteras de infinitos ordinales, usando una notación que es esencialmente una variación casi trillada (pero críticamente importante) del corte Dedekind. Como tal, la construcción tiene sus raíces en la teoría axiomática de conjuntos y está estrechamente relacionada con los axiomas de Zermelo-Fraenkel. La sección también cubre lo que Conway (adoptando la nomenclatura de Knuth) denominó los "números surreales".

Conway luego observa que, en esta notación, los números pertenecen de hecho a una clase más grande, la clase de todos los juegos de dos jugadores. Los axiomas de mayor que y menor que se consideran un orden natural en los juegos, correspondiente a cuál de los dos jugadores puede ganar. El resto del libro está dedicado a explorar una serie de juegos para dos jugadores diferentes (no tradicionales, inspirados matemáticamente), como Nim, Hackenbush y los juegos de colorear mapas Col y Snort. El desarrollo incluye su puntuación, una revisión del teorema de Sprague-Grundy y las interrelaciones con los números, incluida su relación con infinitesimales.