Constructive properties of uniform convexity, strict convexity, near convexity, and metric convexity in real normed linear spaces are considered. Examples show that certain classical theorems, such as the existence of points of osculation, are constructively invalid. The methods used are in accord with principles introduced by Errett Bishop. Introduction. Contributions to the constructive study of convexity are found in [1, 2, 9] and, most extensively, in a recent paper of Fred Richman [8]. The present paper consists mainly of comments related to the latter paper, and Brouwerian counterexamples concerning various properties of convexity and the existence of certain points. Constructive mathematics. A characteristic feature of the constructivist program is meticulous use of the conjunction “or.” To prove “P or Q” constructively, it is required that either we prove P , or we prove Q; it is not sufficient to prove the contrapositive ¬(¬P and ¬Q). To clarify the methods used here, we give examples of familiar properties of the reals which are constructively invalid, and also properties which are constructively valid. The following classical properties of a real number α are constructively invalid: “Either α 0,” and “If ¬(α ≤ 0 ), then α > 0.” The relation α > 0 is given a strict constructive definition, with far-reaching significance. Then, the relation α ≤ 0 is defined as ¬(α > 0). A constructively valid property of the reals is the Constructive Dichotomy lemma: If α α, or γ < β. This lemma is applied ubiquitously, as a constructive substitute for the constructively invalid Trichotomy. For more details, see [1]. Applying constructivist principles when reworking classical mathematics can have interesting and surprising results. Brouwerian counterexamples. To determine the specific nonconstructivities in a classical theory, and thereby indicating feasible direc2010 AMS Mathematics subject classification. Primary 46B20. Received by the editors on June 9, 2010, and in revised form on August 2, 2010. DOI:10.1216/RMJ-2013-43-2-551 Copyright c ©2013 Rocky Mountain Mathematics Consortium 551