Abstraction, Axiomatization and Rigor: Pasch and Hilbert

DOI10.1007/978-3-319-96274-0_11zbMath1429.00007OpenAlexW2903853823MaRDI QIDQ5214682

Michael E. Detlefsen

Publication date: 5 February 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96274-0_11

zbMATH Keywords

Hilbertaxiomatic methodproofPaschformalizationLambertrigorFreudenthalabstraction conditionabstraction from meaningaxiomatizatonpremisory surreptionsemantic abstraction

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• `As if' reasoning in Vaihinger and Pasch
• Grundlagen der Mathematik I
• David Hilbert and his mathematical work
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Abstraction, Axiomatization and Rigor: Pasch and Hilbert