Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Rice theorem

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

Ancestors (6)

  1. Index set
  2. Computability theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home

Incoming links (5)