Theoremata Kleene de puncto immobili

E testwiki
Redactio 13:59, 22 Aprilis 2017 a conlatore imported>IacobusAmor facta (dua→duo)
(diff) ← Redactio superior | Redactio novissima (diff) | Redactio recentior → (diff)
Jump to navigation Jump to search

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 Pe idem sit quod PF(e).

Formula:Math-stipula

Receptum de "https://la.wiki.beta.math.wmflabs.org/w/index.php?title=Theoremata_Kleene_de_puncto_immobili&oldid=271"