Caros Walter e David Que eu saiba, a terra em 2021 continua a girar no mesme sentido: 16h em Zurich são meio dia em São Paulo, hora da feijoada no sabado 16 De fato nas paginas http://logica-universalis.org/wld e http://logica-universalis.org/wld2 a terra esta girando no sentido reverso mas isso é uma brincadeira, até agora so uma pessoa reparou isso Um abraço JYB Le samedi 2 janvier 2021 à 16:31:30 UTC-3, carniell a écrit :
> 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/a72b0e40-4325-4d69-9fd1-01500c4005c6n%40dimap.ufrn.br.
