scientific article; zbMATH DE number 3065102

MaRDI QIDQ5804274zbMATH OpenFDO

Authors Edmund Landau

Publication date 1951

zbMATH Keywords

multiplicationarithmeticadditionrational numbersreal numbersnatural numbersPeano axioms

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

(9)

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

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)