Metamathematical extensibility for theorem verifiers and proof-checkers

DOI10.1016/0898-1221(79)90044-0zbMath0418.68079OpenAlexW1975127350MaRDI QIDQ1131849

Martin Davis

Publication date: 1979

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(79)90044-0

zbMATH Keywords

automatic proof checker

Mathematics Subject Classification ID

Related Items (4)

Hybrid reasoning using universal attachment ⋮ Directly reflective meta-programming ⋮ Explicit Provability and Constructive Semantics ⋮ Banishing Ultrafilters from Our Consciousness

Cites Work

• Prolegomena to a theory of mechanized formal reasoning
• Unnamed Item

This page was built for publication: Metamathematical extensibility for theorem verifiers and proof-checkers