Foundations of mathematics from the perspective of computer verification

DOI10.1007/978-3-319-00966-7_1MaRDI QIDQ5261836zbMATH OpenOpenAlexFDO

Authors Henk Barendregt

Publication date 8 July 2015

Published in Mathematics, Computer Science and Logic - A Never Ending Story (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-00966-7_1

zbMATH Keywords

computer algebracategory theorylogicismtype theoryformalismintuitionismPlatonismformal systemsterm rewrite systemscalculism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Grammars and rewriting systems (68Q42) Foundations of classical theories (including reverse mathematics) (03B30) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 3983097
• scientific article; zbMATH DE number 733568
• scientific article; zbMATH DE number 1560722
• Computer theorem proving in mathematics
• Understanding, formal verification, and the philosophy of mathematics

Cited in

(3)

• Hidden verification for computational mathematics
• scientific article; zbMATH DE number 1344905 (Why is no real title available?)
• Understanding, formal verification, and the philosophy of mathematics

This page was built for publication: Foundations of mathematics from the perspective of computer verification

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