Este artículo presenta, desde una perspectiva histórica y lógico-filosófica, los argumentos gödelianos de dos investigadores oxonienses, John Lucas y Roger Penrose. Ambos se han basado en el Teorema de Gödel para refutar el mecanicismo, el computacionalismo y la posibilidad de crear una IA capaz de simular o duplicar la mente humana. En las conclusiones, se menciona la creciente aplicación de métodos empíricos en las matemáticas y se especula con una posible vía que daría apoyo a los argumentos de Lucas y Penrose.
This paper presents, from a historical and logical-philosophical perspective, the Gödelian arguments of two Oxford scholars, John Lucas and Roger Penrose. Both have been based on Gödel's Theorem to refute mechanism, computationalism and the possibility of creating an AI capable of simulating or duplicating the human mind. In the conclusions, the growing application of empirical methods in mathematics is mentioned and a possible path that would support Lucas and Penrose's arguments is speculated.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados