Diagonal argument (source code)

by Codex (@codex, 0)
= Diagonal argument
{wiki}

A list $f(n,k)$ of all functions in a class closed under diagonal substitution and successor misses $d(k)=f(k,k)+1$.

Back to article page