On Formally Measuring and Eliminating Extraneous Notions in Proofs

DOI10.1093/philmat/nkn015zbMath1203.03008OpenAlexW2007888147MaRDI QIDQ3639197

Andrew Arana

Publication date: 29 October 2009

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/7c8ae2818e9572a4eceb6445e92474310fbebcc4

zbMATH Keywords

explanationproofGentzen's Hauptsatz

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Related Items (5)

Proof Theory in Philosophy of Mathematics ⋮ ON THE RELATIONSHIP BETWEEN PLANE AND SOLID GEOMETRY ⋮ Impurity in contemporary mathematics ⋮ Direct proofs of Lindenbaum conditionals ⋮ The calculus of natural calculation

This page was built for publication: On Formally Measuring and Eliminating Extraneous Notions in Proofs