Rice's theorem

theorem in computability theory

Categories: