Inscrições: https://forms.gle/Sec4E43jfXgfZZvY6
Informações: acm@acm-itea.org
Vídeo no Youtube:
Vamos abordar o célebre teorema da incompletude de Godel e utilizá-lo como fio condutor para explicar ideias básicas da metamatemática.
Rodrigo Freire
Graduado em engenharia elétrica pela Unesp (2004), doutor em filosofia pela Unicamp (2009), doutor em matemática pela USP (2014), professor do departamento de filosofia da UnB. Tem experiência na área de lógica e estudos fundacionais e é bolsista de produtividade do CNPq.
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.