las computadoras se basan en la logica binaria...
y el teorema de Gödel justamente llamado de "imposibilidad.." lo demuestra
aquí un articulo sobre el tema , nivel básico para ser entendido por no matemáticos..
http://www.ic-itcr.ac.cr/tiempo_compartido/tc_viejo/pdfs/60.pdf
Chungale .. saltamos a otro tema ..
La hipotesis es esta:
"... si la mente fuese un computador,este deberia poseer un programa que lo hiciera capaz de probar todo lo que la mente humana fuese capaz de probar."
Claro SUPONEMOS que
todo algoritmo es una maquina de turing, y nos lanzamos.
Cibernetricamente tambien es una proposicion muerta esa suposicion:
Una maquina de Turing no es un sistema complejo, por variedad es imposible una isomorfismo entre una maquina (sistema) determinista y una maquina(sistema) compleja.
Aunque en contra ... es que no se sabe si la mente sigue alguna clase de algoritmos no basados en una maquina de turing, esto no es por que no sepa (se sabe y se intuye) .. el problema es que no hay formalismo para probarlo (hay una monton de problemas de IA que tienen este tope).
El problema es de forma y fondo: NO HAY UN FORMALISMO para describir los sistemas complejos, para diferenciar su funcionamiento y su emergencia.
El punto, es si existe otro tipo de maquina que pudiera asimilar el funcionamiento de la mente. Quedara en veremos una discusion respecto a si corre la nocion de algoritmo en un sentido aplicable a maquinas complejas:
Unna prueba simple para que discutan todos: Algun algoritmo para que vuelva tu ex?. Existe o no existe? (la pregunta es de sentido comun ...ludica).
Pd. No se si la logica binaria tenga que ver con este problema, a primera vista no.
pd2. Nota de la edicion, trate de incluir algun ejemplo de como facilmente se quiebra la nocion de computabilidad clasico ... para demostrar que el problema es abierto y esta botando el balon .. aunque la nocion de computabilidad mediante una maquina de Turing puede que no alcance a una IA, existen enfoques diferentes que no quiebran el teorema de incompletitud de Godel. Por lo que el problema no esta cerrado.
No weon esto no es tolueno!! ..
"En el presente texto se afirma que Varela mantiene a nivel epistemológico las características de los sistemas autopoiéticos, realizando una extrapolación desde el ámbito de la unidad celular mínima hasta afirmaciones acerca de la conciencia, la mente, o la comunicación humana. Si el lector tiene duda de semejante afirmación, nada más esclarecedor que citar al mismo Varela (2000a), en una frase por demás elocuente: "…ligar la autopoiesis como una
opción epistemológica mas allá de la vida celular, al operar del sistema nervioso y los fundamentos de la comunicación humana, es claramente fructífero" (p. 442).
fuente:
http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-22282005000100009
maquinas de computo autopoieticas, .... en abundancia:
"Más aún, la noción de autopoiesis es enlazada directamente con la noción de emergencia y con el
paradigma de la identidad emergente (PIE) sin una explicitación del proceso de integración conceptual. El PIE, tal como lo sugiere Varela implica holismo relacional, es decir se trata de sistemas que exhiben relaciones que no son reductibles a las características intrínsecas de sus componentes. Según Varela, el holismo relacional implicaría que las nociones de emergencia involucrarían una violación no sólo de la doctrina de la reducción microfísica, sino también de la doctrina ontológica de que el todo superviene en las propiedades de las partes (Varela & Thompsom, 2001)."
Violaciones al paradigma de Turing ...