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)}$.

Haec stipula ad mathematicam spectat. Amplifica, si potes!