De DIA
Leach.jpg

Javier Leach (1942-2016). De 1961-1965 estudió Filosofía en la Facultad San Francisco de Borja (Barcelona). Entre 1965-1970 estudió Matemáticas en la Universidad de Zaragoza. 1970-1973 estudió Teología en la Philosophisch-theologische Hochschule Sankt Georgen en Frankfurt am Main (Alemania). En 1977 se doctoró en Matemáticas. Desde 1987 ha sido profesor en la Universidad Complutense de Madrid en el área de Lenguaje y Sistemas Informáticos. Las líneas de investigación desarrolladas son: Demostración automática de teoremas por ordenador, Sistemas de deducción automática basados en tableaux, Programación declarativa con restricciones y fórmulas hereditarias de Harrop.

Fue director de la Cátedra de Ciencia, Tecnología y Religión en la Universidad Pontificia de Comillas del 2003 a 2011. Autor de numerosas publicaciones, entre ellas, el libro: Mathematics and Religion: On Languages of Sign and Symbol, Templeton Press, 2010.

Es autor de la voz Matemáticas y religión.