Гипервычисление
-
Определение и история гипервычислений
- Гипервычисления — это вычислительные системы, способные решать задачи, которые классические компьютеры не могут.
- Идея гипервычислений возникла в 1960-х годах и связана с работами Тьюринга и Геделя.
-
Модели гипервычислений
- Модели гипервычислений варьируются от простых до сложных, включая машины Тьюринга и нейронные сети.
- Существуют модели, которые могут генерировать случайные невычислимые функции, но не решают «полезные» задачи.
-
Физические и математические ограничения
- Гипервычисления сталкиваются с физическими ограничениями, такими как конечное пространство и ресурсы.
- Математические модели, такие как машина Зенона, могут вызывать парадоксы и не имеют точного определения состояния.
-
Квантовые и «в конечном счете правильные» системы
- Квантовые системы и «в конечном счете правильные» системы могут вычислять невычислимые функции, но имеют ограничения.
-
Критика и дальнейшее чтение
- Мартин Дэвис критикует идею гипервычислений и утверждает, что это миф.
- В статье предлагается дальнейшее чтение по теме гипервычислений.
Полный текст статьи: