Gödelian flowers in exotic fields": Dia Internacional da Lógica- Errata

26 views
Skip to first unread message

Walter Alexandre Carnielli

unread,
Jan 2, 2021, 2:31:30 PM1/2/21
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Lista de docentes do IFCH, David Fuenmayor
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

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





Zoom Meeting

Meeting ID: 958 9475 7666
Password: 597677

jyb

unread,
Jan 4, 2021, 5:25:28 AM1/4/21
to LOGICA-L, carniell, Lista de docentes do IFCH, David Fuenmayor
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
e
a terra esta girando no sentido reverso
mas isso é uma brincadeira, 
até agora so uma pessoa reparou isso
Um abraço
JYB

Walter Alexandre Carnielli

unread,
Jan 4, 2021, 9:28:57 AM1/4/21
to jyb, Lista de docentes do IFCH, David Fuenmayor
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, 
Reply all
Reply to author
Forward
0 new messages