ISBN 978-612-99446-5-4

Reseña

Este libro no es una introducción a la programación. Tampoco es un manual de algoritmos. Es, ante todo, una arqueología conceptual: una excavación en las capas de la práctica técnica hasta dar con los estratos matemáticos y lógicos que la sostienen.
Quien se forma en informática suele recorrer un camino bien definido: aprende un lenguaje, implementa estructuras de datos, adquiere criterios de eficiencia. Este trayecto es operativamente eficaz, pero con frecuencia oculta el subsuelo sobre el que se asienta. El algoritmo se vuelve un instrumento cotidiano, casi invisible, cuyo origen formal permanece en la penumbra. Esta obra propone un movimiento inverso: en lugar de partir de la implementación para luego abstraer, parte de los fundamentos que hicieron posible la noción misma de algoritmo.
Para ello, el texto se organiza como un recorrido progresivo que va desde el origen conceptual del algoritmo hasta el estudio de los límites de la computación y la complejidad de los problemas.
En lugar de presentar directamente técnicas o herramientas, la obra parte de una pregunta fundamental: ¿qué significa realmente calcular? A partir de ella, se desarrolla un itinerario que atraviesa la historia, la lógica y la matemática hasta consolidar la computación como una ciencia formal.
El Capítulo I reconstruye el proceso histórico mediante el cual la noción intuitiva de procedimiento efectivo se transforma en un objeto matemático. Desde las primeras ideas de sistematización del pensamiento hasta la crisis de fundamentos del siglo XX, se analizan las contribuciones de figuras como Llull, Leibniz, Dedekind y Peano, culminando en Gödel, Church y Turing. En este recorrido emerge una idea central: la computación no surge con las máquinas, sino con la necesidad de delimitar qué puede resolverse mediante reglas finitas y qué no.
El Capítulo II introduce la formalización rigurosa mediante la teoría de las funciones recursivas. Aquí se define con precisión qué significa que una función sea computable, recorriendo la transición desde funciones primitivas recursivas hasta funciones recursivas generales, donde aparece de forma esencial la posibilidad de no terminación.
El Capítulo III analiza el impacto de la computabilidad en la computación, mostrando cómo los resultados teóricos establecen límites fundamentales para los algoritmos y redefinen la naturaleza de los problemas computacionales.
El Capítulo IV presenta las herramientas derivadas de este marco teórico, evidenciando cómo los conceptos formales se traducen en estructuras y prácticas concretas dentro de la informática, estableciendo un puente entre teoría y aplicación.
El Capítulo V aborda los algoritmos como objetos de estudio, proponiendo su clasificación según su estructura y estrategias de diseño. Se sistematiza así el estudio de los procedimientos computacionales.
El Capítulo VI se centra en la complejidad de los algoritmos, introduciendo métodos para analizar su eficiencia y describir su comportamiento en función del tamaño de la entrada.
El Capítulo VII amplía este análisis hacia la complejidad de los problemas, estudiando clases como P y NP y explorando la distinción entre problemas resolubles eficientemente y aquellos que, aunque verificables, podrían no serlo.
El Capítulo VIII cierra el recorrido abordando la frontera entre lo eficiente y lo imposible. Aquí se examinan los límites de la complejidad algorítmica, consolidando una visión en la que no todo problema computacional admite solución práctica, e incluso algunos escapan por completo a cualquier procedimiento efectivo.
Este recorrido no es meramente expositivo. Su propósito es mostrar que el algoritmo no es una herramienta aislada, sino el resultado de un proceso intelectual profundo en el que convergen la lógica, la matemática y la filosofía. Comprender ese proceso es comprender que la computación no solo trata de lo que puede hacerse, sino también —y de manera esencial— de lo que no puede hacerse.
La computación no se define solo por lo que puede hacer. En modelos Turing-completos, la expresividad computacional general implica admitir procesos cuya terminación no puede garantizarse universalmente; comprenderla es comprender sus límites: allí donde el algoritmo encuentra sus límites, emergen preguntas que exceden el alcance de los procedimientos formales.
Este libro no enseña a programar. Enseña a leer la arquitectura invisible que hace posible todo programa.