Mathematical proof between generations

DOI10.1090/NOTI2860MaRDI QIDQ6610670zbMATH OpenFDO

Authors Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yu. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, E. Zelmanov

Publication date 26 September 2024

Published in Notices of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/NOTI2860

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

Cited in

(1)

• Notes on Gödel's and Scott's variants of the ontological argument

This page was built for publication: Mathematical proof between generations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6610670)