4 ms·
A Special Issue on Formal Proof (2008)
- hyperpallium2 4y ago[pdf]
- ivansavz 4y agoAbstract: Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs. This special issue features a collection of articles by practioners and theorists of such formal proofs which explore both aspects. TOC: - Formal Proof by Thomas C. Hales - Formal Proof—The Four-Color Theorem by Georges Gonthier - Formal Proof—Theory and Practice by John Harrison - Formal Proof—Getting Started by Freek Wiedijk