Pregunta originalmente respondida: ¿Es la inteligencia biológica una máquina de Turing, o más bien un superconjunto de máquinas de Turing?
Es evidente que los humanos pueden simular una máquina de Turing en su imaginación. Esto cumple con los criterios para ser una máquina de Turing (cualquier máquina de Turing puede simular otras máquinas de Turing, etc.). Pero, ¿hay máquinas que puedan simular máquinas de Turing, y no al revés?
La respuesta a esta pregunta es bastante simple. La inteligencia biológica hace uso de un cerebro biológico, que definitivamente no es una máquina de Turing, ni es un superconjunto de máquinas de Turing.
- Para entender, entonces posiblemente trabajar P vs NP, ¿qué materias necesito aprender?
- ¿Es correcta la represalia?
- ¿Qué le sugerirás a un estudiante de segundo año de CSE para sus vacaciones de invierno?
- Python o PHP, ¿qué lenguaje estudiar primero?
- ¿Cuál es el uso de la rama de corrección de errores? ¿Es bueno eliminarlo después de fusionarse con otras ramas?
La razón es fácil de entender. Es un hecho simple que el cerebro humano es una estructura finita, con una memoria finita, por grande que sea en realidad. Sin embargo, una máquina de Turing tiene una memoria infinita que consiste en una cinta infinita.
Dado lo anterior, se deduce inmediatamente que la clase de cerebros humanos no es un superconjunto de la clase de máquinas Turing.
En los detalles de su pregunta, hace la afirmación objetivamente falsa de que es evidente que los humanos son capaces de simular una máquina de Turing en su imaginación . La falsedad de esta afirmación se deriva de la finitud de la memoria humana. Si desea comparar el cerebro humano con alguna máquina de computación formal, una comparación más precisa sería con la clase de autómatas finitos, que son estrictamente más débiles que las máquinas de Turing.
En la parte final de sus detalles, pregunta si existe una clase de máquinas capaces de simular máquinas de Turing, que no puede ser simulada por una máquina de Turing. Bueno, si queremos permanecer dentro del ámbito de lo efectivamente computable, entonces la respuesta a esta pregunta parece ser: no.
Hasta la fecha, todas las formalizaciones de cómputo conocidas son iguales a las máquinas de Turing o estrictamente más débiles. La afirmación de que esto es realmente cierto para todas las posibles formalizaciones de la computación, en oposición a las formalizaciones simplemente conocidas, se conoce como la tesis de la Iglesia-Turing.