Obrigado João, vou falar com o David e talvez a gente possa submeter sim. Temos alguns resultados realmente práticos.
Abs Walter Em sáb, 2 de jan de 2021 15:46, Joao Marcos <[email protected]> escreveu: > 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/CAOrCsLd5pEj8LbU60DCkpVtAr6y8CreOrCe34LYBzTVGQ5K5kA%40mail.gmail.com.
