Page 189 - INTRODUCCIÓN AL ANÁLISIS DE ALGORITMOS

INTRODUCCIÓN AL ANÁLISIS DE ALGORITMOS

¿Podría ocurrir tal descubrimiento? ¿Es verosímil esa posibilidad? La verdad es que sí, pues en
realidad la discusión iniciada con el descubrimiento de la paradoja de Russell nunca llegó a ser ter-
minada. Las tres propuestas que se hicieron a principio del siglo XX —intuicionismo, logicismo y for-
malismo (o el programa de Hilbert)— fallaron por diferentes razones y no han sido reemplazadas por
otro programa de alcance equivalente. ¿Cuál es la naturaleza de los objetos matemáticos? ¿Existe
un nivel intermedio entre el razonamiento puramente sintáctico y los razonamientos libremente se-
mánticos que permitan superar la incompletitud de los teoremas de Gödel asegurando a la vez la
consistencia? ¿Existe realmente una diferencia tajante entre “sintáctico” y “semántico”, o los que lla-
mamos conceptos semánticos no son más que conceptos sintácticos más sofisticados (en los que
trabaja con grupos de símbolos en lugar de símbolos individuales)? (Piñeiro, 2017).

Asimismo, la prueba de Turing incide en uno de los problemas más difíciles de la filosofía: ¿qué es
la conciencia? ¿Somos solo un conjunto de algoritmos ejecutados por nuestra mente, lo cual —a
su vez— no sería otra cosa que un ordenador muy complejo? ¿O hay algo más en nuestra mente?

Hay muchos filósofos y científicos cognitivos que se inclinan por pensar que la mente es, en efecto,
un ordenador cuyo funcionamiento tal vez logremos desentrañar algún día. Es lo que se llama mode-
lo computacional de la mente. Otros filósofos se oponen vehementemente a este modelo y atribuyen
a la conciencia un papel servidor.
Muy relacionado con esto está el problema del conocimiento: ¿cuándo podemos decir que conoce-
mos algo? A primera vista, hay diversos tipos de conocimiento. La frontera entre lo que conocemos
de forma inmediata y lo que conocemos después de un arduo proceso intelectual no está clara. Lo
que es aún peor: decir “se deduce inmediatamente que” significa cosas distintas para un gran cientí-
fico que escribió un libro de su área que para la mayoría de los lectores que son neófitos de tal área o
resolver el último teorema de Fermat después de siete años de un arduo proceso intelectual (resuelto
por Andrew Willes en 1995). Todavía hay muchas preguntas sin respuesta… afortunadamente.

183