"Gödelian flowers in exotic fields": Dia Internacional da Lógica
20 views
Skip to first unread message
Walter Alexandre Carnielli
Jan 2, 2021, 1:38:32 PM1/2/21
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Lista de docentes do IFCH
Conferência 14 de janeiro,
Dia Internacional da Lógica/World Logic Day
Carlos colegas :
no Dia Internacional da lógica, Davi Fuenmayor e eu estaremos representando a lógica brasileira no evento
Formalize!(?)
A philosophical & educational perspective on
formalization in mathematics
Zurich / Online
15:50 - 20:00 (CET / UTC+1)
16:00 - 16:30
*Horário de Zurique*
20:00- 20:30 Horário de São Paulo
David Fuenmayor & Walter Carnielli:
"Gödelian flowers in exotic fields: automating (meta-)mathematical reasoning for non - classical logics "
Abstract:
How is it possible to employ automated theorem provers and proof assistants for formalization and reasoning in non-classical logics? We will discuss the semantic embedding approach and use it to formalize the 'last mile' of the proof of Gödel's incompleteness theorems in Isabelle/HOL. We aim at motivating a discussion on the use of automated reasoning with non-classical logics for the formalization and interpretation of (meta-)mathematical results
Zoom Meeting
Meeting ID: 958 9475 7666
Password: 597677
Joao Marcos
Jan 2, 2021, 1:46:32 PM1/2/21
to Walter Alexandre Carnielli, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Excelente, Walter!
Com relação aos aspectos educacionais mais _práticos_ da formalização
da Matemática, talvez vocês queiram considerar submeter algo para este
workshop?
https://www.uc.pt/en/congressos/thedu/ThEdu21/cfp
[]s, Joao Marcos
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLeixZ-9iFiVVg9KfVHvEtOkDksUTmHwhJV4jX580YJ84Q%40mail.gmail.com.
--
http://sequiturquodlibet.googlepages.com/
Com relação aos aspectos educacionais mais _práticos_ da formalização
da Matemática, talvez vocês queiram considerar submeter algo para este
workshop?
https://www.uc.pt/en/congressos/thedu/ThEdu21/cfp
[]s, Joao Marcos
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLeixZ-9iFiVVg9KfVHvEtOkDksUTmHwhJV4jX580YJ84Q%40mail.gmail.com.
--
http://sequiturquodlibet.googlepages.com/
Walter Alexandre Carnielli
Jan 2, 2021, 2:13:42 PM1/2/21
to Joao Marcos, David Fuenmayor, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Obrigado João, vou falar com o David e talvez a gente possa submeter sim.
Temos alguns resultados realmente práticos.
Abs
Walter
Reply all
Reply to author
Forward
0 new messages