Abstract

EI análisis de algunos programas lógicos y de algunos problemas ya tradicionales de la teoría de la computabilidad -como el problema de la correspondencia de Post-, permiten mostrar algunas claves para argumentar acerca de la posibilidad o imposibilidad de un ordenador omnisciente. Los programas logicos inductivos y alguno de sus resultados más prometedores, como Golem, sirven para valorar la posibilidad de un ordenador corno ayudante cualificado en la tarea de hacer ciencia. Ambas discusiones dan paso a una reflexión final sobre el mecanicismo.The analysis ofsome logical programs and some traditional topics from the computability theory -as the Post Correspondence Problem-, enables us to illustrate some key points for discussing the possibility ofa computer as an omniscient entity. Inductive logical programs and some oftheir most promising representatives, such as Golem, are showed useful for evaluating the possibility ofa computer as a qualified support ofscientific activity. Both topics give rise to a concluding discussion around mechanism.