Rekursionssætningen er et grundlæggende begreb inden for beregningsmæssig kompleksitetsteori, som har betydelige implikationer for selvrefererende beregninger og grænserne for Turing-maskiner. Det giver en formel ramme for at forstå forholdet mellem rekursive funktioner og beregnelighed, og belyser de teoretiske grænser for, hvad der kan og ikke kan beregnes. Til