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

Нет программы, которая для любой программы точно скажет, есть ли у неё заданное свойство поведения, например «никогда не списывает деньги без заказа», если это свойство есть у одних программ и нет у других. Вопросы о тексте кода решаются чтением, вопросы о поведении — нет. Поэтому проверку сужают рамкой: перебирают маленький мир, пишут так, чтобы правило держалось по построению, или разрешают ответ «не знаю».

Источник: Википедия: теорема Райса

Подробнее: Теорема Райса простыми словамиГде ставить проверку работы ИИ-агента

Весь глоссарий