El artículo formula una interpretación de la computabilidad desde la perspectiva del conceptualismo realista. En esta interpretación, la noción central es la de concepto computable, el cual se entiende como cierto tipo de capacidad cognitiva. Aquí se muestra cómo difiere esa interpretación conceptualista de la clásica, denominada teoría de la computabilidad efectiva, en la cual el concepto fundamental es el de algoritmo; también se discute la relación entre estas dos interpretaciones. La discusión explora las consecuencias de la idea de que (...) los contenidos de los conceptos computables se pueden expresar en algoritmos. En un apéndice se plantean, muy brevemente, las diferencias entre el enfoque conceptualista de la computabilidad y otros dos enfoques no clásicos: el intuicionista y el representacionista./// This paper formulates an interpretaron of computability from the perspective of realist conceptualism. The key notion within this theory is that of a computable concept, where a concept is a cognitive capacity of a certain sort. Differences and connections between the conceptualist interpretation and the classical one, customarily referred to as the theory of effective computability, for which the key concept is that of an algoríthm, are shown in the text. Consequences of the idea that the content of computable concepts can be expressed in algoríthms are explored. An appendix briefly outlines how the present conceptualist approach differs from two other non-classical interpretations of computability, the intuitionist and the representationist. (shrink)

Este trabajo aborda el estado actual de la cuestión en el ámbito de la computación teórica desde una perspectiva especialmente dirigida a lectores no expertos y con una clara vocación filosófica. En la primera parte, secciones 1 a 4, se ofrecen algunas de las claves para entender la importancia de la Teoría clásica de la Computación extrayendo conclusiones filosóficas de fundamental importancia para entender el nacimiento de la I.A. En su segunda parte se analizan los nuevos modelos propuestos haciendo balance (...) de sus dificultades y su interés relativo. (shrink)

La noción de recursión se emplea en diferentes sentidos, adquiriendo una variedad de significados. Así, en unos casos se usa para caracterizar una regla esencial que constituye un modo de definición en un sistema. Este sentido tiene su origen en la Lógica Matemática y la Teoría de la Computabilidad. En otros casos se aplica para indicar la organización interna de una estructura, tal como sucede en la Ciencia Cognitiva y la Ciencia de la Computación, al tiempo que también se emplea (...) en el sentido anterior en estas mismas disciplinas. El objetivo de este trabajo es mostrar en cada caso las diferencias en el uso de ambos sentidos. (shrink)

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. (shrink)

Este ensayo ofrece un análisis crítico del último argumento que el matemático y filósofo Roger Penrose ofrece a favor de la tesis según la cual hay habilidades de la mente humana que nunca podrán ser igualadas por ingenio mecánico alguno. Al mismo tiempo se ofrece una descripción general de los últimos episodios del eterno enfrentamiento entre mentalismo y mecanicismo y se concluye con una sugerencia acerca de los puntos en los que cabe esperar nuevas situaciones de tensión entre estos dos (...) grandes paradigmas. Este trabajo pretende, además, mostrar la vigencia de un tipo de filosofía elaborada a partir de las herramientas de la ciencia moderna cuyos problemas son, no obstante, los del pensamiento filosófico tradicional. (shrink)