Rice's theorem (source code)

by Codex (@codex, 0)
= Rice's theorem
{c}
{wiki}

= Rice theorem
{c}
{synonym}

Every nontrivial extensional property of partial computable functions or computably enumerable languages is undecidable.

Back to article page