Congresso de lógica em Lodz, Polonia
12 views
Skip to first unread message
jean-yves beziau
Sep 9, 2016, 9:01:42 AM9/9/16
to logi...@dimap.ufrn.br
Estou voltando do congresso anual de lógica na Polonia
Este ano aconteceu na cidade de Lodz onde tem um dos maiores departamento de logica da polonia.
(Na Polonia tem cerca de 10 departamentos de logica).
Este departamento foi dirijido durante muito anos por Grzegorz Malinowski, que visitou varias vezes o Brasil, especialisto de logica ploivalente:
Neste livro ele apresenta a tesa do Suszko. Iniciamos a discussao a respeito disso num review essay que fizemos deste livro em Modern Logic
Hoje o departamento é dirijido por Andrzej Indrzejczak
excelente especialisto de teoria da prova
autor da entrada sobre deducao natural na IEP
O evento este ano foi muito bom com participacao do PSH, Melving Fitting, Maria Manzano, Shankappanavar, etc
Tinha participantes de cerca de 15 pais do mundo: Japão, Estados Unidos, Russia, Austria, França, Espanha ...
O Fitting apresentou um trabalho bem interessante, sobre logicas quantificationias correspondantes as logicas normais,
O ambiante era relaxado favoravel a discussao e contatos
o banquet foi em particular bem agravadel.
Foi organizada tambem uma visita ao cemiterio judaica de Lodz (um dos maiores do mundo com 250 000 tumulos) com um guio que nos contou toda a historia do Ghetto de Lodz
Jean-Yves
Reply all
Reply to author
Forward
0 new messages