 The original motivation for the development of constructive mathematics was to put the idea of mathematical existence on a constructive or computable basis. While there are a number of varieties of constructive mathematics (Bridges &amp; Richman 1987), here we shall focus on Bishop’s constructive analysis (Bishop &amp; Bridges 1985; Bridges 1994, 1999; and Bridges &amp; Richman 1987) and Brouwer’s intuitionistic analysis (Dummett 1977).