Чому дослідження гіперкомп'ютації загинули?

18

Я бачу чимало досліджень щодо гіперкомп'ютації у 90-х роках, але в останні роки, здається, мало працювати над цією темою. Чи правда, що дослідження в цій галузі притихли? Якщо так, то які можуть бути причини цього? Чи було переконливо показано, що ця сфера є неперспективною?

reference-request computability hypercomputation

— Оксамитовий привид
джерело

6

3-й Міжнародний семінар з гіперкомп'ютації (HyperNet 11) hypercomputation.net/combinedpreprocs.pdf

— Marzio De Biasi

Оксамитовий привид запитав:> чи правда, що Межа Бекенштейна спростовує ...? Що ж, для цього є хороший випадок, оскільки він обмежує інформацію в обсязі простору як наслідок Закону Мерфі.

1

Поруч не було жодних чорних дір, щоб відправити машину Тюрінга.

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

19

Було б краще, якщо ви уточнили, що саме ви маєте на увазі під гіперрахунком, і дасте докази того, чому ви вважаєте, що він "затих".

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

Мартін Девіс, " Чому немає такої дисципліни, як гіперкомп'ютація ", 2006.
Мартін Девіс, " Міф про гіперкомп'ютацію ", в "Алан Тьюрінг: життя і спадщина великого мислителя", 2004 рік.

Якщо ви зацікавлені, є також певна дискусія у списку розсилки FOM, починаючи з електронного листа Тімоті Чоу про статтю Мартіна Девіса.

— Каве
джерело

Дякую велику за дуже інформативну відповідь. Якщо чесно, моє єдине знайомство з гіперкомп'ютацією - завдяки роботі Зігельмана про обчислювальну потужність нейронних мереж ще в середині 1990-х - і її доказ того, що певна нейронна сітка (аналоговий рецидивуючий NN) є гіперкомпутаційною. Ключовим моментом його гіперкомп'ютерної потужності є його аналоговий характер - він може мати ваги, які є РЕАЛЬНІМИ числами. Тому я мав на увазі підполе гіперкомп'ютації, відоме як « Реальне обчислення» .

— Оксамитовий привид

Раніше я читав статті Мартіна Девіса, і саме вони почали змушувати мене думати, що гіперкомп'ютація вийшла з моди. До речі ... правда, що Межа Бекенштейна спростовує будь-яку можливість аналогових обчислень у цьому Всесвіті?

— Оксамитовий привид

6

Нещодавно було проведено кілька конференцій на тему інфінітарної обчислюваності, на яких було розглянуто багато тем з гіперкомп'ютації.

Боннський міжнародний семінар з питань звичайної обчислюваності (BIWOC) 2007 , див. Звіт про програму
Конференція з ефективної математики незліченних (ЄВС) 2008
Конференція з ефективної математики незліченних (ЄВС) 2009

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

— JDH
джерело

2

Я не думаю, що це правда. Пошук Arxiv паперів про гіперкомп'ютації отримує купу звернень.

— Джошуа Герман
джерело

9

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

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

Я починаю вважати, що ти маєш рацію, Джошуа. Також дякую за це посилання.

— Оксамитовий привид