Abstraction, Axiomatization and Rigor: Pasch and Hilbert
DOI10.1007/978-3-319-96274-0_11zbMATH Open1429.00007OpenAlexW2903853823MaRDI QIDQ5214682FDOQ5214682
Authors: Michael 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
Recommendations
- On reconstructing Dedekind abstraction logically
- The ways of Hilbert's axiomatics: structural and formal
- The ways of Hilbert's axiomatics: structural and formal
- Hilbert's logic. From axiomatics to proof theory
- scientific article; zbMATH DE number 1863386
- Fregean abstraction, referential indeterminacy and the logical foundations of arithmetic
- Abstraction and Intuition in Peano's Axiomatizations of Geometry
- Abstractions from proofs
- scientific article; zbMATH DE number 682418
- On the constructive and computational content of abstract mathematics
axiomatic methodPaschproofformalizationHilbertLambertrigorFreudenthalabstraction conditionabstraction from meaningaxiomatizatonpremisory surreptionsemantic abstraction
Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- David Hilbert and his mathematical work
- Grundlagen der Mathematik I
- Title not available (Why is that?)
- Title not available (Why is that?)
- `As if' reasoning in Vaihinger and Pasch
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rigor, re-proof and Bolzano's critical program
Cited In (4)
This page was built for publication: Abstraction, Axiomatization and Rigor: Pasch and Hilbert
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5214682)
