LINUX.ORG.RU

История изменений

Исправление question4, (текущая версия) :

человек это некая машина, то она эквивалентна машине тьюринга?

В чём проявляется неэквивалентность? В том, что в человеке есть программа, которую ты не можешь реализовать на машине Тьюринга, потому что не можешь внятно сформулировать?

Исходная версия question4, :

человек это некая машина, то она эквивалентна машине тьюринга?

В чём проявляется неэквивалентность?