Existence Proofs
From MaRDI portal
Publication:2757361
DOI10.2307/2589553zbMath0987.03055OpenAlexW4243656972MaRDI QIDQ2757361
Publication date: 26 November 2001
Full work available at URL: https://doi.org/10.2307/2589553
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