Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
Ramir (обсуждение | вклад) |
Ramir (обсуждение | вклад) |
||
Строка 218:
с мистически выглядящим определением:
<center>
<
<
</center>
Рекурсивные схемы Маккарти полностью отказываются от локальности действий, переходя к системе функциональных
описаний, подобных
<center><math>f(x)\gets \mbox{ if }\ P(x)\ \mbox{ then }\ x\ \mbox{ else }\ f(f(h(x)))\ \mbox{ fi}.</math></center>▼
▲f(x)\gets \mbox{ if }\ P(x)\ \mbox{ then }\ x\ \mbox{ else }\ f(f(h(x)))\ \mbox{ fi}.</math></center>
Алгоритмы Колмогорова-Успенского работают над графовыми структурами, машины Поста выглядят как до предела
Строка 237 ⟶ 235 :
{{Рамка}}
Все алгоритмы эквивалентны между собой с точностью до вычислимой кодировки и, в конечном счёте,
эквивалентны машинам Тьюринга.
{{Акмар}}
Уровень подтверждённости тезиса Чёрча к настоящему
|