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