Automate cellulairethumb|250px|right| À gauche, une règle locale simple : une cellule passe d'un état (i) au suivant (i+1) dans le cycle d'états dès que i+1 est présent dans au moins 3 des 8 cellules voisines. À droite, le résultat (complexe) de l'application répétée de cette règle sur une grille de cellules. Ce type d'automates cellulaires a été découvert par D. Griffeath. Un automate cellulaire consiste en une grille régulière de « cellules » contenant chacune un « état » choisi parmi un ensemble fini et qui peut évoluer au cours du temps.
John Horton ConwayJohn Horton Conway, né le à Liverpool et mort le à New Brunswick (New Jersey), est un mathématicien britannique. Il s'est intéressé aux théories des groupes finis, des nœuds, des nombres, des jeux et du codage. Né en 1937 en Angleterre, John Horton Conway s'intéresse très tôt aux mathématiques et décide de devenir mathématicien dès l'âge de 11 ans. Il étudie les mathématiques à Cambridge, au Gonville and Caius College, et obtient son Bachelor of Arts en 1959.
Mathématiques récréativesLes mathématiques récréatives incluent de nombreux jeux mathématiques, et peuvent être étendues pour couvrir des domaines comme la logique ainsi que d'autres puzzles de raisonnements déductifs. La plupart des problèmes posés ne requièrent pas une connaissance de mathématiques avancées, mais plutôt une bonne logique. Les mathématiques récréatives incluent par exemple les carrés magiques, les cryptarithmes, les propriétés remarquables de certains nombres, les formules permettant de calculer le nombre Pi avec plus ou moins de décimales, les nombres premiers, les tests ou astuces de raisonnement logique, les problèmes liés à des jeux à base mathématique (échecs, go, othello.
Triangle de SierpińskiLe triangle de Sierpiński, ou tamis de Sierpińsky, également appelé par Mandelbrot le joint de culasse de Sierpiński, est une fractale, du nom de Wacław Sierpiński qui l'a décrit en 1915. Il peut s'obtenir à partir d'un triangle « plein », par une infinité de répétitions consistant à diviser par deux la taille du triangle puis à les accoler en trois exemplaires par leurs sommets pour former un nouveau triangle. À chaque répétition le triangle est donc de même taille, mais « de moins en moins plein ».
Turing-completEn informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet (par calque de l’anglais Turing-complete) s’il possède un pouvoir expressif au moins équivalent à celui des machines de Turing. Dans un tel système, il est donc possible de programmer n'importe quelle machine de Turing. Cette notion est rendue pertinente par la thèse de Church, qui postule l’existence d’une notion naturelle de calculabilité.
Rule 110The Rule 110 cellular automaton (often called simply Rule 110)is an elementary cellular automaton with interesting behavior on the boundary between stability and chaos. In this respect, it is similar to Conway's Game of Life. Like Life, Rule 110 with a particular repeating background pattern is known to be Turing complete. This implies that, in principle, any calculation or computer program can be simulated using this automaton. In an elementary cellular automaton, a one-dimensional pattern of 0s and 1s evolves according to a simple set of rules.
