Este texto es un tratado fundamental sobre las máquinas de Turing y su papel en la definición de la computabilidad efectiva. Profundiza en los aspectos lógicos y formales que subyacen a toda capacidad computacional, sentando las bases para comprender qué puede y qué no puede ser computado.
