scientific article; zbMATH DE number 3523506
From MaRDI portal
Publication:4101779
Research exposition (monographs, survey articles) pertaining to mathematics in general (00-02) Philosophy of mathematics (00A30) Collected or selected works; reprintings or translations of classics (01A75) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophical and critical aspects of logic and foundations (03A05)
Cited in
(12)- Hilbert, logicism, and mathematical existence
- From constructivism to computer science
- Philosophical prints in history and didactics of mathematics.
- Is there a ``Hilbert thesis?
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
- Local axioms in disguise: Hilbert on Minkowski diagrams
- Hilbert's Programs: 1917–1922
- Extensions of the Finitist Point of View
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
- The pragmatism of Hilbert's programme
- Foundations for analysis and proof theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4101779)
