La noción de intérprete y la naturaleza de la ciencia computacional

Abstract

La ciencia de la computación tiene su origen en las consecuencias del "fracaso" del programa de Hilbert. La idea de proceso efectivo se incorporó corno uno de los temas centrales de la pujante nueva disciplina de la matemática. No parece casualidad que las primeras computadoras fueran creadas por equipos de trabajo dirigidos por matemáticos que trabajaban (entre otras cosas) en estos temas (ejemplos paradigmáticos de esto son Alan Turing y John Von Neumann). La aparición de las computadoras dio lugar a líneas de investigación interconectadas entre lógica, matemática e ingeniería, las cuales, a partir de encontrar problemas específicos y nuevos métodos de soluaón, van constituyendo una nueva disciplina. Las nociones de programa y de algoritmo son centrales en esta nueva aenaa, y sus diversas caracterizaciones como fórmulas lógicas, artefactos o procesos da lugar a concepciones diferentes tanto ontológicas como epistemológicas y metodológicas. Desde estas diferentes concepciones, la ciencia de la computación ha sido planteada como ciencia formal, como ciencia empírica o directamente como una disciplina tecnológica. Queda la pregunta de si estas miradas presentadas corno paradigmas diferentes (Eden) no pueden ser integradas corno enfoques compatibles de distintos aspectos de la disciplina.