Efectividad computacional y máquinas

Abstract

Es una cuestión controvertida explicitar las razones por las cuales la comunidad que estaba trabajando en la noción de procedimiento efectivo consideró a la presentación de Turing como una solución. Más allá de las razones históricas particulares de este acuerdo generalizado, hay una cuestión conceptual más amplia que involucra el alcance y significado de la solución sugerida por Turing. Lo cierto es que la convergencia de las propuestas de procedimiento efectivo favoreció una caracterización extensional de aquello que es computable. En este trabajo avanzaremos en una caracterización más de tipo intensional de la computación. Para ello distinguiremos, en primer lugar, entre efectividad y programabilidad, como dos aspectos de la computación. En segundo lugar sugeriremos dos maneras de caracterizar las nociones de efectividad y programabilidad, una de ellasfocalizada en el análisis de las intuiciones supuestas y otra centrada en la axiomatización de propiedades relevantes. Estimamos que este tipo de análisis puede serventajoso para abordar diversos problemas en filosofía de la computación. En concreto, la hipótesis que desarrollamos aquí, es la necesidad de considerar por separado dos conceptos diferentes, que se aplican en dominios diferentes, y cuya intersección da lugar a la idea de computación efectiva y a la tesis de Church-Turing. Por un lado, la idea de efectividad que parece, en principio, asentarse en la de mecanismo. Por otro, una idea relacional de “computación” -especificada en términos de programabilidad-. Es decir, desde esta perspectiva “computar” involucra un tipo de relación que puede tomar distintas formas.