precisa y manejable (aunque no indiscutible) a la pregunta formulada.

Se trata del famoso Test de Turing, una prueba para decidir si una máquina es inteligente (o ?piensa?). Para ello Turing diseñó un juego de imitación en el que participan una máquina y seres humanos; podemos decir que una máquina piensa si un ser humano que se comunica con la máquina y con otros seres humanos no logra distinguir cuando su interlocutor es una máquina y cuando un humano.
Una ?máquina de Turing? como la que participa en el juego, es un dispositivo ideal de cálculo, capaz de resolver una función computable ?una función cuya solución es susceptible de ser obtenida por un procedimiento mecánico? .

Pero lo más significativo es que Turing demostró que hay una máquina peculiar ?la máquina universal de Turing? en la que se puede representar cualquier máquina que sea capaz de computar una función particular. De acuerdo con esto, una máquina universal de Turing sería una especie de sistema operativo en el que se implementan diferentes programas (máquinas de Turing especiales), un poco a la manera en que nos es familiar en los ordenadores personales. La denominada ?metáfora del ordenador? como modelo capaz de simular la mente humana y, por ende, el pensar, tiene aquí su fuente.