Anatomía Completa del Problema P vs NP: El Pináculo de la Teoría de la Complejidad Computacional y su Abismo sin Resolver
Máquina de Turing y teoría de la computabilidad: El experimento mental de Alan Turing y el problema de la parada