scientific article
From MaRDI portal
Publication:3001104
zbMath1244.03156MaRDI QIDQ3001104
Publication date: 31 May 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (7)
Proofs as Objects ⋮ Local axioms in disguise: Hilbert on Minkowski diagrams ⋮ The Cantor–Bernstein theorem: how many proofs? ⋮ A Brief Note on Gödel, Nagel, Minds, and Machines ⋮ MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM ⋮ Human-centered automated proof search ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
This page was built for publication:
