As investigações fundacionais – que visam o ganho de entendimento sobre as práticas matemáticas – resultaram nas disciplinas que compõem o que hoje chamamos de lógica matemática. Teoria da demonstração, teoria de modelos, computabilidade, sintaxe e semântica de teorias de conjuntos e de números, todas emergem da atividade em fundamentos da matemática.
Tais investigações mostraram, em um primeiro momento, que os elementos presentes no raciocínio matemático poderiam ser formulados em sistemas axiomáticos, de modo que grandes porções da matemática seriam consequência lógica de poucos princípios, e, em um segundo momento, que qualquer “formalização” de parte da matemática poderia ser ela própria tecnicamente investigada acerca de sua adequação.
Vamos apresentar, nesta palestra, alguns marcos desse desenvolvimento, em número reduzido para que possam ser explicados, mas suficiente para formar uma imagem – ainda que aproximada e preliminar – da área.
Inscrições: https://forms.gle/UedibbGsiwERxENb9
Informações: academiacearensedematematica@gmail.com
Rodrigo Freire
Possui Doutorado em Filosofia (2009), pela Universidade Estadual de Campinas, e Doutorado em Matemática (2014), pela Universidade de São Paulo. É professor do Departamento de Filosofia da Universidade de Brasília e bolsista de produtividade em pesquisa do CNPQ, nível 2.
Tem experiência em lógica clássica e fundamentos da matemática, com diversos artigos, capítulos e livros na área.
É membro da organização sem fins lucrativos Lógica no Avião, que trabalha para promover conteúdo de qualidade na área de lógica.
Comentários na Lista de Presença
Parabéns professor, sensacional.
André Rogério Ferraz
Palestra muito interessante!
Angela Maria Pinto de Aguiar
Excelente palestra
Carlos Magno de Moraes
Excelente seminário
Carlos Roberto de Almeida Rodrigues
Parabéns pelas palestras muito boas!
Claudinalva Frasão dos Anjos
Parabéns
Edvaldo Do Nascimento Silva
Foi ótimo
Erandi Freire Pontes
Apresentações maravilhosas! Parabéns a todos os envolvidos
Erica Lins Carioca
Muito boa a palestra. Parabéns!
Flávio Maximiano da Silva Rocha
Parabéns, professor Rodrigo Freire! Excelente palestra.
Francisca Maria Mendes de Souza Macedo
Parabéns, excelentes colocações.
Geisibel Romanek
Gostaria de parabenizar a ACM pela palestra promovida. De um conhecimento muito enriquecedor.
Jefte Dodth Telles Monteiro
Palestra extraordinária e bom tema.
José Jânio Ferreira dos Santos
Excelente
José Maria Dos Santos Lobato Júnior
Excelente tema!
Josefa Elizangela dos Santos
Muito incrível a palestra principalmente a forma de visão de linguagem formal
Lorran Rodrigues Bezerra
Uma ótima metodologia didática . Uma aprendizagem rica e desempenho profissional para que nos professores, desenvolvam matemática na prática.
Luis da Costa Pereira
EXCELENTE
Maria Aparecida de Moura Amorim Sousa
Parabéns pelos encontros, esses momentos estão enriquecendo minha vida acadêmica e profissional.
Maria Auxiliadora Pereira de Oliveira
A apresentação foi fantástica. Bem estruturada e abrangente. A palestra contribuiu imensamente com novas aprendizagens e reflexões acerca dos Fundamentos da Matemática, ampliando novos horizontes.
Miron Menezes Coutinho
Estava maravilhosa a palestra!!!
Samuel Xavier Ribeiro
Parabéns, curso super objetivo, simples e prático.
Solange Aparecida Silva Nunes
Muito interessante e cativante o que foi falado.
Suziane Meireles Arruda