Complexity and Real Computation

Aunque no es un tratado formal de computación, este libro profundiza en los fundamentos teóricos y filosóficos de la computación, la autorreferencia y la complejidad. Conecta de manera no obvia con 'Complexity and Real Computation' al abordar cómo los sistemas simbólicos y las estructuras lógicas pueden dar lugar a la inteligencia y a la computación, cuestionando los límites de lo computable de una manera más metafórica pero igualmente profunda.

Este libro ofrece una perspectiva fundamental sobre los orígenes y la dirección conceptual de la computación, anterior a muchas de las formalizaciones modernas. Se conecta con el libro de referencia al explorar la complejidad inherente a los sistemas autoorganizativos y la computación en un sentido primario, sin la rigidez de los modelos actuales, ofreciendo un contraste instructivo.

Este libro ahonda filosóficamente en la naturaleza de los problemas intratables, un tema central que 'Complexity and Real Computation' extiende al dominio de los números reales. La pregunta P vs NP, explorada en ambos, representa una de las cuestiones más profundas sobre los límites del conocimiento y la capacidad computacional para resolver problemas fundamentales.

Comparte la misma inquietud filosófica subyacente sobre la complejidad de los problemas computacionales y los límites de lo que las máquinas pueden lograr eficientemente. Mientras 'Complexity and Real Computation' formaliza sobre los reales, Lipton reflexiona de manera más amplia sobre el impacto y las implicaciones de la complejidad teórica, conectando con las preguntas fundamentales sobre el poder de la computación.

Aunque se enfoca en cibernética, comparte con 'Complexity and Real Computation' la ambición de establecer bases matemáticas rigurosas para la computación y la información. Su origen y enfoque lo hacen una alternativa menos conocida en el ámbito anglosajón, ofreciendo una perspectiva diferente sobre la formalización de procesos complejos y la 'computación' en un sentido más amplio.

Sadosky, una figura relevante en la computación latinoamericana, ofrece una visión fundamental de la computación que, como Blum et al., busca establecer los cimientos teóricos. Su trabajo, aunque menos difundido en el mundo anglosajón, aborda cuestiones similares sobre la naturaleza de la computación de forma didáctica y profunda, extendiendo la comprensión de conceptos precursores de la teoría de la complejidad.

Mientras 'Complexity and Real Computation' establece un formalismo para la computación sobre números reales, Dantzig aborda la construcción conceptual del número en sí mismo. La conexión estructural reside en que ambos libros toman un concepto fundamental (el número o la computación con números reales) y lo construyen de manera axiomática o históricamente progresiva, desde sus elementos básicos hasta sus implicaciones más complejas, funcionando como fundamentos teóricos para sus respectivos campos.

Este libro se conecta estructuralmente por su enfoque en los sistemas formales y la iteración o recursión como medios para generar complejidad, de manera análoga a cómo 'Complexity and Real Computation' desentraña la complejidad mediante algoritmos y modelos de computación. Ambos examinan cómo reglas simples pueden dar lugar a fenómenos complejos, aunque Poundstone lo hace desde una perspectiva más divulgativa y holística de la recursión, mientras que el libro de referencia se centra en formalismos matemáticos específicos.