Lo humano y lo mecánico en el análisis de Turing sobre la computación

Abstract

A comienzos del siglo XX, la matemática formalizada debió afrontar un problema fundamental: el Entscheidungsproblem (el problema de la decisión), el cual planteó la pregunta sobre la posibilidad de reducir la inferencia a un cálculo algorítmico o proceso efectivo. Turing, en el año 1936, responde negativamente esta pregunta; lo crucial de su aporte es, sin embargo, el análisis que realiza sobre el proceso humano de cálculo, arrojando como consecuencia dos tesis conceptuales: una tesis lógica (L) que define la noción de efectividad en términos de la computabilidad y una tesis mecánica (M) que define la efectividad en términos de que una máquina de Turing puede hacer. Como el trabajo de Turing versa sobre el cálculo humano, la segunda de las tesis suscita, con el desarrollo de las ciencias de la computación y la innovación tecnológica que representaron las máquinas computadoras, una tercera tesis, una tesis cognitiva (C) que trae de nuevo a escena la discusión sobre la identificación del pensamiento con un cálculo y, mediante (M), la posibilidad de que éste sea desarrollado por una máquina. En este artículo nos proponemos explorar la interrelación entre lo humano y lo mecánico en el trabajo de Turing sobre procesos computables y evaluar las condiciones mediante las cuales una teoría de máquinas nos permite acercarnos a la comprensión de algunos aspectos de lo humano, al mismo tiempo que un análisis del cálculo humano permite el desarrollo de una teoría sobre lo que es y puede hacer una máquina. Estimamos que un examen cuidadoso de las tesis de Turing y sus implicancias filosóficas permite un planteo más preciso sobre los límites y potencialidades propias de un mecanicismo cognitivista y una redefinición de la relación entre los humanos y las máquinas.