scientific article; zbMATH DE number 1254485

MaRDI QIDQ4227553zbMATH OpenFDO

Authors Geoffrey Hellman

Publication date 26 May 1999

zbMATH Keywords

definitionist programme of predicativist mathematicsliberalized versionmodal-structuralismnominalismpredicative flexible type theory

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Review text

In the paper the definitionist programme of predicativist mathematics originating with H. Poincaré and H. Weyl is discussed. Its principal advantages and disadvantages are identified and a recipe for liberalizing this programme is proposed. This liberalized version synthesizes nominalism, predicative flexible type theory and modal-structuralism. For the entire collection see [Zbl 0897.00021].

Recommendations

• scientific article; zbMATH DE number 896244
• Real Analysis without Classes
• Predicativity and structuralism in Dedekind's construction of the reals
• The predicative conception of the continuum
• scientific article; zbMATH DE number 496219

Cited in

(8)

• Defining Goodness and Badness in Terms of Betterness Without Negation
• Error and predicativity
• À l'ouest d'Éden
• scientific article; zbMATH DE number 496219 (Why is no real title available?)
• John Buridan on the Possibility of Defining Definition
• Real Analysis without Classes
• scientific article; zbMATH DE number 896244 (Why is no real title available?)
• scientific article; zbMATH DE number 7568208 (Why is no real title available?)

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