File:Recursive enumeration of all halting Turing machines.gif Source: en.wikipedia.org/wiki/File:Recursive_enumeration_of_all_halting_Turing_machines.gif