Seminários
Lógica, Topologia e Teoria dos Conjuntos
O seminário de Lógica, Topologia e Teoria dos Conjuntos do Instituto de Matemática da UFBA foi iniciado em 2006.
Seu objetivo é propiciar um ambiente de discussão e troca de idéias entre o pessoal envolvido (docentes mas também alunos de graduação e pós-graduação). As apresentações tratam de tópicos na área de Lógica e Fundamentos, e mais especificamente:
- Lógicas Clássicas e não-Clássicas
- Teoria dos Conjuntos
- Teoria dos Modelos
- Álgebra Universal
- Lógica Algébrica
- Teoria dos Reticulados e das Ordens Parciais
- Topologia Geral e Conjuntística
- Teoria das Categorias
- História e filosófia da Matemática.
Algumas palestras são gravadas e publicada no nosso canal YouTube. Para assistir aos vídeos disponíveis, clique no títulos das palestras.
Palestras
2019
-Mudança de Crença e Lógicas Epistêmicas Dinâmicas: DEL como um framework para revisões de crença a la AGM.
Marlo Souza (Departamento de Computação - UFBA - Brasil)
16/05/2019 e 23/05/2019 na sala 20 da Pós-graduação do IME-UFBA
Resumo
2016
- Uma abordagem abstrata ao teorema de Glivenko
Hugo L. Mariano (Universidade de São Paulo - Brasil)
25/2/2016
Baixe os slides
2015
- Relation algebras throughout Galois connections
Leandro Suguitani (Universidade Federal da Bahia - Brasil)
4/11/2015
Tristan Bice (Universidade Federal da Bahia - Brasil)
17/6/2015
Baixe os slides
- Witnessed and quasi-witnessed models in first order fuzzy logic
Marco Cerami (Palacký University of Olomouc - República Tcheca)
27/5/2015
- Approximate Ramsey properties for finite-dimensional Banach spaces and simplexes
Dana Bartošová (Universidade de São Paulo - Brasil)
27/5/2015
Baixe os slides
- Sparse families and their topological applications
Santi Spataro (Universidade de São Paulo - Brasil)
29/4/2015
- Alguns sujeitos conjuntísticos no aprendizado de máquina
Vladimir Pestov (University of Ottawa - Canadá)
15/4/2015
Baixe os slides
- Aproximacões de Grupos, Grafos e Sistemas Dinãmicos com Objetos Finitos
Vladimir Pestov (University of Ottawa - Canadá)
14/4/2015
Baixe os slides
- Naming Infinity - Religious mysticism and mathematical creativity
Jean-Michel Kantor (Institut mathématique de Jussieu - Paris, França)
8/4/2015
- The Recovering Information Property and the Axiom of Choice
Samuel Gomes da Silva (Universidade Federal da Bahia - Salvador, Brasil)
25/3/2015
2014
- Dialectica Categories, Cardinalities of the Continuum and Combinatorics of Ideals
Samuel Gomes da Silva (Universidade Federal da Bahia - Salvador, Brasil)
2/12/2014
- Capture, Collection, Choice and Domination: Some Librationist Ventures
Frode Bjørdal (Universidade Federal do Rio Grande do Norte - Natal, Brasil)
9/10/2014
- Sobre o Problema de Souslin
Samuel Gomes da Silva (Universidade Federal da Bahia - Salvador, Brasil)
2/10/2014
- Edwardian Proofs for Futuristic Programs and Personal Assistants
Valeria Correa Vaz de Paiva (Nuance Communications - Cupertino, EUA)
16/9/2014
- The controversy between Gregory and Huygens on the Quadrature of the Circle
Davide Crippa (Université Paris 7, Denis Diderot - Paris, França)
4/9/2014
- Ω-sets completos
Andreas B. M. Brunner (Universidade Federal da Bahia - Salvador, Brasil)
16/7/2014
- On ultrahuge cardinals
Kostas Tsaprounis (Universidade Federal da Bahia - Salvador, Brasil)
11/6/2014
- Caminhos entre as categorias de MV-álgebras, semianéis idempotentes e ul-grupos
Ciro Russo (Universidade Federal da Bahia - Salvador, Brasil)
4/6/2014
- Main issues in metamathematics II: templates, decidability, language invariance and examples (Harvey Friedman's Concept Calculus)
Andrey Bovykin (Universidade Federal da Bahia - Salvador, Brasil)
21/5/2014
- Formas categoriais do Axioma da Escolha
Samuel Gomes da Silva (Universidade Federal da Bahia - Salvador, Brasil)
30/4/2014
- Main issues in metamathematics I: unprovability, conservativity, lengths of proofs, absolute unprovability and three notions of strength (material, consistency and arithmetical strength)
Andrey Bovykin (Universidade Federal da Bahia - Salvador, Brasil)
23/4/2014
- Pequenos cardinais: quem são, onde eles moram, para que eles servem
Leandro Aurichi (Universidade de São Paulo - São Carlos, Brasil)
16/4/2014
- Versões seletivas da separabilidade e da condição de cadeia enumerável
Santi Spataro (Universidade de São Paulo - Brazil)
16/4/2014
- Long Reals
Kostas Tsaprounis (Universidade Federal da Bahia - Salvador, Brasil)
26/3/2014
- Perspectives in Set Theory. Open problems and opportunities for young mathematicians.
Mirna Džamonja (University of East Anglia - Norwich, Reino Unido)
13/3/2014