scientific article; zbMATH DE number 4125355

MaRDI QIDQ4205403zbMATH OpenFDO

Authors Gregory H. Moore

Publication date 1987

zbMATH Keywords

foundationsFregeRussellHilbertPeirceZermelotheory of typesSkolemLöwenheim

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• Hilbert's logic. From axiomatics to proof theory
• Foundations of Mathematics in the Twentieth Century
• Mathematische Logik
• scientific article; zbMATH DE number 2101964
• A revolution in the foundations of mathematics?

Cited in

(9)

• Neo-Fregeanism: an embarrassment of riches
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• The calculus of relations as a foundation for mathematics
• FOL 75?
• Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
• Jean van Heijenoort's conception of modern logic, in historical perspective
• Traditional logic and the early history of sets, 1854-1908
• scientific article; zbMATH DE number 1264621 (Why is no real title available?)
• David Hilbert and the axiomatization of physics (1894--1905)

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 Q4205403)