On Decidability of Our Jobs and AI Replacing Software Engineers