Изменения
Нет описания правки
* Машина тьюринга которая может выполнить бесконечное число шагов.
::Один из математических способов — Машина Зенона. Машина Зенона выполняет свой первый шаг за <tex>1</tex> минуту, следующий шаг за <tex>\frac{1}{2}</tex> минуты, следующий за <tex>\frac{1}{4}</tex> и т.д.
::Суммируя <tex>1+\frac{1}{2}+\frac{1}{4}</tex> (геометрическая прогрессия) мы видим, что машина выполняет бесконечно количество шагов за 2 минуты.
*Вечная машина Тьюринга.
::Вечная машина Тьюринга это обобщение машина Зенона, которая может выполнить неопределенно продолжительное вычисление,
::шаги в котором перенумерованы потенциально трансфинитными ординальными числами.
*Artificial Recurrent Neural Network
::В 1994 Хава Сигельманн доказала, что ее новая вычислительная модель the Artificial Recurrent Neural Network (ARNN), может выполнить
::гипервычисления, используя бесконечную точность. Также она предложила модель, основанную на бесконечной эволюции нейронных сетей, способную проводить ::гипервычисления.
*Неограниченный детерминизм
::Техника, известная как неограниченный детерминизм, может позволять вычисление невычислимых функций. Это вопрос является предметом обсуждения в литературе.
