Hacia procesadores port¨¢tiles de ideas

Stanley Burris explica que la demostraci¨®n matem¨¢tica, tal y como sali¨® del ordenador, "era muy dif¨ªcil de interpretar". "La m¨¢quina dice: 'llegu¨¦ a ese paso a partir de dos pasos anteriores', pero no incluye todos los detalles".Wos afirma que la demostraci¨®n ser¨¢ publicada en la revista The Journal of Automated Reasoning y en Internet. McCune dice que esta contento: "En cierto sentido, tengo la sensaci¨®n de que el ordenador ha sido creativo". Sin embargo, a?ade que no le interesa mucho especular sobre las implicaciones filos¨®ficas de su trabajo. "Simplemente trabajo con los problemas e intento resolverlos".

A Wos, por el contrario, le encanta reflexionar sobre el significado y el futuro del razonamiento humano y predice que, en unas cuantas d¨¦cadas, los ordenadores podr¨ªan ser tan ¨¢giles razonando como lo son ahora calculando. "Quiero decir a la gente que si llegamos a tener ¨¦xito y conseguimos proporcionar procesadores port¨¢tiles de ideas igual que ahora hay calculadoras de bolsillo, podr¨ªamos mejorar incre¨ªblemente la vida de las personas", afirma Wos.