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