[Logica-l] Fwd: QPL 2024 - Second Call for Papers

-- Forwarded message - === QPL 2024 - Second Call for Papers === The 21st International Conference on Quantum Physics and Logic (QPL 2024) Buenos Aires, Argentina, July 15-19, 2024 https://qpl2024.dc.uba.ar

[Logica-l] Mathematical Proof Between Generations

Mathematical Proof Between Generations by Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri Matiyasevich, Lawrence Paulson, Dierk Schleicher, Benedikt Stock, and Efim Zelmanov https://www.ams.org/journals/notices/202401/rnoti-p79.pdf A proof is one of the most imp