En este trabajo se exponen sendas introducciones a los conceptos propios de la teoría de la computación y de la teoría de la complejidad computacional, prestando especial atención a los movimientos filosóficos que propiciaron su desarrollo. Asimismo, se presenta una de las incógnitas sin resolver más importantes de laMatemática, la conjetura de Cook, así como sus consiguientes implicaciones al respecto de la naturaleza de los propios problemas. |