La Tesis de Church-Turing y sus repercusiones epistemológicas

Abstract

Las pretensiones de este trabajo son modestas; Es el resultado de una exploración conjunta que hemos realizado en tomo del tratamiento que ha recibido la Tesis de Church-Turing por parte de lógicos, matemáticos, filósofos y especialistas en cuestiones cognitivas. Debido a la frondosa literatura existente, nos hemos abocado principalmente a explorar: críticamente aspectos de las repercusiones epistemológicas de la tesis. Hemos intentado comparar los supuestos alcances y límites de diferentes enfoques a los fines de dar un panorama del estado de la discusión sobre el tema. La motivación subyacente ha estado vinculada a la importancia que a nuestro entender tiene esta tesis para ámbitos mucho más extensos de la indagación filosófica. En nuestra opinión, es necesario un esclarecimiento de •los alcances de la misma para tener una adecuada caracterización de los aspectos epistemológicos que impregnan a las teorías de la computabilidad, teoría de algoritmos, y a los alcances de los procedimientos de decisión en ámbitos tanto formales como de aplicación de lenguajes matemáticos especializados en teorizaciones con alto grado de abstracción.