Computability Theory and Its Applications