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

18

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

reference-request computability hypercomputation Бархатный Призрак
источник
6
3-й Международный семинар по гиперкомпьютерам
Марцио Де Биаси
Бархатный призрак спросил:> Правда ли, что Бекенштейн Бонд опровергает ...? Что ж, есть хороший аргумент в пользу этого, поскольку он ограничивает объем информации в пространстве как следствие закона Мерфи.
1
Поблизости не было черных дыр, куда можно было бы отправить машину Тьюринга.
Андрей Бауэр

Ответы:

19

Будет лучше, если вы укажете, что именно вы подразумеваете под гипер-вычислением, и дадите доказательство того, почему вы думаете, что оно «угасло».

В любом случае, если вы говорите о вычислении функций по натуральным числам (и конечным строкам) (поскольку я думаю, что очевидно, что модели для вычислений более высокого типа - это очень активная область, например CCA ), а модели вычислений не эквивалентны вычислимость, определенная машинами Тьюринга , я не думаю, что утверждение является правильным, например, см. CiE'05 и CiE'11. Также посмотрите на критику, сделанную против утверждения, что гипер-вычисления - что-то новое:

Если вам интересно, то есть также обсуждение списка рассылки FOM, начиная с письма Тимоти Чоу о статье Мартина Дэвиса.

Кава
источник
Большое спасибо за этот очень информативный ответ. Честно говоря, мое единственное знакомство с гиперкомпьютингом связано с работой Зигельманна по вычислительной мощности нейронных сетей еще в середине 1990-х годов и ее доказательством того, что конкретная нейронная сеть (аналог рекуррентного NN) является гиперкомпьютерной. Ключом к его гиперкомпьютерной мощи является его аналоговая природа - он может иметь веса, которые являются РЕАЛЬНЫМИ числами. Итак, я имел в виду подполе гиперкомпьютера, известное как Реальные вычисления .
Velvet Ghost
Ранее я читал статьи Мартина Дэвиса, и именно они заставили меня думать, что гиперкомпьютеры вышли из моды. Кстати ... правда ли, что граница Бекенштейна опровергает любую возможность аналоговых вычислений в этой вселенной?
Бархатный призрак
6

В последнее время было проведено несколько конференций по теме бесконечной вычислимости, которые рассматривали многие темы в области гиперкомпьютеров.

Кроме того, на многих конференциях CiE проводились специальные сессии по бесконечной вычислимости.

JDH
источник
2

Я не думаю, что это правда. Поиск в Arxiv статей о гиперкомпьютерах получает кучу хитов.

Джошуа Герман
источник
9
Гиперкомпьютер относится к моделям вычислений, которые являются более мощными, чем вычислимость по Тьюрингу (см., Например, Википедию), тогда как оба, PostBQP = PP и P_CTC = PSPACE, безусловно, вычислимы.
Мартин Шварц
Я начинаю думать, что ты прав, Джошуа. Также спасибо за эту ссылку.
Бархатный призрак