> Какой бы мощностью ни обладало устройство, имеющее архитектуру конечного автомата, человеческое мышление имеет некоторые возможности, недоступные такому устройству.
Вообще все рассуждения упираются в теорему Гёделя, которая использует диагональный метод и базируется на законе исключении третьего. Который (метод) может быть и не совсем правомерен в реальном мире.