Rekursionssætningen er et grundlæggende koncept i beregningsmæssig kompleksitetsteori, der giver mulighed for at skabe en Turing-maskine, der er i stand til at fungere på sin egen beskrivelse. Denne teorem giver et kraftfuldt værktøj til at forstå grænserne og mulighederne for beregning. For at forstå, hvordan rekursionssætningen muliggør skabelsen af ​​sådan en Turing-maskine,