On Computable Numbers, with an Application to the Entscheidungsproblem

Aunque no es un tratado técnico de lógica matemática, Hofstadter divulga de manera brillante y creativa las implicaciones filosóficas y computacionales de los trabajos de Gödel (mencionados por Turing) y, por extensión, las 'máquinas' que Turing describe, haciendo accesibles ideas complejas sobre autorreferencia, computabilidad e incompletud de una forma inesperada y holística.

En lugar de un ensayo filosófico o científico, esta novela de ficción especulativa ofrece una reflexión 'nonobvious' sobre las implicaciones sociales y éticas de las 'máquinas pensantes' que Turing conceptualizó. Examina la conciencia, la moralidad y la naturaleza de la humanidad cuando las creaciones de la inteligencia artificial, inspiradas en los cimientos de Turing, se vuelven indistinguibles e incluso superiores a sus creadores.

Mientras Turing formaliza la computabilidad y los límites de lo que es "calculable" de manera algorítmica, Nietzsche, en este ensayo, explora profundamente los límites de la cognición humana y la construcción de la 'verdad'. Ambos pensadores, aunque en campos muy diferentes, abordan las construcciones fundamentales a través de las cuales las entidades (máquinas o humanos) interactúan con la información y la realidad, cuestionando la naturaleza última de lo "dado" y lo "interpretable".

La obra de Turing "Sobre números computables" es contemporánea a las ideas de Wittgenstein y se sitúa en un contexto de profunda exploración de los fundamentos de la lógica y las matemáticas. Mientras Turing busca entender los límites de la computación mecánica, Wittgenstein busca los límites y la estructura lógica del lenguaje y el conocimiento. Ambos están interesados en qué se puede significar y operar dentro de un sistema formal, aunque sus enfoques y conclusiones difieran significativamente.

Publicado apenas un año antes del trabajo de Turing, y desconocido en el mundo anglosajón hasta mucho después, este ensayo de Fleck sobre la sociología de la ciencia ofrece una perspectiva fascinante sobre cómo las 'reglas' y 'configuraciones' de un "colectivo de pensamiento" (análogas a las reglas de una máquina de Turing) determinan lo que se considera 'cognoscible' o 'computable' dentro de un campo disciplinar. Ofrece un paralelismo conceptual entre los límites formales de la computación y los límites sociales y cognitivos de la producción de conocimiento.

Aunque una obra de ficción, la conexión con Turing radica en la exploración de sistemas y sus fallos. Turing formalizó lo que es computable y lo que no lo es, los límites de un sistema. Saramago, un autor portugués, en esta obra, expone de manera cruda cómo un sistema social complejo se desintegra cuando una función básica universal (la vista) es eliminada, revelando la fragilidad de las estructuras y la 'computabilidad' de la moralidad humana en condiciones extremas. Muestra un 'problema de decisión' fundamental sobre la naturaleza humana ante la anarquía.

Al igual que el trabajo de Turing descompone problemas complejos en pasos lógicos y discretos para una 'máquina', esta serie humorística, aunque de ciencia ficción, utiliza la misma lógica estructural. Toda la trama gira en torno a una súper computadora, Pensamiento Profundo, diseñada para 'computar' la Respuesta Definitiva, revelando que incluso con la computación más avanzada, la formulación de la pregunta correcta es esencial. La estructura narrativa desmitifica y absurdifica la propia idea de 'computabilidad de una respuesta final'.