Great, thanks! It's helpful to know that such definable numbers are in fact a superset of computable numbers [1]; I was naïvely assuming these notions to be eq

Great, thanks! It's helpful to know that such definable numbers are in fact a superset of computable numbers [1]; I was naïvely assuming these notions to be equivalent. [1] http://en.wikipedia.org/wiki/Computable_number http://en.wikipedia.org/wiki/Computable_number