A computable Dedekind cut is a computable function which when provided with a rational number as input returns or ,
This definition of computable Dedekind cut is wrong. The correct definition is that the lower and the upper cut be computably enumerable.