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

Как говорил Альберт Эйнштейн, «наиболее необъяснимое во Вселенной – это то, что она объяснима». Но что делает Вселенную познаваемой? Почему работает научный метод? Как вообще прямоходящие кожаные мешки с обезьяньим мозгом могут что-либо узнать о физической реальности, если они всю жизнь проводят в виртуальной реальности своего сознания? Ведь всё, что нам известно о мире – продукты нашего разума. Не означает ли это, что мы никогда не сможем узнать, какова реальность на самом деле? Что мы вообще знаем, если Вселенная на 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 – Вывод Статья:
Поддержать канал:   / universalexplainer