>На сегодня такой теории нет и важно именно это, речь идёт о настоящем и обозримом будущем. Пенроуз приводил доводы о том, что мышление невозможно свести к алгоритмам, и так оно и есть - невозможно алгоритмизировать неопределённую задачу, а мышление это способность создавать теории в неопределённой ситуации.
Мне кажется, что речь идет о конкретном алгоритме, по которому человек решает оптимизационные задачи. Определить его действительно очень трудно или даже невозможно. Но для результата это неважно, получить рабочую модель человеческого мышления можно с тем же успехом, применив любой из известных алгоритмов, который даст тот же результат при тех же исходных данных. Вторая проблема – определить данные, которые доступны человеку. Это тоже – невозможно, что ставит перед исследователем «неопределенную» задачу, но дело в том, что для самого человека эти данные, пусть и бессознательно, известны. Это соображение дополняет возможность успешного моделирования, то есть создание разума, когда станет доступной необходимая вычислительная мощность (главная предпосылка).
