Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 315:
то есть когда машина <math>\mathfrak{M}</math> некорректно работает на собственной программе.
Что же получается, если применить <math>\mathfrak{B}</math> к
Если результат определён, то, по построению, машина <math>\mathfrak{A}</math> на
<math>\cdots</math>BBB<math>B</math>A<math>B</math>EEE<math>\cdots</math>
даёт 0, и, значит, по определению <math>\mathfrak{A}</math>,
<math>\mathfrak{B}</math> на
то <math>\mathfrak{A}</math> даёт 1, и, значит, он определён. Противоречие.
| |||