El acertijo MU

Un sistema formal, es un sistema con el que se pretende capturar y abstraer la esencia de determinadas características del mundo real, con un modelo conceptual expresado en un determinado lenguaje formal.
Para definir un sistema formal, se requieren cuatro elementos:

Un alfabeto de símbolos.
Un conjunto de cadenas bien formadas llamadas axiomas.
Un conjunto finito de reglas de deducción.
Un conjunto de cadenas finitas bien formadas llamadas teoremas.

El acertijo MU, representa un pequeño sistema formal. Este acertijo fue planteado por Douglas Hofstadter en 1979 en su libro Godel, Escher, Bach. An Eternal Golden Braid 

Carácter MU en japonés. Wikipedia.

Planteamiento del acertijo MU

Inteligencia artificial fuerte frente a inteligencia artificail débil, 1ª parte

¿Puede un ordenador emular el cerebro humano?

En inteligencia artificial existen dos corrientes contrapuestas. Una de ellas es de la opinión de que  cualquier algoritmo lo suficientemente complejo como para emular el cerebro humano debe poseer las mismas cualidades de autoconsciencia que un ser humano real, independientemente de que el algoritmo sea ejecutado por cualquier medio ya sea esta electrónico mecánico o de cualquier otro tipo. Esta corriente se denomina inteligencia artificial fuerte o IA Fuerte. En esta corriente se encuentran Marvin Minsky, y Douglas Hofstadter  

entre otros.

Alan Turing Con su artículo “Computing Machinery and Intelligence”  publicado en la revista mind en 1950, fue el pionero en pensar que los ordenadores podrían igualar la inteligencia humana, pero fue muy optimista al dar un plazo de 50 años para que tal cosa sucediese.

Por otro lado existe otra corriente opuesta que piensa que en el cerebro humano existen procesos que no son algorítmicos que no se pueden reproducir en máquinas. Esta hipótesis es defendida por Roger Penrose, John Lucas y Jonh Searle   entre otros.

Gödel, Escher, Bach: un Eterno y Grácil Bucle

Douglas Hofstadter  (15 de febrero de 1945) 

Científico, filósofo y académico estadounidense.

Publicado en  1979 y premio Pulitzer  En 1980.   

                                          Gödel, Escher, Bach: Un eterno y grácil bucle (Fábula)