Theoremata Kleene de puncto immobili

Theoremata Kleene de punctio immobili sunt duo theoremata theoriae facultatis calculandi a Stephano Kleene inventa.

Theorema primum

Expositio

Theorema. Si $F$ functio sit numerorum naturalium, ei est punctum immobile. Id est, numerus naturalis $e$ est, ut programma $P_e$ idem sit quod $P_{F(e)}$.