Valeria de Paiva (Topos Institute) - Dialectica e os Problemas de Kolmogorov-Veloso
Channel: Mathematical Logic UFBA
Date: 26/03/2022

Seminar given by Valeria de Paiva at the Instituto de Matemática of the Universidade Federal da Bahia - Brazil.
Month 21, 2022

Abstract:
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.