El profesor Meseguer, que dirige un equipo de investigadores dedicados al diseño de lenguajes de programación basados en la lógica, aseguró en la Universidad de Navarra que, gracias a la informática, el poder burocrático está creciendo "por todo el mundo occidental", por lo que constituye "un riesgo serio".

José Meseguer ha impartido en la Universidad de Navarra un curso monográfico de lógica maemática, dentro de su actividad en la Cátedra de la Fundación BBV.

El matemático especializado en computación afirmó que el riesgo de la utilización de los ordenadores es la "deshumanización y la pérdida de libertad del hombre".

"Este peligro", explicó el profesor Meseguer, "surge a través de teorías reduccionistas de la mente que aseguran que la inteligencia artificial es superior a la humana".

La más conocida, según el especialista en computación de Stanford, es la teoría computacional de a mente, a la que calificó de "gamberrismo intelectual", ya que identifica el pensamiento humano con procesos de computación análogos a los de una máquina.

En opinión del profesor Meseguer, hay que considerar el computador "como una herramienta que nos permite hacer algo que también podríamos realizar nosotros, pero en mucho menos tiempo. Es siempre un artefacto al servicio del hombre, por lo que su sentido solamente puede ser humano".

En cuanto a los avances en computación que se producirán en ls próximos años, José Meseguer destacó la computación paralela, que proporciona a los ordenadores la capacidad de realizar multitud de operaciones al mismo timpo -en lugar de hacerlas sucesivamente, como hasta ahora-.