Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and \S\S1--2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edi
Collected or selected works; reprintings or translations of classics (01A75) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Foundations of classical theories (including reverse mathematics) (03B30) Proof theory and constructive mathematics (03Fxx)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
- H for Hilbert. \dots and M for mathematics
- Searches for the origins of the epistemological concept of model in mathematics
- Lifting proofs from countable to uncountable mathematics
- Informal proof, formal proof, formalism
- Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
- Let none but geometers enter here
- Beyond Hilbert's reach?
- Beyond Hilbert’s Reach?
- scientific article; zbMATH DE number 4051610 (Why is no real title available?)
- scientific article; zbMATH DE number 1843485 (Why is no real title available?)
- Hilbert's programs and beyond
- Between Russell and Hilbert: Behmann on the Foundations of Mathematics
- Hilbert’s Axiomatisches Denken
- On the motives for proof theory
- scientific article; zbMATH DE number 2204755 (Why is no real title available?)
- Gisbert Hasenjaeger and a most interesting unpublished draft for Hilbert and Bernays' ``Grundlagen der Mathematik
This page was built for publication: Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and \S\S1--2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747346)
