Proofs and constructions

DOI10.1007/978-94-007-0431-2_11zbMATH Open1317.03038OpenAlexW944211517MaRDI QIDQ5260992FDOQ5260992

Authors: Charles McCarty 

Publication date: 1 July 2015

Published in: The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0431-2_11

Recommendations

• scientific article; zbMATH DE number 4031682
• Antirealism and constructivism: Brouwer's weak counterexamples
• scientific article; zbMATH DE number 2101972
• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
• scientific article; zbMATH DE number 970524

zbMATH Keywords

intuitionismweak counterexamplesexternal negationsinternal negationstheories of constructions

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cited In (13)

• Dummett's case for intuitionism
• The priority of arithmetical truth over arithmetical provability
• A note on the internal logic of constructive mathematics: the Gel'fond-Schneider theorem in transcendental number theory
• On the foundations of mathematical economics
• Antirealism and constructivism: Brouwer's weak counterexamples
• Term Rewriting and Applications
• Title not available (Why is that?)
• Some obstacles facing a semantic foundation for constructive mathematics
• Constructive proofs of negated statements
• Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic
• Implicit proofs
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Proofs and constructions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5260992)