Kleene's recursion theorem

In computability theory, Kleene's recursion theorems are a pair of fundamental results about the application of computable functions to their own descriptions. The theorems were first proved by Stephen Kleene in 1938 and appear in his 1952 book Introduction to Metamathematics.

单词	Recursive equation
释义	Recursive equation 英语百科 Kleene's recursion theorem In computability theory, Kleene's recursion theorems are a pair of fundamental results about the application of computable functions to their own descriptions. The theorems were first proved by Stephen Kleene in 1938 and appear in his 1952 book Introduction to Metamathematics.
随便看	inextensional buckling的意思 inextensional deformation的意思 inextensive的意思 inextenso的意思 in extenso的意思 in extent的意思 in extenuation of的意思 inexterminable的意思 inextinct的意思 inextinguible的意思 inextinguishability的意思 inextinguishable的意思 inextinguishably的意思 inextinguished的意思 inextirpable的意思 inextollible的意思 inextractable的意思 inextreme的意思 in extreme的意思 in extreme cases的意思 in extremes的意思 inextremis的意思 in extremis的意思 in extremities的意思 inextricability的意思

Recursive equation

Kleene's recursion theorem