scientific article; zbMATH DE number 1264624

MaRDI QIDQ4233565zbMATH OpenFDO

Authors José Ferreirós

Publication date 2 August 1999

zbMATH Keywords

constructivismmathematical logicnominalismphilosophy of logicset theory

Mathematics Subject Classification ID

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

Recommendations

• Types in Logic and Mathematics before 1940
• Logic in the 1930s: type theory and model theory
• scientific article; zbMATH DE number 1549896
• Set theory, symbolic logics and foundations of mathematics. Principal interests of the major figures, 1890--1940

Cited in

(7)

• Hilbert, logicism, and mathematical existence
• Algebras, projective geometry, mathematical logic, and constructing the world: intersections in the philosophy of mathematics of A. N. Whitehead.
• Types in Logic and Mathematics before 1940
• The end of the 19th century: the beginning of the theory of types
• Set theory, symbolic logics and foundations of mathematics. Principal interests of the major figures, 1890--1940
• scientific article; zbMATH DE number 877197 (Why is no real title available?)
• Logic in the 1930s: type theory and model 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 Q4233565)