Brouwerian Counterexamples
Publication:3491547
DOI10.2307/2689939zbMath0709.03047OpenAlexW4246561051MaRDI QIDQ3491547
Publication date: 1989
Full work available at URL: https://doi.org/10.2307/2689939
constructive mathematicscounterexamplesBrouwerGoldbach's conjectureexpository papertwin prime problemprinciple of the excluded middleomniscience principlesconstructive variant of the intermediate value theoremdecimal expansion of \(\pi \)least upper bound principleweak limited principle of existence
History of mathematics in the 20th century (01A60) Constructive and recursive analysis (03F60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) History of mathematical logic and foundations (03-03) Other constructive mathematics (03F65) Constructive real analysis (26E40) Intuitionistic mathematics (03F55)
Related Items (9)
This page was built for publication: Brouwerian Counterexamples