Computability Theory and Some Applications