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

calculismcategory theorycomputer algebraformal systemsformalismintuitionismlogicismPlatonismterm rewrite systemstype theory

Mathematics Subject Classification ID

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

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
• Understanding, formal verification, and the philosophy of mathematics
• scientific article; zbMATH DE number 1344905 (Why is no real title available?)

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)