scientific article; zbMATH DE number 6154336

MaRDI QIDQ4914853zbMATH OpenFDO

Authors Nikolay N. Nepeivoda

Publication date 15 April 2013

zbMATH Keywords

applications of constructivismcomputabilityconstructivismintuitionismrealizability

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5994605
• scientific article; zbMATH DE number 6418702
• scientific article; zbMATH DE number 3977011
• An introduction to constructive mathematics
• Essays in Constructive Mathematics
• scientific article; zbMATH DE number 3305745
• scientific article; zbMATH DE number 2247253
• Constructive mathematics: a foundation for computable analysis
• On the constructive and computational content of abstract mathematics

Cited in

(6)

• An eclectic view of the irish school of constructive mathematics \({\mathbf M}^\clubsuit _C\), from [Lukas 1978] to [Mac an Airchinnigh 2001]
• scientific article; zbMATH DE number 5994605 (Why is no real title available?)
• Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'
• Essays in Constructive Mathematics
• scientific article; zbMATH DE number 5241363 (Why is no real title available?)
• scientific article; zbMATH DE number 3305745 (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 Q4914853)