Чего не могут вычислительные машины: различия между версиями

Принципе'' можно сделать, почти всегда нужно понимать его «В

теории можно, а на практике вряд ли!».

 

Точно так же можно иметь несколько одновременно работающих

Все алгоритмы эквивалентны между собой с точностью до вычислимой кодировки и, в конечном счёте,

эквивалентны машинам Тьюринга.

 

Уровень подтверждённости тезиса Чёрча к настоящему

Разрешимое свойство — такое, для которого есть всегда останавливающаяся машина Тьюринга, выдающая в

качестве конечного результата либо 0, либо 1.

 

Множество объектов называется <b>разрешимым</b>, если есть алгоритм,

 

Итак, сделанное нами предположение о существовании машины, распознающей применимость, опровергнуто.

 

'''Следствие 1:''' Есть машина, непродолжимая до всюду определённой.

 

Она будет вычислять <code>b(x)</code>, если <code>f(0)</code> выдаст какое-то значение, и нигде не определённую функцию, если <code>f(0)</code> не определено. А теперь, применив <code>P</code>, решим неразрешимую проблему применимости.

 

==Метод Британского музея==

{{Рамка}}

Если само множество, и его дополнение перечислимы, то множество разрешимо.