[Logica-l] TALK @ WLD: Machine Learning and Logic: Fast and Slow Thinking, por Moshe Y. Vardi

On the occasion of World Logic Day, January 14, 2025, the DLMPST Commission on Logic Education invites you to a webinar by Professor Moshe Vardi. Date: January 14, 2025 Time: 0700 CST, 1300 GMT, 1400 CET, 1830 IST, 2100 (Beijing) Zoom Link: URL: https://cmi-ac-in.zoom.us/j/89055168551?pwd=7SeShM

[Logica-l] AI & Mathematics

ESSAY: Machine-Assisted Proof by Terence Tao https://www.ams.org/journals/notices/202501/noti3041/noti3041.html LECTURE The Potential for AI in Science and Mathematics, by Terence Tao https://youtu.be/_sTDSO74D8Q?si=ZQkvXVGp38vfF1d5 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estu