Les modèles de machines de Post et Wang peuvent être simulés par des boîtes quantiques. Dans la première partie de cet article, les auteurs se servent du langage Sophus qui permet aisément de simuler des boîtes contenant un nombre entier de billes, pour aborder des algorithmes classiques dans l’optique de la construction du nombre : de la représentation des entiers aux addition, soustraction, multiplication et division euclidienne, puis la propriété archimédienne de R et le calcul de racines carrées. Dans une deuxième étape, les auteurs ont construit les mêmes machines de Wang, qui étaient inventées en 1955-1956. Toutes ces machines sont capables de calculer n’importe qu’elle fonction calculable. Par suite ils se sont intéressés à un autre sujet introduit et exploré par Wang en 1961 : les tuiles de Wang. Les tuiles de Wang sont des carrés à bords distincts qui s’assemblent comme des pièces de puzzle dans le plan à deux dimensions. Mais les pièces peuvent seulement être glissées (les rotations et les symétries ne sont pas permises). Avec ces tuiles, on cherche à paver une zone rectangulaire du plan, voire le plan tout entier. Ils évoquent les deux types de pavages : les jeux apériodiques de tuiles et les pavages périodiques. Les auteurs terminent leur article par une biographie assez détaillée de Hao Wang. Ils y réservent une bonne partie à la machine de Wang qu’il baptisait « de Turing ».