Вопросы с тегом «hypercomputation»

83
Что будет означать опровержение тезиса Черча-Тьюринга?

Извините за запоминающееся название. Я хочу понять, что нужно сделать, чтобы опровергнуть тезис Черча-Тьюринга? Где-то я читал, что это математически невозможно сделать! Почему? Тьюринг, Россер и т. Д. Использовали разные термины, чтобы различать: «что можно вычислить» и «что можно вычислить с...

18
Почему исследования гиперкомпьютеров прекратились?

Я вижу много исследований в области гиперкомпьютеров в 1990-х, но в последние годы, кажется, мало работы по этой теме. Правда ли, что исследования в этой области прекратились? Если так, что может быть причинами этого? Была ли эта область убедительно показана...

17
Как модели гиперкомпьютеров преодолевают проблему остановки?

Гиперкомпьютер относится к моделям вычислений, которые невозможно моделировать с использованием машин Тьюринга. (Гиперкомпьютеры не обязательно физически реализуемы!) Некоторые гиперкомпьютеры имеют доступ к ресурсу, который позволяет решить проблему остановки для стандартных машин Тьюринга....