En théorie de la calculabilité, le saut de Turing, du nom d'Alan Turing, est une opération qui attribue à chaque problème de décision X un problème de décision plus difficile X′ avec la propriété que X′ n'est pas décidable par une machine à oracle relative à X. Le saut est appelé opérateur de saut car il augmente le degré de Turing du problème X. Autrement dit, le problème X′ n'est pas Turing-réductible à X. Wikipedia