Existence Proofs

DOI10.2307/2589553MaRDI QIDQ2757361zbMATH OpenOpenAlexFDO

Authors Fred Richman

Publication date 26 November 2001

Published in American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2589553

zbMATH Keywords

constructive proofsnonconstructive proofs

Mathematics Subject Classification ID

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

Recommendations

• On the proof theory of the existence predicate
• Ontological proofs of existence and non-existence
• On existence theorems
• Existence theorems in mathematics
• Existence predicates
• A note of provability, truth and existence
• Existence results
• The Logic of Provability
• scientific article; zbMATH DE number 1215499

Cited in

(6)

• Existence theorems in mathematics
• A constructive version of the Sylvester-Gallai theorem
• scientific article; zbMATH DE number 981678 (Why is no real title available?)
• Taming the incomputable, reconstructing the nonconstructive and deciding the undecidable in mathematical economics
• A Comparison of Some Existence Tests
• scientific article; zbMATH DE number 125484 (Why is no real title available?)

This page was built for publication: Existence Proofs

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