Between Russell and Hilbert: Behmann on the Foundations of Mathematics

DOI10.2307/421183zbMath0942.03002OpenAlexW2065131905MaRDI QIDQ4940734

Paolo Mancosu

Publication date: 15 August 2000

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0503-toc.htm

zbMATH Keywords

foundationsmetamathematicsaxiom of reducibilitytype theoryclassesindividualscontext principleHilbert's programEntscheidungsproblemCantor's paradoxpropositional functionsaprioricityfictionsno-class theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (5)

THE GENEALOGY OF ‘’ ⋮ One String Attached: Geometrical Exactness in Leibniz’s Parisian Manuscripts ⋮ Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections ⋮ Poincaré in Göttingen ⋮ Dedekind's analysis of number: Systems and axioms

Cites Work

• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Between Russell and Hilbert: Behmann on the Foundations of Mathematics