 This constructive analysis includes everything that is valid in the Brouwer school, and not just the Bishop school.Every computable real function is continuous (Weihrauch 2000, p. 6).There is a subset of the real numbers called the computable numbers, which by the results above is a real closed field.