Prezados,
Estou procurando referências sobre uso de métodos formais (lógicas, provas,
axiomatizações etc) na química. Neste momento, meu escopo é bem amplo e
motivado por uma recente conversa na maillings do Isabelle.
https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/2024-02/msg00036.html
Hoje é o dia internacional da matemática, chamado "Pi Day", porque é dia
14 de março.
https://www.idm314.org/
Esse dia foi comemorado de maneira informal durante muitos anos.
Em 2019, o mesmo ano que o dia mundial da lógica, o Pi Day entrou no
calendário internacional da UNESCO, devido a ação
-- Forwarded message -
Prize announcement.
The Rolf Schock Prize in Logic and philosophy 2024 is awarded jointly to
Hans Kamp, Stuttgart, and Irene Heim, MIT,
"for the (mutually independent) conception and early development of dynamic
semantics for natural language".
Read more
