Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 365:
<math>a</math>, <math>b</math>, вычисляющих одну и ту же функцию, <math>P(a)\iff P(b)</math>.
<b>Теорема 2</b>
Теорема Райса-Успенского. Есть лишь два разрешимых функциональных свойства программ: тождественно истинное и тождественно ложное.
| |||