Prezado Jean-Yces:
Você tem acreditado demais na indução. David Hume mandou avisar que a terra tem girado no sentido anti-horário, mas pode perfeitamente mudar o sentido no dia... :-) Mas obrigado por notar, vamos assumir a hipótese que a terra continuará girando de oeste para leste e corrigir a chamada. Abraços, e contamos com a sua participação, Em seg, 4 de jan de 2021 07:25, jyb <[email protected]> escreveu: > 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/CAOrCsLe4Uu8qxzAgyvgCPgq3yjJT-%3Dx9PKwvLEaGf1bwLrApDg%40mail.gmail.com.
