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

18

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

reference-request computability hypercomputation

— Бархатный Призрак
источник

6

3-й Международный семинар по гиперкомпьютерам

— Марцио Де Биаси

Бархатный призрак спросил:> Правда ли, что Бекенштейн Бонд опровергает ...? Что ж, есть хороший аргумент в пользу этого, поскольку он ограничивает объем информации в пространстве как следствие закона Мерфи.

1

Поблизости не было черных дыр, куда можно было бы отправить машину Тьюринга.

— Андрей Бауэр

19

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

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

Мартин Дэвис, « Почему нет такой дисциплины, как гиперкомпьютеры », 2006.
Мартин Дэвис, « Миф о гиперкомпьютерах », «Алан Тьюринг: жизнь и наследие великого мыслителя», 2004.

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

— Кава
источник

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

— Velvet Ghost

Ранее я читал статьи Мартина Дэвиса, и именно они заставили меня думать, что гиперкомпьютеры вышли из моды. Кстати ... правда ли, что граница Бекенштейна опровергает любую возможность аналоговых вычислений в этой вселенной?

— Бархатный призрак

6

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

Боннский международный семинар по порядковой вычислимости (BIWOC) 2007 , см. Отчет по программе там
Конференция по эффективной математике несчетного (EMU) 2008
Конференция по эффективной математике несчетного (EMU) 2009

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

— JDH
источник

2

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

— Джошуа Герман
источник

9

Гиперкомпьютер относится к моделям вычислений, которые являются более мощными, чем вычислимость по Тьюрингу (см., Например, Википедию), тогда как оба, PostBQP = PP и P_CTC = PSPACE, безусловно, вычислимы.

— Мартин Шварц

Я начинаю думать, что ты прав, Джошуа. Также спасибо за эту ссылку.

— Бархатный призрак