scientific article; zbMATH DE number 3065102

MaRDI QIDQ5804274zbMATH OpenFDO

Authors Edmund Landau

Publication date 1951

zbMATH Keywords

additionarithmeticmultiplicationnatural numbersPeano axiomsrational numbersreal numbers

Mathematics Subject Classification ID

Mathematics in general (00A05) Collected or selected works; reprintings or translations of classics (01A75) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited in

(10)

• Constructing the real numbers in HOL
• Analysis in a formal predicative set theory
• Verifying differentiability without calculating the derivative
• A conversation with Piet Groeneboom
• Frege's theorem and his logicism
• Weyl reexamined: ``Das Kontinuum 100 years later
• Horizon-switching predictive set-point tracking under input-increment saturations and persistent disturbances
• Is it mathematics or is it school mathematics?
• Elements of set theory and recursive arguments
• Developing continuity theory in a formal predicative set 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 Q5804274)