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 ...