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