recursion theorem

for every computable function there exists an , called a fixed point of , such that .