Opinion: The Mechanization of Mathematics
From MaRDI portal
Publication:4553308
DOI10.1090/NOTI1688zbMATH Open1398.68478OpenAlexW2807347976WikidataQ129713537 ScholiaQ129713537MaRDI QIDQ4553308FDOQ4553308
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
History of computer science (68-03) Sociology (and profession) of mathematics (01A80) General histories, source books (01A05)
Cited In (11)
- 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
- Mathematics and the formal turn
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)
