Le professeur Andrzej Indrzejczak, chef du D\u00e9partement de Logique et de M\u00e9thodologie des Sciences \u00e0 la Facult\u00e9 de Philosophie et d’Histoire de l’Universit\u00e9 de \u0141\u00f3d\u017a (U\u0141), a re\u00e7u une prestigieuse subvention avanc\u00e9e du Conseil Europ\u00e9en de la Recherche (CER) de plus de 1,6 million d’euros pour son projet de recherche.<\/b><\/p>\n
Comme le souligne le Centre de Promotion de l’U\u0141, il s’agit du tout premier financement de ce type pour un scientifique de l’Universit\u00e9 de \u0141\u00f3d\u017a et en m\u00eame temps de la premi\u00e8re subvention CER pour les universit\u00e9s de \u0141\u00f3d\u017a. C’est \u00e9galement la premi\u00e8re fois qu’un scientifique polonais remporte une bourse avanc\u00e9e du CER dans le domaine des sciences sociales et humaines, car jusqu’\u00e0 pr\u00e9sent, elle a \u00e9t\u00e9 re\u00e7ue par des repr\u00e9sentants des sciences physiques et de l’ing\u00e9nierie.<\/span><\/p>\n Le projet du professeur Indrzejczak – \u00ab\u00a0Coming to Terms : Proof Theory Extended to Definite Descriptions and other Terms\u00a0\u00bb. – est consacr\u00e9 \u00e0 la th\u00e9orie de la preuve et aux programmes de d\u00e9duction automatique pour les th\u00e9ories formelles utilisant des expressions de noms complexes (telles que l’expression : \u00ab\u00a0le dernier film de Wajda\u00a0\u00bb) comme supports d’information. L’objectif du projet est d’adapter les outils de la logique formelle \u00e0 la structure des langues naturelles, dans lesquelles les expressions de noms complexes jouent un r\u00f4le tr\u00e8s important.<\/span><\/p>\n","protected":false},"excerpt":{"rendered":" Le professeur Andrzej Indrzejczak, chef du D\u00e9partement de Logique et de M\u00e9thodologie des Sciences \u00e0 la Facult\u00e9 de Philosophie et d’Histoire de l’Universit\u00e9 de \u0141\u00f3d\u017a (U\u0141), a re\u00e7u une prestigieuse subvention avanc\u00e9e du Conseil Europ\u00e9en de la Recherche (CER) de plus de 1,6 million d’euros pour son projet de recherche. Comme le souligne le Centre […]<\/p>\n","protected":false},"author":6,"featured_media":229859,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[37],"tags":[],"_links":{"self":[{"href":"https:\/\/www.polishscience.pl\/fr\/wp-json\/wp\/v2\/posts\/229935"}],"collection":[{"href":"https:\/\/www.polishscience.pl\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.polishscience.pl\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.polishscience.pl\/fr\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/www.polishscience.pl\/fr\/wp-json\/wp\/v2\/comments?post=229935"}],"version-history":[{"count":0,"href":"https:\/\/www.polishscience.pl\/fr\/wp-json\/wp\/v2\/posts\/229935\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.polishscience.pl\/fr\/wp-json\/wp\/v2\/media\/229859"}],"wp:attachment":[{"href":"https:\/\/www.polishscience.pl\/fr\/wp-json\/wp\/v2\/media?parent=229935"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.polishscience.pl\/fr\/wp-json\/wp\/v2\/categories?post=229935"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.polishscience.pl\/fr\/wp-json\/wp\/v2\/tags?post=229935"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}