Panormica de la teora computacional

"Panormica de la teora computacional" realiza una introduccin tanto a la teora de la computacin como a la teora de la complejidad computacional, prestando especial atencin a los movimientos filosficos que propiciaron su desarrollo. A diferencia de la mayora de las obras relativas a esta materia, este libro no hace gala de la tradicional dicotoma entre filosofa y matemticas, sino que recorre elegantemente, con la elocuencia precisa y el rigor debido, una disciplina que surgi en el alambre entre dos ramas distintas del conocimiento. En efecto, si algo caracteriza a esta obra es su capacidad para expresar en lenguaje claro las nociones matemticas ms significativas al tiempo que da en el clavo de las cuestiones filosficas ms sutiles. En tanto que introduccin general a una materia concreta, no debe esperar el lector ninguna tesis cientfica o filosfica sustantiva. Sin embargo, s que encontrar una exposicin ligera y de fcil lectura, que potenciar su anhelo por continuar investigando este campo.