Proposta:Uma boa base filosófica sempre foi imprescindível na educação de matemáticos e cientistas em geral, algo que, infelizmente, acabou se esvaindo nas últimas décadas.A presente iniciativa, composta por uma dezena de palestras de introdução à filosofia da matemática, é destinada, principalmente, a despertar o interesse no assunto que a maioria dos jovens matemáticos e cientistas que não tiveram a oportunidade de entrar em contato com este tema, abrindo a possibilidade de complementação de formação, algo tão importante na educação dos futuros matemáticos do Brasil.Durante o evento, haverá homenagens aos 65 anos do professor Odilon Otávio Luciano, IME-USP, que sempre foi um grande estimulador de uma profícua interação entre Matemática e Filosofia.Transmissão ao vivo: https://www.youtube.com/@Ime-UspAs aulas ficarão gravadas no Youtube (canal do IME-USP)Organização:Marcelo Allegro Scacciotti Simonsen (USP)
Daniel Moura Fernandez (USP)
Yan Carlos Gomes Amorim (USP)
Hugo Luiz Mariano (docente USP)
Palestrantes:Arthur Heller (Columbia University)Ernesto Giusti (Unicentro)Francisco Miraglia (USP)Ítala D’Ottaviano (Unicamp)John Dougherty (Munich Center for Mathematical Philosophy)Marco Chabbouh (PUC-Campinas/Pós-Doc USP)
Rodrigo Freire (UNB)Walter Carnielli (Unicamp)Programação:14 de Abril
(10:00 - 12:30) Ernesto Giusti (UNICENTRO)
Uma Introdução Histórica à Filosofia da Matemática
(12:30-14:00) Almoço
(14:00 - 15:40) Rodrigo Freire (UNB)
Filosofia e Teoria dos Conjuntos
(15:40-16:10) Coffee Break
(16:10-17:50) Marco Chabbouh (PUC-Campinas/Pós-Doc USP)
Fundações da Matemática na Conceitografia e nos Fundamentos da Aritmética do Frege
15 de Abril
(10:00 – 12:30) Ernesto Giusti (UNICENTRO)
Filosofia e Matemática, Filosofia Matemática e Filosofia da Matemática: Conceitos e História
(12:30-14:00) Almoço
(14:00 – 15:40) Walter Carnielli (UNICAMP)
Gödel e Meta-Matemática
(15:40-16:10) Coffee Break
(16:10 – 17:50) Arthur Heller (Columbia University)
Do teorema de Pitágoras à geometria não-Euclidiana, um estudo de caso sobre os fundamentos da Matemática
16 de Abril
(10:00 – 12:30) John Dougherty (Munich Center for Mathematical philosophy)
Teoria das Categorias na Filosofia da Ciência)
(12:30-14:00) Almoço
(14:00 – 15:40) Ítala D’Ottaviano (UNICAMP)
Da lógica clássica à Paraconsistência
(15:40-16:10) Coffee Break
(16:10 – 17:50) Francisco Miraglia (USP) Lógica intuicionista e sua teoria de Modelos