scientific article; zbMATH DE number 3891352

zbMATH Open0559.03035MaRDI QIDQ3347873FDOQ3347873

Authors: Stewart Shapiro 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Against intuitionism: Constructive mathematics is part of classical mathematics
• Title not available (Why is that?)
• 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)