Prolegomena to any theory of proof simplicity

DOI10.1098/RSTA.2018.0035zbMATH Open1441.03007OpenAlexW2911087137WikidataQ92982878 ScholiaQ92982878MaRDI QIDQ5204801FDOQ5204801

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

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

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)

Cites Work

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

Cited In (17)

• Discussing Hilbert's 24th problem
• Remarks on simple proofs
• Hilbert's twenty-fourth problem
• Does reductive proof theory have a viable rationale?
• Early examples of resource-consciousness
• The strategy of cramming
• 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
• Explanation, existence and natural properties in mathematics. A case study: Desargues' theorem
• Title not available (Why is that?)
• Identification of proofs via syzygies
• Visual thinking and simplicity of proof
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• The Hajja-Martini inequality in a weak absolute geometry
• Simplicity: ideals of practice in mathematics and the arts. Proceedings of the conference, City University of New York, NY, USA, April 3--5, 2013
• Proof simplification and automated theorem proving

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)