હકીકત માત્ર એક અનુવાદક તમામ શક્ય પ્રોગ્રામ (કે જે ઔપચારિક સિસ્ટમ રજૂ કરી શકે છે) હાથ ધરવા સક્ષમ હોય છે કે ખૂબ જ ગહન અને નોંધપાત્ર શોધ ટ્યુરિંગ છે.