[Logica-l] lógicas & química
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 A mensagem inicial, citou o livro The Logic of Chemical Synthesis https://ia601303.us.archive.org/25/items/Logic_of_Chemical_Synthesis_Corey_1989/Logic_of_Chemical_Synthesis_Corey_1989_text.pdf Eu fiz referência ao artigo https://arxiv.org/abs/2210.12150, e estou procurando possiveis trabalhos com outros provadores de teoremas (ATP/ITP). O desafio é entender o domínio da química, como ela é organizada e a relevância dos trabalhos existentes. Ab., Alexandre -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/D1926065-420A-4560-BE73-4F2C59CBB5FF%40gmail.com.
[Logica-l] Hoje é o Dia do Pi !
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 da matemática franco-canadense, Christiane Rousseau, que declarou: "A matemática faz parte da cultura universal. Está em todos os lugares, atrás de cada pedaço de tecnologia ao nosso redor, na forma como a sociedade está organizada e na transição para o desenvolvimento sustentável. As comemorações em torno do Dia Internacional da Matemática são um convite para descobrir o poder criativo da matemática" https://fr.wikipedia.org/wiki/Christiane_Rousseau E tal que falou David Hilbert: "A matemática não conhece raças ou fronteiras geográficas; para a matemática, o mundo cultural é um país só." JYB -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBciGEF37%3DWJO0JAY48z79SHN5FwafCiSq9Bj7j8zV7Tg%40mail.gmail.com.
[Logica-l] Fwd: [PHILOS-L] Rolf Schock prize in Logic and philosophy 2024
-- 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 about the Rolf Schock Prizes at https://www.kva.se/en/news/science-art-and-music-meet-in-the-rolf-schock-prizes-2024/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lg0WXUp%2BEy_BNC%3DtUCa4RvTD9mFC08en0EOtjcLszOL5g%40mail.gmail.com.
