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

Это верно.

Алексей Кренев (brenoritvrezorkre). Formal specification, Logic, Coq, Arend, Isabelle / HOL, ACL2, λProlog, Robotics. Резюме IT-специалиста на Хабр Карьере

Я регулярно задаю вопросы своим студентам (а они у меня великовозрастные, давно закончили свои вузы, и часто даже не один) про квантовые вычисления:
— про понятия информации, суперинформации, вычислимости, цифровости или аналоговости квантовых вычислителей (скажем, тезис о накоплении ошибки при длинных цепочках аналоговых вычислений и поэтому невоспроизводимости знания, ненакопимости знания) никто из них не знает
— ничего не знают про no free lunch theorem (что у квантовых, оптических, классических вычислителей могут быть разные ниши, где с их системами команд можно достичь преимущества перед другими вычислителями — то есть нет "универсально выгодного для всех типов задач" вычислителя, они одинаковы по эффективности по бесконечно большому числу всех типов задач в целом)
— реально не знают, что в облаках уже сегодня можно за $5 с кредитки купить вычисления на настоящем квантовом компьютере, да ещё и выбрать компьютер нескольких разных типов. Считают, что это будет лет через пять ещё. [вопрос не в том, что "менее…