Esta tesis fue enunciada formalmente en 1960 por Zuse y Fredkin.