Prolegomena to any theory of proof simplicity

DOI10.1098/RSTA.2018.0035MaRDI QIDQ5204801zbMATH OpenOpenAlexWikidataFDO

Authors Victor V. Pambuccian

Publication date 5 December 2019

Published in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1098/rsta.2018.0035

zbMATH Keywords

direct proofelementary geometrysimple proofsHilbert's 24th problemmultiple uses of axioms

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Complexity of proofs (03F20) General histories, source books (01A05)

Recommendations

• scientific article; zbMATH DE number 2024619
• Hilbert's twenty-fourth problem
• Hilbert's Twenty-Fourth Problem
• Discussing Hilbert's 24th problem
• Hilbert and his twenty-four problems

Cites work

• scientific article; zbMATH DE number 3504031 (Why is no real title available?)
• scientific article; zbMATH DE number 1078591 (Why is no real title available?)
• scientific article; zbMATH DE number 1960339 (Why is no real title available?)
• scientific article; zbMATH DE number 3003699 (Why is no real title available?)
• scientific article; zbMATH DE number 3266283 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3401716 (Why is no real title available?)
• A game semantics for linear logic
• A methodologically pure proof of a convex geometry problem
• A reverse analysis of the Sylvester-Gallai theorem
• Acute Triangulation of a Triangle in a General Setting
• Acute triangulation of a triangle in a general setting revisited
• Axioms in mathematical practice
• Early examples of resource-consciousness
• Eine Bemerkung zum Axiom von Pasch in Hilberts 'Grundlagen der Geometrie'
• Fragments of Euclidean and hyperbolic geometry
• From absolute to affine geometry in terms of point-reections, midpoints, and collinearity
• Hilbert's Twenty-Fourth Problem
• Linear logic
• Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
• Orthogonality as single primitive notion for metric planes
• The Road to Modern Logic—An Interpretation
• The axiomatic destiny of the theorems of Pappus and Desargues
• The theorem of Menelaus in axiomatic geometry

Cited in

(17)

• Proof simplification and automated theorem proving
• scientific article; zbMATH DE number 2024619 (Why is no real title available?)
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• Does reductive proof theory have a viable rationale?
• Hilbert's twenty-fourth problem
• From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
• On simplicity of formulas
• The axiomatic destiny of the theorems of Pappus and Desargues
• Remarks on simple proofs
• Explanation, existence and natural properties in mathematics. A case study: Desargues' theorem
• Discussing Hilbert's 24th problem
• Early examples of resource-consciousness
• The strategy of cramming
• Simplicity: ideals of practice in mathematics and the arts. Proceedings of the conference, City University of New York, NY, USA, April 3--5, 2013
• Identification of proofs via syzygies
• Visual thinking and simplicity of proof
• The Hajja-Martini inequality in a weak absolute geometry

Describes a project that uses

Uses Software

• Tipi

This page was built for publication: Prolegomena to any theory of proof simplicity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5204801)