А как Вы думаете, сводится ли всё мышление человека к формальной логике и можно ли его свести к машине Тьюринга?
Во-первых, не мышление человека, а описание (модель) мышления человека. Формальная логика и концепция машины Тьюринга, как и вся математика, придуманы людьми и есть результат применения абстрагирования к окружающей реальности, а затем развития этих абстракций. В объективной реальности математических объектов не существует, поэтому мышление никак не может сводиться к формальной логике, а вот описание мышления - может.
Во-вторых, видимо, можно, так как стыкуется с тезисом Черча-Тьюринга. Нет никаких явных контрпримеров того, что человек что-то может, а комп - нет. Всё множество функций, потенциально реализуемых описанием мышления, даже не счётно - конечно. А значит, никаких ограничений быть не может, кроме проблемы нехватки вычислительных мощностей.