Тут парадокс снова заявляет о себе. То, что подвластно логике и протекает под присмотром сознания, лишено творческой струи, сведено до уровня, можно сказать, технологии, когда требуется лишь проверять и вычислять.
Это обстоятельство приводит иных исследователей к недооценке логически-сознательной деятельности в работе ученого. А. Пуанкаре, например заявлял, что в логистике (одно из определений логического) он видит одни путы для творчества. Профессор Нью-Йоркского университета М. Клайн уже в наши дни выразился так:
«Логика — последний акт в становлении какой-либо математической теории, и когда этот акт выполнен, теория подготовлена к похоронам». И А. Пуанкаре и М. Клайн все надежды возлагают на интуицию.
Очевидно, эти исследователи сгущают тона. Но крайности нам не подмога. Тем более что есть другие оценки. В их числе, кстати, и такие, что начисто отрицают роль интуиции. Например, Ф. Дайсон считает, что ошибочная математическая интуиция Аристотеля сковывала развитие науки в течение целых веков. Речь идет (мы уже отмечали это) об установке древних, согласно которой совершенными фигурами являются окружность и шар. Соответственно этому небесные тела, в частности планеты, должны двигаться по кругу. И эта традиция держала в плену ученых, пока наконец ее не разрушил И. Кеплер. Что же? Факт сам по себе верный. Но верно ли обобщать, как это делает Ф. Дайсон?
ПОДВОДЯ БАЛАНС
Мы прошли маршрутом познания весь путь, и теперь настала пора подытожить увиденное. Ранее были предприняты усилия показать, что важны и нужны как логическая, так и интуитивная формы поисковой деятельности, но каждая на своей позиции. А сейчас несколько усложним задачу и попытаемся обнаружить на отрезках интуитивного пути проявления логического начала и, наоборот, внедрение интуиции в сугубо логические участки движения мысли.
На этапах задания программы и доведения результата ведущими являются, безусловно, логические операции мысли. Вместе с тем им характерны и интуитивные искания, хотя, конечно, не в той дозе, что ведется во время инкубации, завершающейся озарением.
Возьмем период подготовки. Сколь ни подчинено здесь мышление ученого правилам логики, без интуиции не обойтись. Тут важен общий, синтетический подход. Охватить предмет в целом, понять его как единое, быть может, не зная деталей, — это умение идет от интуиции. Надо учесть и другое. Сама постановка проблемы также сопровождается догадкой. Бывает и так, что постановка проблемы и ее решение даются одновременно, как это имело случай, например, у Э. Шредингера, когда он записат свое знаменитое волновое уравнение.
Интуитивное сопровождение характерно и для этапа доведения результата. Конечно, доказательство развертывается по правилам логики, которые ни в одном пункте не могут быть нарушены. Но и здесь ученый, проводя доказательство, творит, иначе ему трудно найти веские обоснования. Даже в математике, где этот процесс особенно формализован, трудно обойтись без интуитивных скачков. Ибо прежде чем доказать какую-либо теорему, надо, как мы уже отмечали, догадаться не только о ее существовании, но и о путях и средствах доказательства.
Кроме того, есть обстоятельс!ва, особенно осеняющие неотвратимость дополнения логических операций интуитивными.
Казалось бы, нас не должен смущать вопрос, что такое доказательство и как его проводить. Известно, из каких частей оно состоит, разработаны четкие правила действий с ними, указаны типичные ошибки. Но вот что пишет известный современный математик и логик И. Лакатос.
Математики прикладных направлений считают, что доказательство — дело «чистых» математиков, теоретиков математической мысли, которые умеют проводить «полные» доказательства и знают в них толк. Увы! «Чистые», в свою очередь, принимают только те «полные» доказательства, которые строятся логиками. Что же касается собственно математических, то есть «неполных» доказательств, то, по убеждению ряда ученых, таких, как, например, Г. Харди, Д. Литтльвуд и сам И. Лакатос, это достаточно неопределенная вещь, чтобы можно было говорить о ее существовании.
Иными словами, доказательство протекает как импровизация, призывающая на помощь не только строгие логические методы, но и воображение, интуицию.
Конечно, здесь тоже не обошлось без преувеличений, но посевы истины в этом есть.