Theory of Computation

Le problème de l'arrêt (Halting Problem) : Le programme ultime qu'il est impossible de créer