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 On Sat, Jan 2, 2021 at 3:38 PM Walter Alexandre Carnielli <[email protected]> wrote: > > 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 > > > > https://sites.google.com/view/wldzurich2021/startseite > > > Zoom Meeting > https://ethz.zoom.us/j/95894757666?pwd=aHZxOWM2Zzk0b3lRTWYwVWw1QlZEUT09 > > Meeting ID: 958 9475 7666 > Password: 597677 > > -- > 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 [email protected]. > 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/ -- Você está recebendo esta mensagem porque se inscreveu 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LixX7oECRv-99BvDkC6T1t8arevVpnP3pfuvrvUsf-cOA%40mail.gmail.com.
