Академический Документы
Профессиональный Документы
Культура Документы
Introduccin
Desde posiciones muy diferentes se ha puesto en cuestin tanto el concepto de computacin como el alcance de la tesis Church-Turing (esto es la tesis que afirma la adecuacin de la caracterizacin de computacin a partir de la equivalencia extensional de los formalismos utilizados). Entre dichas posiciones se puede sealar el proyecto de comprender a la mente como una computadora, la propuesta de que cualquier sistema de la suficiente complejidad se puede describir en trminos computacionales (pancomputacionalismo) e incluso la extensin del argumento wittgensteniano de seguir una regla al mbito de la computacin (Shanker). Estas controversias parecen apuntar a un mismo problema: qu se entiende por computacin. Y efectivamente esta parece ser la discusin central. Pero, por la forma en la cual se han desarrollado estas discusiones, se hace referencia aqu a problemas diferentes. Por un lado est la cuestin central de qu es computar, en segundo lugar el problema de qu es una computadora, en tercer lugar cules son los criterios que me permiten identificar cundo un sistema computa, finalmente est el problema de la relacin entre los aspectos fsicos y abstractos de la computacin. Marcar la relativa independencia entre estos problemas significa que la respuesta que se d a alguno de estos no necesariamente resuelve las otras cuestiones (aunque estn ntimamente relacionados). En este trabajo avanzaremos sobre una estrategia posible para abordar aspectos de los dos primeros problemas (qu es computar y qu es una computadora). Consideraremos el primer problema en trminos del segundo. Esto es tomaremos el concepto de computacin a partir de una caracterizacin de la mquina computadora. Siguiendo la sugerencia de Canguilhem de que los diferentes tipos de mecanicismos pueden ser entendidos a partir de la mquina que se toma como modelo, proponemos que esta mquina modelo estara representada no slo por la llamada mquina de Turing sino por la mquina universal. Cuando se incluye esta ltima en la discusin aparece, en principio, un horizonte de posibilidades diferente en donde se pueden analizar los problemas anteriores. Puesto en otros trminos, nuestra intencin es responder a la pregunta qu aspectos centrales de la nocin de computacin aparecen explicitados cuando se toma en consideracin a la mquina universal?.
cualquier computacin.
Las definiciones originales dadas por Alan Turing conforman la definicin estndar de computacin.. En la definicin estndar de computacin es dificil ver cmo evitar lo siguiente: 1. para cualquier objeto, hay una descripcin de ese objeto tal que bajo tal descripcin el objeto es una computadora digital. 2. Para cualquier programa y para cualquier objeto suficientemente complejo, hay alguna descripcin del objeto bajo la cual implementa el programa. As por ejemplo la pared a mis espaldas esta ahora implementado el programa Wordstar porque hay algn patrn del movimiento de las molculas que es isomrfico con la estructura formal de Wordstar. Pero si la pared est implementando el programa Wordstar, entonces si hay una pared lo suficientemente grande, sta puede implementar cualquier programa, incluido cualquier programa implementado en el cerebro.
Luego de este intento de trivializar la explicacin computacionalista, Searle sugiere algunas soluciones:
Creo que es posible bloquear el resultado de la realizabilidad mltiple restringiendo nuestra definicin de computacin. Una definicin ms realista de computacin enfatizar tales aspectos como las relaciones causales entre los estados del programa, la programabilidad y la controlabilidad del mecanismo y su situacionalidad en el mundo real (Searle 1990)
De hecho la mayora de estos caminos posibles de solucin han sido recorridos por los filsofos: el camino causal -en trminos contrafcticos- ha sido sugerido por Copeland (1996), Piccinini, por otro lado ha sealado a la controlabilidad del sistema como un aspecto clave de las computadoras que sean usables. En otros trabajos hemos argumentado en favor de la programabilidad como una caracterstica saliente de la computacin (Blanco, Garcia, Cherini 2011). La modificabilidad y plasticidad en los sistemas computacionales podran entenderse desde la propiedad ms pertinente de la programabilidad. El objetivo primero de la tesis pan-computacionalista era la teora computacional del mente, pero para algunos filsofos involucra un cuestionamiento a la nocin misma de computacin. Para algunos investigadores, solucionar este problema significaba encontrar algn conjunto de caractersticas o propiedades especficos de la computacin que excluyan la aplicacin indiscriminada de la tesis pancomputacionalista. Para otros autores, la pregunta era cmo especificar de manera adecuada la realizacin fsica de un sistema computacional. As, por ejemplo, Piccinini presenta el concepto de mecanismo como una propiedad especfica de la computacin. Copland sugiere el concepto de arquitectura (junto con la idea de modelos honestos) como una respuesta. Scheutz trabaja la idea de "realizacin de una funcin" y sus condiciones fsicas como la concepto clave contra la pan-computacionalismo. Chalmers trata de evitar las consecuencias de esta tesis diciendo que el argumento de Putnam carece de una teora adecuada de la implementacin. Desde el campo de la filosofa del lenguaje se ha sugerido que en la propuesta original de Turing hay una confusin entre una tesis matemtica y otra filosfica (Shanker); y que a partir de una posicin wittgensteniana se podran marcar los lmites de la idea de computacin en trminos de seguir una regla. El artculo de Turing de 1936 sera un trabajo hbrido, en donde aparece tanto la nocin de clculo efectivo como la anticipacin de la idea de las mquinas que piensan de 1950. De acuerdo con la interpretacin de Shanker, seguir una regla involucra aspectos normativos que no aparecen en la idea de mquina de Turing; relegando de esta manera la computacin a un mbito descriptivo se marcan lmites - en principio- de lo que una mquina puede hacer. Habra de esta manera una diferencia entre calcular (normativo) y contar (emprico). Esta diferencia podra explicar la expresin de Wittgenstein acerca de
que las mquinas de Turing son en realidad humanos que calculan. Ms all de si la versin de Shanker es una interpretacin adecuada del pensamiento de Wittgenstein, puede ser considerada un desafo acerca de los lmites de la nocin de computacin. Finalmente se pueden sealar algunos de los desafos que se han presentado a la nocin de computacin a partir del cuestionamiento de la tesis Church-Turing. Las computadoras fsicas podran computar ms funciones que las mquinas de Turing. A su vez esta tesis de Church-Turing fsica podra tomar una forma general (bold) o podra restringirse a aquellas computadoras que sean manipulables de una forma adecuada (modest) (Cfr. Piccinini 2011) Si bien son importantes los desafos presentados por las versiones llamadas fsicas de la tesis Church-Turing o por la hipercomputacin, en tanto son de una naturaleza diferente a los problemas discutidos aqu no los consideraremos en el presente trabajo.
pueden plantearse con mayor claridad algunas propiedades que consideramos relevantes de la computacin como la programabilidad. Se puede hacer una distincin entre sistemas ms interesantes que otros, donde interesante est vinculado a la capacidad de cmputo y a la programabilidad de los sistemas. Ambas nociones admiten grados. Es ms, se puede construir una jerarqua de sistemas computacionales (Blanco, Cherini, Diller, Garcia 2011) tomando en consideracin su comportamiento o los lenguajes de programacin que admiten. En esta jerarqua hay sistemas que son ms interesantes que otros en trminos de su capacidad de cmputo y de su programabilidad, entendiendo a sta como una propiedad relevante de todo sistema que se diga computacional. Podemos caracterizar a la programabilidad como la capacidad de comportarse de formas sustancialmente distintas de acuerdo con la entrada del sistema. Los intrpretes y compiladores en computacin surgieron porque se necesitaba algn tipo de traduccin entre niveles (en nuestro caso se pude decir entre mquinas de Turing, pero puede ser, por ejemplo, entre un lenguaje de alto nivel y el lenguaje de mquina). Por esta razn Davis dice que la MU es un primer ejemplo de intrprete, porque su funcin es tomar como entrada la descripcin de una mquina de Turing y los datos de esa mquina, para luego comportarse como dicha mquina. En este sentido se puede decir que un intrprete realiza una tarea de traduccin entre distintos niveles. Y si la programabilidad, como decamos arriba, se puede caracterizar como la capacidad de comportarse de maneras sustancialmente distintas de acuerdo con un input, la MU es un ejemplo privilegiado de sistema computacional programable. De cierta manera podemos pensar a la tabla de transicin de una mquina de Turing como un programa que se aplican a los datos codificados en la cinta, la MU hace aparecer como parte de los datos al programa mismo, pudiendo pensarse a la tabla de transicin de la MU como el hardware, ya que no es necesario cambiarla, con esa nica tabla puede implementarse cualquier otra mquina slo codificndola como parte de los datos. La distincin entre hardware, programa y datos deja de ser ntida, en algunos casos se vuelve una nocin relacional. Es importante subrayar que aqu tomamos algunos de los sentidos de la relacin hardware-software. Uno de esos sentidos se refiere a la modificabilidad: aquello que regula el comportamiento y que es ms directamente cambiable es el software. Otro sentido consiste en una idea muy similar pero con connotaciones ontolgicas: el hardware es aquello que constituye el soporte efectivo de las instrucciones y los datos (el input en general) y que permite la generacin del comportamiento respectivo. La codificacin de una MU, permite, a una mquina particular, cumplir ambas funciones. La MU permite distinguir en el mismo formalismo entre las nociones de mecanismo gobernado por reglas y la de seguir una regla considerada esta ltima por Wittgenstein y reformulada por Kripke. La MU es ella misma una mquina de Turing, por lo cual su comportamiento est determinado por la tabla de transicin. Sin embargo, podemos considerar a la MU en el punto en que ya ley la codificacin de una mquina cualquiera Z como una emulacin de esta. La MU puede verse aqu como siguiendo las reglas de Z, lo cual puede explicarse haciendo referencia a las reglas elementales que definen a MU misma, as tambin como al estado de la cinta de entrada de MU. En la seccin siguiente desarrollaremos algunas de las consecuencias de esta relacin. A partir de lo dicho se puede decir que una nocin mnima de computacin no parece requerir ms que de las caractersticas de una mquina de Turing, pero una nocin ms completa (ideal) de computacin parece requerir de la nocin de MU. Con la expresin ms completa o ideal queremos decir que es un sistema ms flexible, modificable y con
propiedades distintas a una mquina de Turing. Y esta nocin es ideal en tanto funciona como prescripcin para la construccin de sistemas computacionales interesantes (esto es flexibles y programables). De esta forma se puede releer la historia de la construccin de sistemas computacionales desde fines de la dcada del 30 del siglo pasado.
mquina, hemos iniciado dicho anlisis poniendo el foco en la nocin de MU. Esta investigacin puede continuarse de diversos modos. As por ejemplo Canguilhem seala como una diferencia entre los organismos y las mquinas el que estas ltimas no puedan generar otras mquinas. Otra intuicin habitual asociada con la mquina-computadora es su supuesta predecibilidad. Pero el que se haya planteado la imposibilidad de solucionar el problema de la decisin por medio de las MU, indica que en dichas mquinas aparece en un sentido fuerte y general la propiedad de impredecibilidad. Revisar nuestras intuiciones y prejuicios a la luz del anlisis de las propiedades que surgen a partir de una -cierta- ampliacin de la nocin de computacin no es el nico camino posible, pero parece fructfero. Bibliografa
Turing, A.M. (1936). "On Computable Numbers, with an Application to the Entscheidungs problem". Proceedings of the London Mathematical Society. 2 42: 23065 Blanco,J. Cherini, R. Garcia, P. Convergencias y divergencias en la nocin de computacin Revista Iberoamericana de Ciencia, Tecnologa y Sociedad 2011 Davis, M The Universal Computer, W.W. Norton & Company 2000.