Como la tesis M, ni la tesis de Church-Turing propiamente llamada ni ningún resultado probado por Turing o Church enlaza con la tesis S.