Actualidad informática
Noticias y novedades sobre informática
admin
La teoría de Kurt Ammon sobre el cerebro humano como una máquina creativa
El cerebro humano parece capaz de realizar tareas que no puede realizar ningún ordenador. Un ordenador sólo puede realizar tareas calculables (o computables). Turing (1969) afirmó que la inteligencia se caracteriza por la creatividad o iniciativa para el procesamiento de conceptos informales. ¿Es el cerebro una máquina creativa? ¿Es calculable computacionalmente la creatividad? Kurt Ammon introduce en “Informal concepts in machines,” ArXiv, 4 May 2010, el concepto de máquina creativa como la que es capaz de evaluar funciones más allá de las posibilidades de una máquina de Turing o de un sistema formal. ¿Existen las máquinas creativas? Su definición se apoya en dos teoremas: el teorema 1 afirma que existe un procedimiento efectivo para generar una función calculable que no está contenida en ninguna enumeración efectiva de funciones calculables, que demuestra utilizando un argumento de diagonalización; y el teorema 2 afirma que existe un procedimiento efectivo para generar una función calculable que no está contenida en ningún sistema formal que incluya predicados sobre dichas funciones, que demuestra usando el teorema 1. ¿Qué significan estos teoremas?
Una función calculable de los números naturales es parcial si no es capaz de dar un valor resultado para todos los números naturales (su dominio es un subconjunto de los naturales). Una función calculable es total en el caso contrario, cuando su dominio son todos los naturales. Obviamente, el problema de la parada implica que no existe ningún algoritmo (máquina de Turing) que pueda decidir si una función calculable parcial es total. Para Ammon, una máquina creativa es la que es capaz de transformar en función total toda función (sea parcial o total) que reciba como entrada. En este sentido un sistema creativo es capaz de calcular valores de funciones no calculables más allá de los límites de cualquier máquina de Turing o sistema formal. Según Ammon, sus teoremas afirman que los procedimientos (máquinas) creativos existen, pero como no pueden ser máquinas de Turing, no podemos describirlos en un sistema formal. Para él, una máquina “inteligente” es una máquina creativa, capaz de calcular más allá de la capacidad de procesamiento de una máquina de Turing.
Si Ammon tiene razón, nunca la inteligencia artificial será capaz de construir un algoritmo (máquina de Turing) inteligente, aunque las máquinas “inteligentes” existen. A los matemáticos les encanta demostrar la existencia de objetos que no se pueden construir (algorítmicamente) o describir (formalmente). Para la mayoría de nosotros es obvio que las máquinas inteligentes existen, nosotros somos una máquina inteligente.
Fuente: Francis (th)E mule Science’s News
___________________________
Enlaces de interés:
– Apuntes Informática Aplicada al Trabajo Social. Capitulo 8, Inteligencia Artificial
– Actualidad informática: Inteligencia artificial
– Historia de los primeros lenguajes de programación
– Richard Dawkins se sumó a una campaña para obtener un reconocimiento oficial para Alan Turing
Dawkins se suma a campaña para pedir disculpas al matemático Turing, acusado de homoxesual
Richard Dawkins se sumó anoche una campaña para obtener un reconocimiento oficial para Alan Turing, el genio de la informática y padre de los modernos ordenadores que se suicidó en 1954 después de ser procesado por ser homosexual.
Más de 3000 personas, hasta ahora han añadido su nombre a la petición en línea que solicita al gobierno que reconozca las “consecuencias del prejuicio” que terminaron con la vida del científico de apenas 41 años.
El profesor Dawkins dijo que un reconocimiento “enviaría al mundo una señal que necesita ser dada”, y que Turing todavía estaría hoy vivo si no hubiera sido por las leyes represoras influídas por la religión, que lo condujeron a la desesperación.
El autor del libro «La falsa ilusión de dios,» que debe presentar un programa de televisión próximamente para el canal 4, sobre Turing, dijo que el impacto del trabajo sobre la guerra del matemático no era exagerado. “Turing hizo una contribución mayor para derrotar a los nazis que Eisenhower o Churchill. Gracias a Turing y sus colegas “ultra” en el parque Bletchley , permitieron que los generales aliados, durante los largos periodos de la guerra tuvieran información de los planes alemanes detallados, antes de que los generales alemanes tuvieran tiempo para ejecutarlos.
“Después de la guerra, cuando el papel de Turing no era secretísimo, debía ser considerado salvador de su nación. En lugar, este apacible genio excéntrico fue destruido, por un “crimen”, en privado, que no dañó a nadie,” dijo el Profesor Dawkins, quien también pidió una dotación financiera permanente para apoyar el parque de Bletchley, en donde Turing descifró el código nazi Enigma.
Para acceder a la petición (sólo británicos y residentes )pulse aquí (Number10.gov.uk).
Fuente: THE INDEPENDENT
___________________
Enlaces relacionados:
– Actualidad informática. Inteligencia artificial
– El nacimiento de la informática en Gran Bretaña, Enigma, Boma …
– Apuntes Informática Aplicada al Trabajo Social. Ordenadores en la actualidad
autobus las palmas aeropuerto cetona de frambuesa