How to write a 21st century proof

DOI10.1007/S11784-012-0071-6zbMATH Open1271.03082OpenAlexW2045689965MaRDI QIDQ692371FDOQ692371

Leslie Lamport

Publication date: 5 December 2012

Published in: Journal of Fixed Point Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11784-012-0071-6

Recommendations

• How to Write a Proof
• On the Difficulty of Writing Out formal Proofs in Arithmetic
• scientific article; zbMATH DE number 1331926
• scientific article; zbMATH DE number 716832
• How to Prove It
• How to prove it. A structured approach
• scientific article; zbMATH DE number 1552073

zbMATH Keywords

informal proofsmathematical proofsstructured proofsteaching proofs

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Cites Work

• Title not available (Why is that?)

Cited In (12)

• Proofs for a price: tomorrow's ultra-rigorous mathematical culture
• PLANS AND PLANNING IN MATHEMATICAL PROOFS
• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
• Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
• A scrapbook of inadmissible line complexes for the X-ray transform
• Squeezing streams and composition of self-stabilizing algorithms
• A Framework for Certified Self-Stabilization
• Title not available (Why is that?)
• Programming and verifying a declarative first-order prover in Isabelle/HOL
• Strict Linearizability and Abstract Atomicity
• Proving a non-blocking algorithm for process renaming with TLA\textsuperscript{+}
• Structuring Mathematical Proofs

Uses Software

• TLA
• Mizar
• TLAPS
• LaTeX

This page was built for publication: How to write a 21\(^{\text{st}}\) century proof

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