scientific article; zbMATH DE number 3523506
zbMATH Open0335.02002MaRDI QIDQ4101779FDOQ4101779
Authors: Paul Bernays
Publication date: 1976
Title of this publication is not available (Why is that?)
Philosophical and critical aspects of logic and foundations (03A05) 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) Philosophy of mathematics (00A30) Collected or selected works; reprintings or translations of classics (01A75) Research exposition (monographs, survey articles) pertaining to mathematics in general (00-02)
Cited In (11)
- Extensions of the Finitist Point of View
- Hilbert, logicism, and mathematical existence
- Local axioms in disguise: Hilbert on Minkowski diagrams
- From constructivism to computer science
- Is there a ``Hilbert thesis?
- Philosophical prints in history and didactics of mathematics.
- Hilbert's Programs: 1917–1922
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections
- Foundations for analysis and proof theory
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
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)