Prezados,
Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL - Carol Blasio* por Diversidade na Lógica.
Seguem dados da palestra:
**************************************************************************************************************
Título: Dialectica e os Problemas de Kolmogorov-Veloso
Palestrante: Valeria de Paiva (Topos Institute)
Segunda, 21 de março, 19hs
Resumo:
Quero aproveitar a oportunidade desse Dia da Carolina Blasio para discutir abstrações de problemas e de raciocínio, assumindo que problemas são sempre o que queremos resolver, quer em matemática, quer em computação ou mesmo na filosofia.
Esse trabalho, conjunto com o Prof Samuel Gomes da Silva,
é nossa homenagem ao Prof Paulo Veloso, que introduziu nos anos
80 sua Teoria de Problemas. A Teoria de Problemas também é o tema principal do artigo de A. Kolmogorov "Sobre a interpretação da lógica intuicionista", que apesar do título, trata de problemas, e não de lógica.
Queremos conectar os problemas de Kolmogorov aos objetos da construção Dialética e mostrar como a Dialética nos dá uma melhor abordagem aos problemas de Kolmogorov, fornecendo os morfismos das categorias que Kolmogorov não
possuia em 1932. Então quero tentar convencê-los de que essa coincidência de estruturas algébricas ocorre em vários exemplos matemáticos e pode até apontar para uma boa maneira de pensar sobre multi-sistemas de agentes.
********************************************************************************
Por favor, sintam-se à vontade para repassar este convite a possíveis interessados.
Grato,
[]s Samuel G. da Silva - UFBA
* Carolina Blasio da Silva (1984-2017)
Carolina Blasio da Silva era uma brilhante lógica brasileira que, infelizmente, morreu em 2017
aos 33 anos de Idade.
Ela era Bacharel em Psicologia (2006) e Bacharel em Filosofia (2012), e tinha também
um mestrado em Filosofia da Religião pela Universidade de Juiz de Fora. Antes de seu falecimento, ela defendeu sua tese de doutorado na Unicamp e obteve o seu doutoramento em Filosofia (Lógica).