Definitions in the Foundations of Mathematics: IME-USP, 27-31 de julho
Hugo Luiz Mariano
Prezadas e prezados colegas,
Temos o prazer de anunciar o programa atualizado do evento Definitions in the Foundations of Mathematics, que será realizado no Instituto de Matemática e Estatística da Universidade de São Paulo — IME–USP, de segunda-feira, 27 de julho, a sexta-feira, 31 de julho. (cartaz em anexo)
O objetivo do evento é reunir pesquisadoras, pesquisadores e estudantes para discutir o papel das definições nos fundamentos da matemática, com atenção a seus aspectos lógicos, ontológicos e epistemológicos.
O evento será agora composto por dois minicursos no período da tarde, de segunda a quinta-feira, seguidos por uma conferência de um dia na sexta-feira.
Minicursos — segunda a quinta-feira, 27–30 de julho
| Horário | Minicurso |
|---|---|
| 14h00–16h00 | John Baldwin — Definitions and Axioms for Geometry |
| 16h00–18h00 | Rodrigo Freire — On Mathematical Defining: Logical Aspects |
Conferência — sexta-feira, 31 de julho
| Horário | Palestrante |
| 09h30–10h30 | Lucia Junqueira Submodelos Elementares em Topologia e Teoria dos Conjuntos |
| 10h30–11h30 | Rodrigo Bacelar Some Connections between Clone Theory and Abstract Logic |
| 11h30–12h00 | Coffee break |
| 12h00–13h00 | Bruno Ramos On the Model-Theoretic Aspects of Paraconsistent Definability |
| 13h00–14h30 | Almoço |
| 14h30–15h30 | Alfredo Freire Implicit Definitions, Theory and the Issue of Categoricity |
| 15h30–16h30 | Santiago Jockwich Taming Duplication through True Identity |
| 16h30–17h00 | Coffee break |
| 17h00–18h00 | Giorgio Venturi The PA-interpretation and its spectra |
Convidamos cordialmente estudantes, pesquisadoras, pesquisadores e todas as pessoas interessadas em lógica, filosofia da matemática, teoria dos conjuntos, verdade e fundamentos da matemática a participar do evento.
Atenciosamente,
O comitê organizador
