Máquinas de Post: Una Introducción a la Teoría de la Computación

Aunque "Máquinas de Post" se centra en la teoría de la computabilidad, ambos libros exploran la vida y las contribuciones de pensadores que, con sus innovadoras (y a menudo incomprendidas) ideas en matemáticas, sentaron las bases para campos completamente nuevos. En lugar de otro texto sobre Turing, este libro destaca la fascinación por las estructuras subyacentes de las matemáticas, un hilo conductor con el trabajo de Post y Davis, a través de la vida de un genio que redefinió los límites de lo 'calculable' en álgebra siglos antes.

En lugar de centrarse directamente en la computabilidad teórica, este libro aborda los mismos conceptos subyacentes (sistemas formales, recursión, auto-referencia, límites de la lógica) de una manera multidisciplinar y artística, haciendo que las ideas abstractas de la teoría de la computación sean accesibles de una forma creativa y no convencional. Se desvía de una exposición puramente matemática para mostrar la omnipresencia de estos principios.

El trabajo de Martin Davis, especialmente sobre las máquinas de Post y Turing, es un pilar de la teoría de la computabilidad que explora los límites de lo que es computable. Los teoremas de incompletitud de Gödel se sumergen en una pregunta filosóficamente similar pero desde el ámbito de la lógica matemática: ¿cuáles son los límites de lo demostrable y deducible dentro de un sistema formal? Ambos abordan las fronteras intrínsecas del conocimiento sistemático.

Si bien "Máquinas de Post" se adentra en la computabilidad, es heredero de la tradición de rigor formal y fundamentación lógica que el "Principia Mathematica" intenta establecer. Ambos proyectos, aunque en fases y enfoques diferentes, buscan comprender la naturaleza fundamental del razonamiento y la capacidad de los sistemas formales. El "Principia" establece las bases lógicas que luego Gödel y, por extensión, la teoría de la computación exploran y ponen a prueba.

Mientras Davis sistematiza un modelo matemático para la computabilidad, Wiener conceptualiza las implicaciones más amplias de esta en el mundo real, sentando las bases de la inteligencia artificial y la robótica. "Máquinas de Post" aborda el 'cómo' y el 'qué' de la computación a nivel teórico, y "La cibernética" se pregunta por el 'para qué' y el 'dónde más' se aplican los principios de la computación y la información en sistemas complejos; es la aplicación del entendimiento de los mismos mecanismos de los que Post y Turing hablaban.

La obra de Conway comparte con el trabajo de Emil Post y Martin Davis una elegancia estructural. Así como las máquinas de Post derivan una vasta capacidad de computación de un conjunto mínimo de reglas, Conway demuestra cómo un universo numérico completo emerge de axiomas extremadamente simples. Ambos utilizan una aproximación axiomática y constructivista para explorar los límites y las posibilidades de los sistemas formales, presentando sus ideas de manera directa y lógica, muy similar a un manual técnico.