Hilbert, logicism, and mathematical existence

DOI10.1007/s11229-008-9347-1zbMath1202.03004OpenAlexW2081515694MaRDI QIDQ1036075

José Ferreirós

Publication date: 4 November 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://idus.us.es/handle/11441/40316

zbMATH Keywords

modelsparadoxesset theorylogicismconsistency proofsmathematical logicfoundations of mathematicsreal numbersantinomiesDavid HilbertaxiomaticsGeorg CantorRichard Dedekindcompleteness axiommathematical existenceVollständigkeitsaxiom

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) 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) History of mathematics in the 19th century (01A55)

Related Items (5)

PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC ⋮ DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES ⋮ Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach ⋮ Frege, Dedekind, and the Origins of Logicism ⋮ In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics

Cites Work

• Dedekind's analysis of number: Systems and axioms
• Burali-Forti's paradox: A reappraisal of its origins
• Relative consistency and accessible domains
• Labyrinth of thought. A history of set theory and its role in modern mathematics
• Hilbert's paradox
• Traditional logic and the early history of sets, 1854-1908
• Hilbert's Programs: 1917–1922
• The Road to Modern Logic—An Interpretation
• Mathematics and Logic
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hilbert, logicism, and mathematical existence