Colegas: Nossa apresentação no Dia Internacional da Lógica será no sábado, 16 de janeiro,
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" Zoom Meeting https://ethz.zoom.us/j/95894757666?pwd=aHZxOWM2Zzk0b3lRTWYwVWw1QlZEUT09 Meeting ID: 958 9475 7666 Password: 597677 > > Car@s 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/CAOrCsLfOnGABizWfAJx2kORRyNA%3DDJBf0CGUsX2VO-9f-8KBtw%40mail.gmail.com.
