Lorenzen and constructive mathematics
From MaRDI portal
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Metamathematics of constructive systems (03F50) Constructive and recursive analysis (03F60) History of ordered structures (06-03) History of measure and integration (28-03)
Recommendations
- Lorenzen Between Gentzen and Schütte
- Operation and predicativity: Lorenzen's approach to arithmetic
- Between algebra and Erlangen School. Paul Lorenzens contributions to proof theory
- Lorenzen's Proof of Consistency for Elementary Number Theory
- Paul Lorenzen -- mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8--9, 2018
Cites work
- A computational interpretation of the axiom of determinacy in arithmetic
- A note on measures with values in a partially ordered vector space
- A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
- A semantics of evidence for classical arithmetic
- Algebraische und logistische Untersuchungen über freie Verbände
- Constructive definition of certain analytic sets of numbers
- Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
- Game semantics and the geometry of backtracking: a new complexity analysis of interaction
- scientific article; zbMATH DE number 2185652 (Why is no real title available?)
- scientific article; zbMATH DE number 3112788 (Why is no real title available?)
- scientific article; zbMATH DE number 3151582 (Why is no real title available?)
- scientific article; zbMATH DE number 4035108 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 193575 (Why is no real title available?)
- scientific article; zbMATH DE number 1420837 (Why is no real title available?)
- scientific article; zbMATH DE number 3428899 (Why is no real title available?)
- scientific article; zbMATH DE number 3217001 (Why is no real title available?)
- scientific article; zbMATH DE number 3231083 (Why is no real title available?)
- scientific article; zbMATH DE number 3261581 (Why is no real title available?)
- scientific article; zbMATH DE number 3300552 (Why is no real title available?)
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- Logical reflection and formalism
- Lorenzen's Proof of Consistency for Elementary Number Theory
- Multiple conclusion rules in logics with the disjunction property
- Systems of predicative analysis
- The foundations of mathematics. A study in the philosophy of science
- The Riemann hypothesis in characteristic p in historical perspective
- Valuations and Dedekind's Prague theorem
- Über endliche Mengen
Cited in
(6)- Paul Lorenzen -- mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8--9, 2018
- The Lovelace-De Morgan mathematical correspondence: a critical re-appraisal
- Conceptions of infinity and set in Lorenzen's operationist system
- Between algebra and Erlangen School. Paul Lorenzens contributions to proof theory
- Lorenzen's Proof of Consistency for Elementary Number Theory
- An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
This page was built for publication: Lorenzen and constructive mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5024724)
