Philosophical Issues in the Theory of Computation

Aunque ambos tratan temas filosóficos en computación, el libro de referencia se centra en problemas teóricos y lógicos, mientras que este profundiza en la computación como METÁFORA y como LÍMITE de comprensión de la realidad, y no tanto en sus aspectos teóricos internos. Ofrece una perspectiva metafísica y epistemológica a menudo obviada en discusiones más técnicas.

Mientras que Philosophical Issues in the Theory of Computation aborda los fundamentos abstractos y formales de la computación, Dreyfus adopta una postura crítica fenomenológica y existencialista. Su enfoque es 'nonobvious' porque desafía la premisa subyacente de que la computación puede capturar todos los aspectos de la inteligencia, un contraste con los problemas teóricos internos al campo.

Al igual que el libro de referencia, este explora profundamente las implicaciones filosóficas de los sistemas formales y la teoría de la computación, pero lo hace de una manera interdisciplinaria y accesible. Ambos abordan la naturaleza de los sistemas lógicos, la completitud y la incompletitud, y los límites del conocimiento dentro de los paradigmas computacionales y matemáticos.

Mientras que el libro de referencia aborda cuestiones filosóficas amplias en la teoría de la computación, este se sumerge en el corazón mismo de la definición fundacional: la máquina de Turing. La conexión es profunda porque ambos exploran los límites y las posibilidades de los sistemas computacionales desde una base lógica rigurosa, ofreciendo perspectivas complementarias sobre la naturaleza de la computación.

Aunque no es estrictamente un ensayo de filosofía de la computación, sienta las bases para muchas de las preguntas que surgirían después sobre la ética y la sociedad digital. Constituye un precursor fundamental de la filosofía de la computación, siendo de un autor no necesariamente popular en listas contemporáneas de 'filosofía de la computación', pero cuya obra es fundacional y sus implicaciones aún profundas.

Mientras el libro de referencia se sitúa en una tradición analítica de la filosofía de la computación, este ofrece un enfoque fenomenológico profundo y menos común. Sus discusiones sobre cómo la computación se 'encarna' en nuestra experiencia van más allá de los problemas lógicos, ofreciendo una perspectiva fresca y a menudo pasada por alto en el canon anglosajón.

Ambos libros se centran en la conceptualización de las máquinas y los sistemas abstractos. La conexión estructural radica en que DeLanda, al igual que el libro de referencia, aborda la 'arquitectura' de las ideas subyacentes a la computación y la IA, pero lo hace desde un marco filosófico post-estructuralista, analizando las "máquinas" en un sentido muy amplio y abstracto que se alinea con la discusión de la "teoría de la computación" como un campo de estudio conceptual.

Tanto el libro de referencia como Hodges se dedican a examinar "problemas" y "cuestiones" fundamentales. La afinidad estructural reside en que ambos abordan la teoría de la computación descomponiendo sus conceptos y argumentos centrales, pero Hodges lo hace a través de un análisis detallado del trabajo de un pensador clave, aplicando una metodología similar de escrutinio formal y conceptual.