A quem possa interessar,
vai ter nos dias 7 e 8 de novembro o primeiro Workshop sobre
semânticas não-determinísticas para lógicas modais:
https://sites.google.com/view/1stworkshop-ndml/startseite
Para participar remotamente tem que fazer a inscrição online até hoje,
domingo 06/11.
O evento começ
Piergiorgio Odifreddi
https://en.wikipedia.org/wiki/Piergiorgio_Odifreddi
"Gödel's proof of the existence of God"
Talk at the Workshop Mathematics and Religion
organized by Stanislaw Krajewski, University of Warsaw, Poland
and Fábio Bertato, University of Campinas, Brazil
within the 3rd World Congr
