User:IssaRice/Computability and logic/Diagonalization lemma

From Machinelearning
Revision as of 02:03, 8 February 2019 by IssaRice (talk | contribs) (Created page with " ==Rogers's fixed point theorem== Let <math>f</math> be a total computable function. Then there exists an index <math>e</math> such that <math>\varphi_e \simeq \varphi_{f(e)}...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Rogers's fixed point theorem

Let be a total computable function. Then there exists an index such that .

Diagonalization lemma