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