Proposta:O objetivo do evento Definitions in the Foundations of Mathematics é 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.
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.
Transmissão ao vivo: https://www.youtube.com/@Ime-UspAs aulas ficarão gravadas no Youtube (canal do IME-USP)Link 27 de agosto: https://youtube.com/live/AVbaCzsugPE?feature=shareLink 28 de agosto: https://youtube.com/live/qFsSxG_2_u0?feature=shareLink 29 de agosto: https://youtube.com/live/oS1kA1sBoc0?feature=shareLink 30 de agosto: https://youtube.com/live/bPEdCM_Ox9c?feature=shareLink 31 de agosto: https://youtube.com/live/dRwv9TgcdZA?feature=shareOrganização:Giorgio Venturi (Universidade de Pisa)
Hugo Luiz Mariano (USP)
Comitê Científico:Bruno Ramos Mendonça (Unicamp)
Francisco Miraglia (USP)
Giorgio Venturi (Universidade de Pisa)
Hugo Luiz Mariano (USP)
Lucia Renato Junqueira (USP)
Rodrigo de Alvarenga Freire (UNB)
Programação:Minicursos — segunda a quinta-feira, 27–30 de julho
14h00–16h00
John Baldwin (University of Illinois at Chicago)— Definitions and Axioms for Geometry
16h00–18h00
Rodrigo Freire (UNB) — On Mathematical Defining: Logical Aspects
Conferência — sexta-feira, 31 de julho
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