Opinion: The Mechanization of Mathematics
From MaRDI portal
Publication:4553308
DOI10.1090/noti1688zbMath1398.68478OpenAlexW2807347976MaRDI QIDQ4553308
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT ⋮ MATHEMATICAL RIGOR AND PROOF ⋮ Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started ⋮ An Impossible Asylum ⋮ Mathematics and the formal turn ⋮ Reliability of mathematical inference ⋮ MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM ⋮ Metrically homogeneous graphs of diameter 3 ⋮ Varieties of mathematical understanding ⋮ On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
This page was built for publication: Opinion: The Mechanization of Mathematics
