La naturaleza de la computación y la computación de la naturaleza

Abstract

El presente trabajo es el primero de una serie que busca comenzar una exploración filosófica de esta conexión, intentando dar una definición de “computación naturalizada”, esto es entender a la computación como un fenómeno natural que ocurre en el mundo y las consecuencias más fuertes que se siguen de sostener esta tesis. Por ser un primer acercamiento a estas cuestiones, las conclusiones que se ven reflejadas son pocas pero sirven para plantear el campo de discusión y abrir nuevas posibilidades de cómo entender al “mundo computacional”. Se empieza por una breve exposición de las nociones clásicas de computación: máquinas de Turing, el cálculo lambda de Church y las funciones recursivas de Gödel-Kleene. Estás son entendidas bajo el concepto de modelo, que ha sido trabajado en filosofía de las ciencias, con la clara diferencia en que bajo la concepción usual los modelos en las teorías científicas, la construcción de estos suele ser guiada por la teoría mientras que en la ciencia de la computación modelo y teoría se vuelven coexstensionales. Expongo brevemente estos modelos que muchas veces son nombrados en la literatura filosófica pero pocas veces se expresa de manera resumida su funcionamiento, con excepción del primer modelo. La segunda parte del trabajo explora las nociones de computación concreta, es decir computación en tanto realizada por un sistema físico. En esta segunda parte además se hacen explícitos los argumentos que hacen que sea necesario explorar la relación entre la física y la computación, siguiendo a Toffoli (1982) y a Smith (2002). La discusión nos lleva a explorar la naturaleza del universo en términos computacionales, dando lugar a la última sección del trabajo que toma prestado el título de Wheeler (1990) e intenta responder a la pregunta sobre qué tan lejos podríamos llegar con una descripción computacional del universo.