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
Hugo Luiz Mariano
Hugo Luiz Mariano
Conferência — sexta-feira, 31 de julho (Link: https://youtube.com/live/dRwv9TgcdZA?feature=share)
09h45–10h45
Lucia Junqueira(USP) Submodelos Elementares em Topologia e Teoria dos Conjuntos
11h00–12h00
Roderick Batchelor (USP) Some Connections between Clone Theory and Abstract Logic
12h00–14h30
Almoço
14h30–15h30
Alfredo Freire(UNB) Implicit Definitions, Theory and the Issue of Categoricity
15h45–16h45
Giorgio Venturi(University of Pisa) The PA-interpretation and its spectra