Изменения
Нет описания правки
== Сверхтьюринговые вычисления ==
'''Сверхтьюринговыми вычислениями''' (или '''гипервычислениями''' (англ. ''hypercomputation'')) называются такие вычисления, которые не могут быть проделаны на [[Машина Тьюринга|машине Тьюринга]]
, а следовательно не исчислимы в рамках тезисов Черча-Тьюринга.
* [[Вычислимые функции]]
* [[Лямбда-исчисление]]
* [[Разрешимые (рекурсивные) языки]]
== Источники информации ==
*[https://ru.wikipedia.org/wiki/%D0%A1%D0%B2%D0%B5%D1%80%D1%85%D1%82%D1%8C%D1%8E%D1%80%D0%B8%D0%BD%D0%B3%D0%BE%D0%B2%D1%8B%D0%B5_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F Сверхтьюринговые вычисления]
