[Logica-l] Final call for dissertations -- E.W. Beth Dissertation Prize 2025

2025-04-11 Por tôpico Elaine Pimentel
Dear colleagues, Since 1998, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information, with financial support of the E.W. Beth Foundation. Information about the qua

Re: [Logica-l] IA ainda *muito* incompetente no que diz respeito ao raciocínio lógico

2025-04-11 Por tôpico Eduardo Ochs
Eu costumava achar que os meus alunos de Cálculo 2 - que são do curso de Engenharia de Produção - eram infinitamente piores do que os de vocês... Eu comecei esse semestre dizendo que um dos nossos objetivos é aprender a fazer contas sem aipins, onde "o" aipim é essa fórmula daqui, [Aipim] = (

Re: [Logica-l] IA ainda *muito* incompetente no que diz respeito ao raciocínio lógico

2025-04-11 Por tôpico Marcelo Finger
Eduardo. ;-) Eu acho um horror você denegrir a culinária e a cultura nacional, chamando de aipim o que mereceria ser chamado de biguimequi. Att On Fri, Apr 11, 2025 at 12:38 PM Eduardo Ochs wrote: > Eu costumava achar que os meus alunos de Cálculo 2 - que são do curso > de Engenharia de Produ