El artículo de Levin sobre este teorema fue publicado en 1973; había dado una conferencia de sus ideas algunos años antes, aunque los resultados de la escritura formal ocurrieron después de la publicación de Stephen Cook.