Теорема Райса

Теорема Райса — утверждение теории алгоритмов, согласно которому для любого нетривиального свойства вычислимых функций определение того, вычисляет ли произвольный алгоритм функцию с таким свойством, является алгоритмически неразрешимой задачей. Здесь свойство называется нетривиальным, если существуют и вычислимые функции, обладающие этим свойством, и вычислимые функции, не обладающие им.

Названа по имени американского математика

• Кузнецов О. П., Адельсон-Вельский Г. М. Дискретная математика для инженера. — М.: Энергоатомиздат, 1988. — 480 с.

В другом языковом разделе есть более полная статья Théorème de Rice (фр.). Вы можете помочь проекту, расширив текущую статью с помощью перевода

Для улучшения этой статьи по математике желательно: Дополнить статью (статья слишком короткая либо содержит лишь словарное определение). После исправления проблемы исключите её из списка. Удалите шаблон, если устранены все недостатки.