Теорема Райса: различия между версиями

== Формулировка теоремы Райса ==

<math>A\subset</math>[[Частично-рекурсивная функция|ЧРФ]]¹, <math>A\ne\empty</math>, <math>A\ne</math>[[Частично-рекурсивная функция|ЧРФ]]¹, <math>B=\{n: \theta(n)\in A\}</math>, тогда <math>\chi_B\,\!</math> не является [[Частично-рекурсивная функция|ЧРФ]].