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ê 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/CAOrCsLeixZ-9iFiVVg9KfVHvEtOkDksUTmHwhJV4jX580YJ84Q%40mail.gmail.com.
