Foundations of mathematics from the perspective of computer verification

DOI10.1007/978-3-319-00966-7_1zbMATH Open1322.03006OpenAlexW578730056MaRDI QIDQ5261836FDOQ5261836

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

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

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)

Cited In (3)

• Hidden verification for computational mathematics
• Title not available (Why is that?)
• 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)