Да какие ж они "откровения"! Это state-of-the-art, обыденность в 21 веке.

>Дойч ставит вопрос так: то, что у нас такой физический мир, какой он есть — какие это накладывает ограничения на математику?

И сам же понимает что только ограничения в количестве памяти и времени вычисления.

Что все и так понимали

нет, про ресурсы это "алгоритмика", а он затрагивает и "семантику" вычисления (не только Theory A, но и Theory B — какие типы рассуждений для каких типов объектов может делать физическое устройство при данной физике). Для него вычисление — это работа с информацией (измеримой и копируемой физической величиной) или суперинформацией (то есть измеримой величиной, но не копируемой).

Но тут вопрос не о приоритете, конечно. В этом месте толпы ходят )))

Так и не понятно о каких ещё ограничениях речь. Что именно сделать нельзя?

Извиняюсь что встреваю, но как связаны дискуссии выше с типами  в япах?

Так надо разобраться: типы — они из математики, или из физики?! 😃

Они из CS! 🙂

Видимо, это смотря какие типы.
А то ведь, какие-то могут быть и из психиатрии.

В каждой шутке есть доля шутки. Теории понятий проходят экспериментальную проверку в психологических (нейрокогнитивных, что не меняет дела) экспериментах. В разных режимах мозг вычисляет в разных моделях работы с понятиями ))) А типы (или образцы, или прототипы — там разное) да, из этого места растут.

Главное, чтобы не из подворотни.

Между прочим, там милейшие типы сидят

Статистики, слава богу, у меня нет ;-)
Но которых видел - да, как-то так.

***Тезис такой, что компьютер может рассуждать ровно так же, как любой математик.
***И аппаратура при этом может быть ... или традиционная, или какая-то ещё

Это верно.

***Ни компьютер не может рассуждать так же, как математик, ни сама математика не является полностью вычислимой

Это от вашего незнания, непонимания проблематики.

Полагаю речь идёт не о возможности использовать математику, а о возможности продюсирования математики, что, возможно, требует "сильного" ИИ

А это бесполезный комментарий

Нет.

Ну в любом случае брен уже ушёл

Спасибо за информацию, это радостное событие. )