Proofs and constructions

DOI10.1007/978-94-007-0431-2_11MaRDI QIDQ5260992zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

intuitionismweak counterexamplesexternal negationsinternal negationstheories of constructions

Mathematics Subject Classification ID

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

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

Cited in

(13)

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

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)