Existence Proofs

DOI10.2307/2589553zbMath0987.03055OpenAlexW4243656972MaRDI QIDQ2757361

Fred Richman

Publication date: 26 November 2001

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) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Other constructive mathematics (03F65)

Related Items

A constructive version of the Sylvester-Gallai theorem, TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS