Alan Turing publie en 1936 un article où il répond négativement à une question de logique formelle, « Peut-on concevoir un algorithme qui décide si une formule du calcul des prédicats est provable ou non ? ». Il utilise pour se faire un modèle de calcul qui n'a cessé d'être utilisé depuis, et qu'on appelle la Machine de Turing. Pour cette raison, 1936 est une date majeure de l'informatique, et peut-être même la date de naissance de l'informatique théorique. Ce document de cours est un "picopoly" (une sorte de flyer) qu'il est préférable d'imprimer en format A3 pour ensuite le plier et obtenir un livret en format A6.