Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 397:
<b>Конец доказательства</b>
==Метод Британского музея
Многие из перечисленных выше не разрешимых проблем являются <i>перечислимыми>/i>.
Например, можно построить машину,
|