Rice theorem (source code)

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

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

Back to article page