Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
From MaRDI portal
Publication:865658
DOI10.1016/j.jal.2005.10.011zbMath1114.03007MaRDI QIDQ865658
Publication date: 20 February 2007
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2005.10.011
ZFC; higher-order logic; calculus of constructions; category theory; set theory; type theory; New Foundations; Martin-Löf type theory; formalization of mathematics; logical frameworks; HOL; Isabelle; ZF; NF; Automath; foundation of mathematics; Zermelo-Fraenkel
03B35: Mechanization of proofs and logical operations
Related Items
Uses Software
Cites Work