Opinion: The Mechanization of Mathematics

DOI10.1090/NOTI1688MaRDI QIDQ4553308zbMATH OpenOpenAlexWikidataFDO

Authors Jeremy Avigad

Publication date 2 November 2018

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

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

Mathematics Subject Classification ID

History of computer science (68-03) Sociology (and profession) of mathematics (01A80) General histories, source books (01A05)

Cited in

(11)

• Mathematics and the formal turn
• Proofs for a price: tomorrow's ultra-rigorous mathematical culture
• On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
• An Impossible Asylum
• Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
• MATHEMATICAL RIGOR AND PROOF
• Varieties of mathematical understanding
• Metrically homogeneous graphs of diameter \(3\)
• ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT
• Motivated proofs: what they are, why they matter and how to write them
• Reliability of mathematical inference

This page was built for publication: Opinion: The Mechanization of Mathematics

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