¿Pueden llegar a pensar las máquinas?

La noción de máquina de Turing es una idealización matemática útil para probar que ciertas tareas no son automatizables o que ciertas funciones no, etc...

Inteligencia artificial

La noción de máquina de Turing es una idealización matemática útil para probar que ciertas tareas no son automatizables o que ciertas funciones no son compatibles. Una máquina de Turing es como un computador digital, pero sin limitaciones de capacidad, de memoria ni de tiempo de ejecución. Una función es computable si, y sólo si, hay una máquina de Turing que la computa: si le damos uno o varios argumentos como input, la máquina computa una serie finita de pasos programados e imprime como output el valor de la función para esos argumentos. Un conjunto es recursivo si la correspondiente función característica (que asigna el número 1 a los objetos que pertenecen al conjunto y 0 a los que no) es computable. Estas nociones fueron introducidas hace sesenta años por el genial y extravagante matemático inglés Alan Turing en Sobre números computables (1937), y constituyen desde entonces la base de la teoría de la recursión, la rama más exitosa de la lógica matemática.

En 1939 estalló la Segunda Guerra Mundial, y Turing fue enrolado para descifrar los códigos secretos de la máquina alemana, Enigma. Los mandos alemanes creían que las órdenes cifradas que transmitían a sus aviones y submarinos eran indescifrables, pero Turing y sus colegas lograron descifrarlas con una enorme y primitiva máquina computadora, lo cual resultó decisivo para la victoria aliada.

¿Puede pensar una máquina?

Turing planteó la cuestión en 1947 ante el National Physical Laboratory, y tres años después, en un artículo, "Máquinas computadoras e inteligencia", iniciando así la investigación de la inteligencia artificial. Turing sostenía que esta cuestión sólo puede resolverse experimentalmente y proponía lo que luego se ha llamado el test de Turing: podemos decir que una máquina piensa si un interlocutor humano, comunicándose por escrito con ella y con otros humanos, es incapaz de distinguir a la máquina de los otros interlocutores humanos. Otros retos, como la simulación de partidas de ajedrez o la prueba creativa de teoremas, también han sido propuestos. Turing pensaba que en 50 años empezaría a ser posible construir máquinas así.

Alan Turing

Hace tiempo que los computadores realizan pruebas matemáticas triviales, del tipo de los ejercicios que se ponen a los estudiantes, pero se dudaba de su capacidad para encontrar pruebas originales de problemas teóricos que hayan resistido a matemáticos profesionales. A finales de 1996, Larry Wos y William McCune (del Argonne National Laboratory) han logrado por primera vez programar un computador de tal manera que ha resuelto creativamente un problema abierto que los matemáticos humanos habían sido incapaces de resolver. Herbert Robbins había planteado a Alfred Tarski la pregunta de si cierto sistema de ecuaciones era equivalente a la definición de un álgebra de Doole. Tarski no había sabido resolverlo, pero se lo había pasado a otros matemáticos hasta que finalmente llegó a manos de Wos y McCune, que trabajan en programas de prueba automática de teoremas. Un nuevo programa genérico (no específico para el problema de Robbins), que trata de probar hipótesis mediante la búsqueda de contradicciones implicadas por la negación de la hipótesis, ha conducido por sorpresa a encontrar una prueba original de la conjetura de Robbins.

Turing se habría alegrado de este resultado, que confirma sus predicciones. También se habría alegrado de lo mucho que se han liberado las costumbres. En 1952 no quiso negar una relación homosexual que había tenido, por lo que fue condenado judicialmente a una pena de cárcel, conmutada por un tratamiento de hormonas que lo dejó impotente y le estropeó su buena forma física, que siempre había cuidado con gimnasia y carreras de maratón. Deprimido, se suicidó en 1954, a los 42 años de edad.


Jesús Mosterín, catedrático de Filosofía,
Ciencia y Sociedad en el CSIC.
Fuente: archivo PDF

Comentarios



En algunos artículos se irá añadiendo texto y/o vídeos según creamos conveniente, para una mayor ilustración de los mismos.

Si encuentras un error de sintaxis, redacción u ortográfico en el artículo, vídeos que dejaron de funcionar, etc... háznoslo saber a través de " Contacto". ¡Muchas gracias!

AC-DC$type=left$va=0$count=3

Freddie Mercury$type=right$va=0$count=3

/fa-tag/ Indígenas$type=one$count=3

/fa-youtube-square/ Vídeos recomendados:


Insomnio familiar fatal

Enlace: Insomnio familiar...

Museo de Antigüedades de Félix Arroyo

Enlace: Museo de Antigüedades...
Nombre

2012,9,3 dimensiones,6,A. Edison,2,A.Turing,2,Abducción,3,Abejas,3,AC-DC,3,Adán y Eva,2,ADN,2,Agua,65,Águilas,4,Air Force One,2,Ajedrez,2,Al Capone,2,Alimentación,40,Alquimia,4,Amor,48,Amuleto/Talismán,2,Anarquismo,2,Ángeles,6,Animales,144,Anonymous,3,Antártida,2,Apocalipsis,3,Apple,10,Arañas,4,Argentina,13,Armagedón,2,Armas,18,Artes marciales,7,Asteroides,13,Atlántida,3,Audio,43,Audio libros,23,Aviones,47,Ballenas,2,Banderas,6,Barbie,3,Barcos,22,Beatles,8,Bebidas,30,Biblia,16,Bicicletas,8,Big Bang,5,Bluetooth,2,Boxeo,3,Britney Spears,2,Brujería,4,Burgos,38,C. Colón,4,Caballos,4,Café,3,Calculadoras,3,Calendario,11,Camiones,3,Cáncer,5,Cárceles,3,Casino,2,Castillos,8,Castrati,2,Cern,4,Cerveza,5,Charlot,3,Chat,3,Che,3,China,24,Ciencia,300,Cine,100,Circo,5,Citröen,3,Cleopatra,1,Clima,21,Clima (Burgos) - Horario mundial,1,Coca cola,2,Códice,4,Código,9,Código abierto,5,Cometas,6,Cómic,7,Concorde,2,Continentes,4,Copla,2,Cuba,3,Cuerpo de élite,3,Cuerpo humano,102,Culturas urbanas,3,Curiosidades,1052,Curiosity Rover,1,Da Vinci,6,Delfines,3,Delorean DMC - 12,2,Deportes,50,Día D,1,Diablo,9,Dibujos,34,Discos,4,Disney,17,Documentales,257,Doodle,2,Dragones,2,Drogas,6,Drones,2,Ébola,2,Eclipses,3,Edad Media,9,EE.UU.,106,Egipto,26,Einstein,3,El Cid,5,El Jarabo,2,El Lute,1,Elvis,3,En directo,5,Energía,48,Enfermedad,40,Enseñanza,175,Esclavitud,2,Escorpiones,2,Espadas,2,España y Pueblos,228,Estrellas,12,Exorcismo,6,Fantasmas,9,Ferrari,5,Física,33,Flamenco,2,Fobias,3,Ford,3,Formula 1,2,Fotografía,26,Francia,10,Franco,11,Francotiradores,3,Frases/Dichos,10,Freddie Mercury,3,Fuego,9,Fútbol,23,Galileo,4,Gandhi,2,Gastronomía,5,Gigantismo,3,Gitanos,5,Gliese 832,2,Google,18,GPS,3,Groucho Marx,2,Guerra,74,Guinness,8,Guitarras,5,H.Davidson,2,Hackers,14,Halloween,3,Hilo rojo,2,Hippie,2,Historia,629,Hitler,14,Homosexualidad,3,Humor,57,Idiomas,7,Imprenta,4,Indígenas,4,Indios,5,Informática,112,Insectos,10,Internet,66,Inventos,181,Invidente,5,Italia,14,Jabón,3,Jackson,9,Japón,19,Jesucristo,12,John Lennon,3,Juegos,31,Juegos en línea,24,Juegos olímpicos,5,Juguete,9,Kennedy,2,Lady Di,2,Las fuerzas del planeta (Serie),5,Láser,3,Leyendas,102,Libros,33,Lotería,2,Luis Lucena,2,Luna,19,Mafia,7,Magia,10,Magnetismo,16,Máquina del tiempo,2,Maradona,4,Maratón,2,Marie Curie,2,Marilyn Monroe,3,Masonería,3,Mayas,8,McDonald's,3,Medidor,1,México,27,Mi pedazo de cielo,1,Mike Tyson,2,Misterio,242,Mitologías,2,Moda,12,Mona Lisa,2,Monarca,4,Monedas,8,Monopoly,2,Mosquitos,2,Motor,63,Motor de agua,2,Motos,8,Mozart,2,Museo,7,Música,133,Napoleón,2,Nasa,14,Navarra,4,Navidad,28,Nintendo,4,Nostradamus,3,Noticias,252,Notre Dame,2,Nuclear,16,Obesidad,3,Ouija,2,Ovnis,31,Pamplona,2,Papa,6,Papá Noel,2,Pegamento,2,Pendrive,3,Península Ibérica,2,Perfumes,2,Perros,17,Personas,459,Petróleo,2,Piedras preciosas,2,Pinocho,2,Pintura,14,Pirámides,4,Piratas,6,Pirotecnia,3,Plantas,24,Pokémon Go,2,Polígrafo,2,Poltergeist,2,Profecías,10,Psicofonía,2,Queen,4,Quijote,2,Química,8,Radio,14,Ranas,2,Recordando a,190,Reencarnación,3,Reggae,2,Religión,130,Relojes,16,Resaca,2,Reyes magos,5,Rock,7,Roma,32,Rosetta,2,Rusia,24,Sabías que,1653,Salud,159,San Valentín,2,Seducción,3,Semana Santa,4,SETI,3,Shakira,2,SIDA,6,Simpson,3,Sistema solar,14,Sol,35,Spam,3,Submarino,4,Sucesos,64,Sueños,20,Sugerencias,36,Symbian,33,Tabaco,3,Tatuajes,5,Tecnología,278,Ted Williams,2,Telefonía,59,Telescopios,5,Televisión,18,Templarios,3,Teresa de Calcuta,2,Terremotos,12,Test,4,Tetris,2,Tiburones,11,Tierra,110,Titanic,11,Toros,5,Torre Eiffel,2,Torres gemelas,2,Trenes,11,Triángulo de las Bermudas,4,Trucos,4,Tutankamón,4,Tutorial,13,Universo,117,Vacunas,3,Varios,94,Vídeo,664,Videojuegos,5,Vino,2,Virus,6,Virus informáticos,15,Vril,2,Whisky,2,Windows,6,YouTube,6,Zodiaco,4,Zombis,3,
ltr
item
Te interesa saber: ¿Pueden llegar a pensar las máquinas?
¿Pueden llegar a pensar las máquinas?
La noción de máquina de Turing es una idealización matemática útil para probar que ciertas tareas no son automatizables o que ciertas funciones no, etc...
http://1.bp.blogspot.com/-8qW6NgBpcUw/VPNndC2ppGI/AAAAAAAAIOE/ZdSKRbeepu4/s1600/inteligencia-artificial.jpg
http://1.bp.blogspot.com/-8qW6NgBpcUw/VPNndC2ppGI/AAAAAAAAIOE/ZdSKRbeepu4/s72-c/inteligencia-artificial.jpg
Te interesa saber
http://www.teinteresasaber.com/2015/03/pueden-llegar-pensar-las-maquinas.html
http://www.teinteresasaber.com/
http://www.teinteresasaber.com/
http://www.teinteresasaber.com/2015/03/pueden-llegar-pensar-las-maquinas.html
true
637010643059257927
UTF-8
Cargar todos los artículos No se ha encontrado Ver más Seguir leyendo... Responder Cancelar respuesta Borrar Por Inicio Páginas Artículos Ver más Recomendados para ti: Etiqueta Archivo Buscar Todos los artículos No se encontró nada con este término Volver a Inicio Domingo Lunes Martes Miércoles Jueves Viernes Sábado Domingo Lunes Martes Miércoles Jueves Viernes Sábado Enero Febrero Marzo Abril Mayo Junio Julio Agosto Septiembre Octubre Noviembre Diciembre Enero Febrero Marzo Abril Mayo Junio Julio Agosto Septiembre Octubre Noviembre Diciembre justo ahora hace 1 minuto hace $$1$$ minutos hace 1 hora hace $$1$$ horas Ayer hace $$1$$ días hace $$1$$ semanas hace más de 5 semanas Seguidores Seguir Este contenido es premium Compartir para desbloquear Copie todo el código Seleccione todo el código Todos los códigos se copiaron en el portapapeles Can not copy the codes / texts, please press [CTRL]+[C] (or CMD+C with Mac) to copy