Foundations of Mathematics from the Perspective of Computer Verification

DOI10.1007/978-3-319-00966-7_1zbMath1322.03006OpenAlexW578730056MaRDI QIDQ5261836

Hendrik Pieter 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 theorylogicismformal systemstype theoryformalismPlatonismintuitionismterm rewrite systemscalculism

Mathematics Subject Classification ID

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

This page was built for publication: Foundations of Mathematics from the Perspective of Computer Verification