Prolegomena to any theory of proof simplicity
From MaRDI portal
Publication:5204801
DOI10.1098/rsta.2018.0035zbMath1441.03007OpenAlexW2911087137WikidataQ92982878 ScholiaQ92982878MaRDI QIDQ5204801
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
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)
Related Items (3)
The Axiomatic Destiny of the Theorems of Pappus and Desargues ⋮ Discussing Hilbert's 24th problem ⋮ The Hajja-Martini inequality in a weak absolute geometry
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Acute triangulation of a triangle in a general setting revisited
- Linear logic
- A reverse analysis of the Sylvester-Gallai theorem
- A game semantics for linear logic
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
- The theorem of Menelaus in axiomatic geometry
- Early examples of resource-consciousness
- Orthogonality as single primitive notion for metric planes
- Eine Bemerkung zum Axiom von Pasch in Hilberts 'Grundlagen der Geometrie'
- Acute Triangulation of a Triangle in a General Setting
- The Road to Modern Logic—An Interpretation
- Hilbert's Twenty-Fourth Problem
- From absolute to affine geometry in terms of point-reections, midpoints, and collinearity
- Axioms in Mathematical Practice
- The Axiomatic Destiny of the Theorems of Pappus and Desargues
- A methodologically pure proof of a convex geometry problem
This page was built for publication: Prolegomena to any theory of proof simplicity