La Bella y la Bestia (perdón, Lógica e Informática)

Resumen

El propósito de este artículo es poner de relieve los profundos lazos existentes entre Lógica e Informática. En la Introducción destaco los distintos niveles en los que podemos situarnos para describir el funcionamiento de un programa, haciendo especial hincapié en el hecho de que en cada uno de ellos utilizamos un lenguaje formal. Desde el nivel inferior, pisando tierra, en dodnde se sitúa el computador con su unidad central, su memoria y registos, hasta el nivel metateórico en donde los programas son los objetos de estudio, la lógica formal constituye la fuente inagotable de recursos teóricos. En la segunda parte del artículo muestro cómo desde los inicios de la Informática la Lógica ha sido fuente de fecunda inspiración y de influencia técnica: Boole, Frege Gödel, Tarski, Chruch, Kleene, Herbrand, Robinson, Turing, Post, Chomsky, etc. no son sólo lógicos notables sino también responsables, directa o indirectamente, de las maquinas de registros (Turing),de la caracterización del poder de los algoritmos y de la computación digital y de la demostración de su equivalencia (Church, Kleene, Turing), de la distinción entre síntaxis y semántica en los lenguajes de programación (Frege,Tarski), y de ciertos lenguajes de programacion como el LISP y el PROLOG. También es de destacar la influencia que los sistemas formales, llamados gramáticas (Chomsky), diseñados para analizar la síntaxis de los lenguajes naturales, tuvieron en el diseño de los compiladores. Como contrapartida la Informática ofrece una tierra nueva, rica en problemas filosóficos que pueden ser investigados con la poderosa maquinaria de la lógica formal. Es en la Lógica de Programas en donde se lleva a cabo esta empresa fascinante, en donde el maridaje entre Lógica e Informática es mejor entendido y cultivado.