Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
Oleg4280 (обсуждение | вклад) {{Темы|Информатика в журнале «Потенциал»|Алгоритмы|Информатика}} {{В журнале «Потенциал»|Информатика}} {{Готовность|75%}} |
Сунприат (обсуждение | вклад) мНет описания правки |
||
Строка 147:
Принципе'' можно сделать, почти всегда нужно понимать его «В
теории можно, а на практике вряд ли!».
{{Конец рамки}}
Точно так же можно иметь несколько одновременно работающих
Строка 229:
Все алгоритмы эквивалентны между собой с точностью до вычислимой кодировки и, в конечном счёте,
эквивалентны машинам Тьюринга.
{{Конец рамки}}
Уровень подтверждённости тезиса Чёрча к настоящему
Строка 259:
Разрешимое свойство — такое, для которого есть всегда останавливающаяся машина Тьюринга, выдающая в
качестве конечного результата либо 0, либо 1.
{{Конец рамки}}
Множество объектов называется <b>разрешимым</b>, если есть алгоритм,
Строка 306:
Итак, сделанное нами предположение о существовании машины, распознающей применимость, опровергнуто.
{{Конец рамки}}
'''Следствие 1:''' Есть машина, непродолжимая до всюду определённой.
Строка 370:
Она будет вычислять <code>b(x)</code>, если <code>f(0)</code> выдаст какое-то значение, и нигде не определённую функцию, если <code>f(0)</code> не определено. А теперь, применив <code>P</code>, решим неразрешимую проблему применимости.
{{Конец рамки}}
==Метод Британского музея==
Строка 382:
{{Рамка}}
Если само множество, и его дополнение перечислимы, то множество разрешимо.
{{Конец рамки}}
|