По-видимому, отрицательный ответ на этот вопрос можно вполне строго обосновать, даже если ограничиться одной лишь математикой. Такому обоснованию посвящены книги выдающегося современного математика и физика Р. Пенроуза "Новый разум императора" и "Тени разума", очень популярные на Западе, но, к сожалению, до сих пор не переведенные на русский язык. Здесь мы приведем краткое резюме утверждений Пенроуза, отсылая читателя за обоснованием и многими важными деталями к оригинальным текстам.
Человека-математика можно было бы полностью заменить компьютером (конечно, только в принципе и только если иметь в виду его профессиональную деятельность), если бы математика была бы полностью формализованной системой, выводимой из конечного набора аксиом. Однако, такая лейбницевско-расселовско-гильбертовская программа аксиоматизации математики и сведения ее к "прикладной логике" была опровергнута К. Геделем и другими логиками в 30-х годах XX века. Речь идет прежде всего о знаменитой "теореме Геделя о неполноте", согласно которой даже в пределах арифметики натуральных чисел существуют утверждения, неопревержимые и недоказуемые (при любом строгом понимании слова "доказательство") на основании любого конечного набора аксиом. Близкое (и в действительности эквивалентное) утверждение состоит в существовании алгоритмически неразрешимых задач, то есть таких, которые в принципе не могут быть решены никаким компьютером за конечное число шагов!!!. Важно подчеркнуть, что далеко не все такие задачи являются "бессмысленными" или "неинтересными"; известен ряд конкретных примеров алгоритмически неразрешимых задач - скажем, не существует общего способа определить, можно или нельзя замостить без зазоров плоскость плитками из данного набора (даже если ограничиваться только плитками-многоугольниками). Дело в том, что множество всех задач, которые могут быть решены всеми прошлыми, настоящими и будущими компьютерами - счетно, то есть имеет ту же мощность (грубо говоря, "число элементов"), что и натуральный ряд. Человек же вполне способен работать с идеей актуальной бесконечности и с множествами мощности континуума (и, возможно, более высокой). Можно думать, что понятие континуума как некоторой первичной сущности, не сводимой к счетным множествам, действительно присуще человеческой психике. Каждый человек обладает, вероятно, зачатками топологического мышления, основанного на ид!!!ее непрерывности. Выдающийся математик XX века Г. Вейль говорил об абстрактной алгебре и топологии как двух альтернативных способах математического мышления (по выражению Вейля, за душу каждого математика борются ангел топологии и бес абстрактной алгебры). На уровне физиологии различные виды мышления связываются с полушариями человеческого мозга (правополушарное мышление - непрерывное, образы, топология, левополушарное мышление - логическое, символы, буквы, слова, дискретное, алгебра). Данные нейрофизиологических исследований по-видимому также свидетельствуют против аналогии между мозгом и компьютером.
