¿Es computable la sensibilidad Turing?

La respuesta a esta pregunta es simple y definitiva. Es no.

No hay nada en los modelos de Turing que pueda abordar esta pregunta y el mismo Turing lo afirmó en sus propios documentos sobre inteligencia artificial.

Una prueba de inteligencia no es una prueba de sensibilidad. Incluso si fuera una máquina para pasar la prueba de Turing, no sería una demostración de sensibilidad. Es solo un ejemplo de imitación. Turing dijo:

No deseo dar la impresión de que creo que no hay misterio sobre la conciencia. Hay, por ejemplo, una paradoja relacionada con cualquier intento de localizarlo. Pero no creo que estos misterios necesariamente tengan que resolverse antes de que podamos responder la pregunta que nos interesa en este documento. “(Turing 1950)

No es que no sepamos si la sensibilidad es computable, lo hacemos. Turing lo excluyó explícitamente para avanzar.

De hecho, la prueba de Turing según lo especificado por Turing es una cuestión simple en comparación con una prueba de sensibilidad. Para el ingeniero informático que considera esta pregunta, debe enmarcarse como: “¿hay algo que proporcione la sensibilidad, cualquier cosa que haga, que no esté en el modelo de computabilidad”? O, como lo expresó Charles Peirce a fines del siglo XIX, esto es preguntar: “¿Qué le queda a la mente viva?”

Al analizar hoy la construcción de máquinas muy grandes y de alto rendimiento en la mítica “Exascale”, donde enfrentamos desafíos tales como la distribución del procesamiento, el cuello de botella de von Neumann (arquitectura de carga / tienda, ausente en biofísica) y la distribución uniforme de poder, parece que de hecho hay algo que la sensibilidad puede hacer que no está en el modelo de Alan Turing.

Lo insinuó cuando dijo de lo que se refirió como inteligencia de máquina de abordar desde el punto de vista de la “conciencia”, por lo que podemos sustituir felizmente la “sensibilidad”. “Hay, por ejemplo, una paradoja relacionada con cualquier intenta localizarlo “.

Tampoco es aceptable agitar nuestras manos y afirmar que el cerebro actúa como una computadora o es tan mundano (por supuesto) que no puede haber nada más. Esta última posición descarta cualquier explicación de la sensibilidad y solo revela que el autor no ha pasado nada de tiempo con la gran cantidad de resultados en biofísica. Pregunte, por ejemplo, sobre el comportamiento alostérico, cómo lo explicarían y cómo encajaría la solución en un modelo holístico de cómputo.

Del mismo modo, no está bien asociar misterios. Solo porque la teoría cuántica incluye una serie de misterios extraordinarios, esta no es razón para afirmar que existe una cuenta de sensibilidad dentro de ella.

Todo esto sigue siendo hoy un tema controvertido. Pero lo que no es controvertido es que necesitamos nuevas soluciones.

Para encontrar soluciones que permitan la construcción de máquinas de cómputo de baja potencia y gran escala desde el punto de vista de la teoría física, los problemas a menudo parecen intratables, requiere un esfuerzo de disciplina cruzada y una motivación enfocada.

Para aquellos de nosotros que estamos interesados ​​en la teoría computacional a gran escala, confieso ser uno de estos, es necesario descartar el ego y luego la teoría epifenoménica y de la identidad, y reconocer que es la base de la experiencia, de la cual la riqueza total de La variedad de sensibilidad puede surgir, es tan básica como la luz y la gravitación.

Un enfoque matemático de este problema, de proporcionar los medios para caracterizar formalmente la sensibilidad y sus potenciales de respuesta asociados, fue insinuado por primera vez por el matemático y astrónomo puro Benjamin Peirce en su tratado A System of Analytic Mechanics (Peirce 1955), un libro primario enseñado en Universidad de Harvard en el siglo XIX.

Vista matemáticamente como una “fuerza” fundamental de la naturaleza física, esta base de sensibilidad es necesariamente covariante. Entonces puedo ofrecer la siguiente pista: la plataforma de toda la biología es una estructura cerrada flexible y en dicha estructura podemos describir matemáticamente hiperfunctores holomórficos entre formas (funciones holomórficas) sobre su superficie. Un sentido particular es una forma particular, toda la estructura celular individualiza la sensibilidad. Estas formas son formaciones de receptores y funciones motoras.

Citar:

Turing, AM (1950). Maquinaria informática e inteligencia. Mind, 59, 433-460
Peirce, Benjamin (1855). Un sistema de mecánica analítica. Harvard / Brown.
Ericsson-Zenith, Steven (2013). Sobre el origen de la experiencia. (Conferencia de Stanford).

No lo sabemos

Ni siquiera entendemos lo suficiente sobre qué es la sensibilidad para formalizar esta pregunta.

Y en desacuerdo con Michał Strojnowski, de ninguna manera está claro que las leyes de la física sean computables en Turing: la complejidad computacional del universo es una pregunta abierta. La mecánica cuántica parece no ser computable en Turing, por ejemplo.

Si esto es relevante para el funcionamiento de nuestro cerebro es otra pregunta abierta. Roger Penrose, por ejemplo, argumenta que lo es, ver La nueva mente del emperador, pero esta es una opinión minoritaria.

No soy un experto en teoría de computadoras, pero si recuerdo correctamente, la computabilidad de Turing (o la falta de ella) es una propiedad formal que se aplica a las funciones, y las funciones son objetos matemáticos que asocian los elementos de un conjunto llamado dominio a algunos elementos de otro conjunto llamado el rango.

Para responder a su pregunta, primero debe definir con precisión lo que quiere decir con “sensibilidad” y expresarlo como una función. Lo cual es filosofía de la mente más que las matemáticas.

No conocemos ninguna ley de la física que no sea computable en Turing, y las condiciones dentro de nuestras cabezas son bastante mundanas (en términos de energía, temperatura, gravedad, campos magnéticos, etc.), por lo que es muy poco probable que revelen leyes desconocidas de la física. ellos mismos aquí. Entonces deberíamos asumir que la sensibilidad también es computable en Turing.

No por si mismo. Es decir que el sistema completo de Turing que exhibe sensibilidad no puede calcular su propia sensibilidad. Si pudiera, no sería sensible, sería un autómata.

Una máquina Turing más grande puede abarcar lo que parece ser un sistema sensible, pero la sensibilidad solo existe como una construcción etérea en los bordes entre el contenedor y el contenido.