Computability theory came into being as a result of Hilbert?s attempts to meet Brouwer?s challenges, from an intuitionistc and constructive standpoint, to formalism as a foundation for mathematical practice. Viewed this way, con- structive mathematics should be one vision of computability...