scientific article; zbMATH DE number 3891352

MaRDI QIDQ3347873zbMATH OpenFDO

Authors Stewart Shapiro

Publication date 1985

zbMATH Keywords

languages and deductive systems to formulate intensional conceptsmixed constructivity

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Metamathematics of constructive systems (03F50)

Recommendations

• Intensionality in mathematics
• Against intuitionism: Constructive mathematics is part of classical mathematics
• scientific article; zbMATH DE number 4031682
• scientific article; zbMATH DE number 2236680
• scientific article; zbMATH DE number 3891353

Cited in

(5)

• Against intuitionism: Constructive mathematics is part of classical mathematics
• scientific article; zbMATH DE number 2236680 (Why is no real title available?)
• Intensionality in mathematics
• Introduction: Mathesis Universalis, Proof and Computation
• Intensionality in mathematics: problems and prospects. Introduction to the special issue

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