Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
a stub entry, for the moment just to make a link work at regular language
Named after Stephen Kleene.
after a little searching around I’ve been unable to find who came up with this theorem (did it emerge as common knowledge?) and who named it or when.
According to G. Kavvos in “Kleene’s Two Kinds of Recursion” [arXiv:1602.06220]:
The least fixed point construction is the basis of Kleene’s First Recursion Theorem (FRT) [Kleene1952]
1 to 5 of 5