Я, кстати, глупость сказал. ИЧСХ, меня никто не поправил.
Если у нас КМ работает на причинных петлях, то с фига ли разум который тоже (по предположению) на них работает, не вычислим квантовой машиной тьюринга (КМТ)?
С другой стороны, не очень понятно следующее: КМТ может быть смоделирована (неэффективно) обычной (т.е. детерминированной) МТ, а причинные петли - нет. При этом не известно, можно ли все квантовые феномены смоделировать на КМТ, или есть что-то немоделируемое. Это открытый вопрос (который, к тому же, может ещё и оказаться недоказуемым, например:)
В целом я пока хз о взаимоотношении причинных петель (хотя бы мрм-стайл) и их вычислимости КМТ.
А ещё непонятки с тезисом чёрча-тьюринга, взаимоотношением классов BQP & BPP - тут, короче, сложновато. Я всегда опасался нырять в матлогику и всякие вычислимости, потому что это очень болотистая и сложная наука. И это ещё одно направление, которое будет рвать на части.

Отчасти Лавкрафт был прав, очень трудно интересоваться всем, что нравится и не сходить с ума. Правда, по причине куда более прозаической.