Скачать или смотреть Сверхтьюринговые вычисления и гиперкомпьютеры. Тезис Чёрча-Тьюринга - универсальный предел познания?

Как говорил Альберт Эйнштейн, «наиболее необъяснимое во Вселенной – это то, что она объяснима». Но что делает Вселенную познаваемой? Почему работает научный метод? Как вообще прямоходящие кожаные мешки с обезьяньим мозгом могут что-либо узнать о физической реальности, если они всю жизнь проводят в виртуальной реальности своего сознания? Ведь всё, что нам известно о мире – продукты нашего разума. Не означает ли это, что мы никогда не сможем узнать, какова реальность на самом деле? Что мы вообще знаем, если Вселенная на 95% состоит из неведомых тёмных субстанций? Откуда мы знаем, что законы физики универсальны и постижимы человеческим разумом? Где гарантия, что законы физики изотропны в пространстве и однородны во времени? Может, они варьируются от места к месту, изменялись в прошлом или изменятся в будущем?

Существует ли вычислительно более мощный компьютер, чем машина Тьюринга? Вычислима ли каждая физическая система? Является ли сама Вселенная вычислительной машиной? Каковы фундаментальные физические и логические ограничения на то, что может быть вычислено и постигнуто? Есть ли вычислительный барьер, который невозможно преодолеть, независимо от того, насколько далеко и какими способами развиваются компьютеры? Или новые типы оборудования, основанные на квантовых, релятивистских или квантово-гравитационных явлениях, могут привести к принципиально новым вычислительным парадигмам и сделать невычислимое вычислимым? В этой лекции мы погрузимся в глубины теоретической информатики, чтобы выяснить, каковы фундаментальные пределы вычислимости и возможны ли в нашей Вселенной гиперкомпьютеры.

Таймкоды:
00:58 – Вступление
04:44 – Философский агностицизм и скептицизм
12:45 – Вычислительная и физическая универсальность
23:33 – Гипервычисления и суперрекурсивные алгоритмы
42:44 – Модели гиперкомпьютеров:
42:54 – Машина Тьюринга с оракулом
46:09 – Машина Зенона
48:29 – Вечная машина Тьюринга
50:07 – ЗВК-гиперкомпьютер
55:12 – Машина Маламента-Хогарта
1:01:09 – Машина точки Омега
1:02:43 – Антропный гиперкомпьютер
1:04:22 – Машина BSS
1:06:39 – Аналоговая нейросеть
1:08:21 – Фальсифицируемость гипервычислений
1:16:59 – Интероперабельность как основа универсальности
1:30:13 – Философские следствия тезиса Чёрча-Тьюринга-Дойча
1:48:38 – Вывод

Статья: https://habr.com/ru/articles/961020
Поддержать канал:   / universalexplainer