Humanos y Máquinas

Hasta ayer tenía la fuerte convicción de que el ser humano es, en algún aspecto difícil de definir, superior a la máquina. Sin embargo tras leer las argumentaciones en favor de este hecho, he comprobado que la mayoría apelan al teorema de incompletitud de gödel. Y lo que dicen es que dado que los sistemas formales son limitados, i.e. no pueden derivarse todas las verdades del sistema por métodos puramente sintácticos, siempre seremos algo más que una máquina que funciona de este modo. Pero es que los métodos que nosotros tenemos para comprobar las limitaciones de un sistema formal, son las mismas que se pueden implementar en una máquina. Al fin y al cabo, el origen de todo es saber si la aritmética es consistente, lo cual ni la máquina ni nosotros lo podemos saber.

Espero esto haga reflexionar a quien lo haya entendido.