Argumento de Penrose-Lucas
De Wikipedia, la enciclopedia encyclopedia
El argumento de Penrose-Lucas es un argumento lógico parcialmente basado en una teoría desarrollada por el matemático y lógico Kurt Gödel. En 1931, demostró que toda teoría generada de manera efectiva capaz de probar aritmética básica o bien no es consistente o bien no es completa. Debido a la capacidad humana de ver la verdad de las oraciones de Gödel de un sistema formal, se argumenta que la mente humana no puede ser el resultado de un algoritmo generado por una Máquina de Turing ya que esta última no puede determinar la verdad de su oración de Gödel, mientras que la mente humana puede. El matemático Roger Penrose modificó el argumento en su primer libro sobre la consciencia: The Emperor's New Mind (1989), donde lo utilizó para sentar las bases de su teoría de la consciencia: la reducción objetiva orquestada.