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  functio sit numerorum naturalium, ei est punctum immobile. Id est, numerus naturalis  est, ut programma  idem sit quod .

Categoria:Theoremata mathematica