« Poincaré : Philosophe et mathématicien », Les génies de la Science, Pour la Science, Novembre 2000 H. Poincaré, « La Science et lhypothèse », Paris,
La machine de Turing Une bande infinie qui est une suite de cases. Chaque case porte un symbole qui est un élément d'un ensemble fini de symboles que.