Lorenzen and Constructive Mathematics

DOI10.1007/978-3-030-65824-3_4zbMath1490.03001OpenAlexW3193369829MaRDI QIDQ5024724

Thierry Coquand

Publication date: 27 January 2022

Published in: Paul Lorenzen -- Mathematician and Logician (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-65824-3_4

zbMATH Keywords

constructive mathematicsproof theoryBorel's measure problemGentzen's consistency proof

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Constructive and recursive analysis (03F60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) History of measure and integration (28-03) History of ordered structures (06-03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The foundations of mathematics. A study in the philosophy of science
• The Riemann hypothesis in characteristic \(p\) in historical perspective
• A note on measures with values in a partially ordered vector space
• Valuations and Dedekind's Prague theorem
• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• Über endliche Mengen
• Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Logical reflection and formalism
• Constructive definition of certain analytic sets of numbers
• A semantics of evidence for classical arithmetic
• GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION
• Multiple Conclusion Rules in Logics with the Disjunction Property
• Systems of predicative analysis
• Algebraische und logistische Untersuchungen über freie Verbände
• Lorenzen's Proof of Consistency for Elementary Number Theory

This page was built for publication: Lorenzen and Constructive Mathematics