El Prof. Andrzej Indrzejczak recibió una subvención avanzada del Consejo Europeo de Investigación

22.07.2022
Centrum Promocji UŁ

El Prof. Andrzej Indrzejczak, jefe del Departamento de Lógica y Metodología de las Ciencias de la Facultad de Filosofía e Historia de la Universidad de Łódź (UŁ), recibió Advanced Grant del Consejo Europeo de Investigación (ERC o European Research Council). El valor de la subvención asciende a más de 1,6 millones de euros.

Según el Centro de Promoción de la Universidad de Lódź, esta es la primera financiación de este tipo en la historia para científico de la Universidad de Łódź y la primera subvención ERC para una universidad de Łódź. También es la primera vez que un científico polaco gana Advanced Grant ERC en el campo de las ciencias sociales y las humanidades, ya que hasta ahora esta subvención se ha otorgado a los representantes de las ciencias físicas y de la ingeniería.

El proyecto del Prof. Indrzejczak, Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms, se relaciona con la teoría de la prueba y los programas de deducción automática para teorías formales que utilizan expresiones de nomenclatura complejas (como la frase: «La última película de Wajda») como información portadora. El objetivo del proyecto es adaptar las herramientas de la lógica formal a la estructura de los lenguajes naturales, en los que las expresiones nominativas complejas juegan un papel muy importante.


Humanidades