Изменения

Перейти к: навигация, поиск
Нет описания правки
== Возможность супертьюринговых машин ==
Множится число исследователей, полагающих, что существуют процессы, требующие методов, которые не охвачены теорией Тьюринга. Такова, Смысл двух приведенных ниже тезисов состоит в частностиобосновании возможности сверхтьюринговых машин, позиция сторонников теории гиперкомпьютинга и, соответственно, гипервычислений, понимаемых как сверхтьюринговыхспособных осуществлять гипервычисления.Теоретическая разработка
* Процесс может быть использован в математических целях, если и только если его поведение на входе/выходе:
** либо детерминистично, либо приблизительно детерминистично и вызываемая им ошибка может быть сведена к произвольно малой величине;
** определяется за конечное число шагов.
* Процесс Р может быть использован в его физических качествах, если и только если его поведение на входе/выходе в соответствии с научными данными может быть использовано для моделирования других специфических процессов.
Смысл двух приведенных выше тезисов состоит в обосновании возможности сверхтьюринговых машин, способных осуществлять гипервычисления.
== Проекты супертьюринговых машин ==
Существует несколько десятков проектов супертьюринговых машин.
Анонимный участник

Навигация