Вернер Гейзенбер - Шаги за горизонт

Итак, абстрагирование может происходить следующим образом: сформированное вначале абстрактное понятие начинает жить собственной жизнью, оно дает начало новым формам или упорядочивающим структурам, изобилие которых превосходит все ожидания. Впоследствии же эти структуры могут оказаться полезными в понимании явлений окружающего мира.

В связи с этим основным феноменом разгорелась пресловутая полемика о том, что же, собственно, является объектом математики. Вряд ли можно сомневаться в том, что в математике мы имеем дело с настоящим познанием. Но познанием чего? Описываем ли мы в математике нечто объективно сущее, нечто такое, что в каком-то смысле существует независимо от человека, или же математика представляет собой всего лишь выражение способности человеческого мышления? Не являются ли выводимые в математике законы просто утверждениями о структуре человеческого мышления? Я не намерен заниматься здесь этими трудными проблемами всерьез, хочу лишь высказать несколько соображений, подтверждающих объективный характер математики.

Не лишено вероятности, что на других планетах, скажем на Марсе, а если нет, то в других солнечных системах, существует нечто похожее на жизнь. И безусловно, следует считаться с той возможностью, что на каком-нибудь другом небесном теле живут существа, у которых способность к абстрактному мышлению развилась достаточно, чтобы создать понятие числа. Если это так и если они строят на основе понятия числа математическую науку, то они придут к тем же теоретико-числовым утверждениям, что и мы, люди. Арифметика и теория чисел в принципе не могут быть у них другого вида, чем у нас; их результаты должны совпадать с нашими. Следовательно, если считать математику набором утверждений о мышлении человека, то, во всяком случае, речь идет о мышлении как таковом, а не просто о нашем человеческом мышлении. Поскольку вообще существует мышление, математика должна быть одинаковой. Это утверждение можно сопоставить с другим, относящимся к области естественных наук. На других планетах или на еще более удаленных небесных телах, несомненно, действуют те же самые законы природы, что и у нас. Это вовсе не просто теоретическое допущение; ведь с помощью телескопов мы можем убедиться в том, что там присутствуют такие же, как у нас, химические элементы, что они образуют те же самые химические соединения и свет, который они испускают, имеет ту же самую спектральную структуру. Но не станем пока выяснять, имеет ли этот эмпирический естественнонаучный факт какое-либо отношение к тому, что мы только что говорили о математике, а если имеет, то какое.

Прежде чем переходить к развитию естественных наук, обратимся еще раз к математике. На протяжении своей истории математика постоянно формировала новые, все более емкие понятия и поднималась, таким образом, на новые уровни абстрактности. Область чисел расширилась, включив в себя иррациональные числа, а затем комплексные числа. Понятие функции открыло доступ в царство высшего анализа, дифференциального и интегрального исчисления. Понятие группы оказалось продуктивным в алгебре, геометрии и теории функций. Оно навело на мысль о том, что на высшем уровне абстрактности удастся, быть может, упорядочить и понять всю математику, во всем многообразии ее дисциплин с единой точки зрения. В качестве абстрактной основы такого объединения всей математики была разработана теория множеств. Трудности теории множеств вынудили в итоге перейти от математики к математической логике, которая нашла свое развитие в 20-х годах, особенно в работах Давида Гильберта и его сотрудников в Геттингене [89] 81 Давид Гильберт (1862–1943) — один из крупнейших математиков и логиков XX в. В полемике с интуиционизмом Л. Э. Брауэра Гильберт разрабатывал широкую программу последовательной формализации логической структуры математики. В 1899 г. Гильберт дал строго аксиоматическое построение геометрии Евклида (Гильберт Д. Основания геометрии. М., Л., Гостехиздат, 1948). Работы Д. Гильберта и его учеников (П. Бернайс, В. Аккерман, Г. Генцен, И. фон Нейман и др.) развивали прежде всего теорию доказательства или метаматематику. В 1954–1939 годах Гильберт в соавторстве с П. Бернайсом опубликовал капитальный труд «Основания математики» (Hilbert D., Bernays Р. Grundlagen der Mathematik. Berlin, 1934, Bd. 1; 1939, Bd. 2. Перевод: Гильберт Д., Бернайс П. Основания математики. Т. 1. Логические исчисления и формализация арифметики. Т. II. Теория доказательства. М., «Наука», 1979, 1982 гг.). . Каждый раз приходилось подниматься с достигнутого уровня абстрактности на следующий, поскольку в той ограниченной области, где проблемы первоначально возникли, их нельзя было не только по-настоящему решить, но даже и как следует осмыслить. Лишь включение их в контекст более широких проблем открывало возможность по-новому понять их, а это в свою очередь позволяло формировать новые, еще более емкие понятия. Стоило убедиться, к примеру, что аксиому параллельных в евклидовой геометрии доказать невозможно, как была разработана неевклидова геометрия. Но действительное понимание пришло только после того, как был поставлен гораздо более общий вопрос: можно ли доказать в данной системе аксиом, что она не содержит противоречия? [90] 82 Это основная проблема так называемой метаматематики. См.: Клини С. Введение в метаматематику. М., ИЛ., 1957. Цитируемое ниже высказывание Б. Рассела относится к 1910 г. См.: Рассел Б. Новейшие работы о началах математики//Новые идея в математике. Сб. 1. Математика. Проблемы и значение ее. СПб., «Образование», 1913, с. 83. Только когда вопрос был поставлен таким образом, была затронута сама суть проблемы. В конце концов развитие математики привело к тому, что основания ее могут обсуждаться только в чрезвычайно абстрактных понятиях, которые, кажется, полностью утратили какую бы то ни было связь с миром предметного опыта. Математик и философ Бертран Рассел высказался так: «Математика — это занятие, в котором никогда не известно, ни о чем говорят, ни истинно ли то, что говорят». (Поясним вторую часть высказывания: всегда можно убедиться в том, что математические формулы правильны, но не в том, существуют ли в действительности объекты, к которым они могли бы относиться.) Но история математики служит нам здесь всего лишь примером, позволяющим признать неизбежность движения к большей абстрактности и к унифицированности. Теперь следует задаться вопросом, происходит ли что-нибудь подобное в естественных науках.

Мне хотелось бы начать с науки, предмет которой наиболее близок к жизни и потому должен был бы быть наименее абстрактным. Я имею в виду биологию. При ее старом разделении на зоологию и ботанику она большей частью была описанием многообразия форм, в которых встречается жизнь на Земле. Биологическая наука занималась сравнением форм с целью внести порядок в явления жизни, изобилие которых кажется поначалу почти необозримым. Велись поиски регулярностей или закономерностей, действующих в сфере живого. Но тут возникал естественный вопрос: с какой точки зрения можно сравнивать организмы, что за общие признаки могли бы послужить основанием для такого сравнения? Именно на этот вопрос стремился ответить, например, Гёте в исследованиях метаморфозы растений. Здесь-то и пришлось сделать первый шаг к абстракции. Теперь начинали уже не с вопроса об отдельных организмах, а с проблемы характерных для жизни биологических функций, таких, как рост, метаболизм, воспроизводство, дыхание, кровообращение. Здесь и была найдена та точка зрения, которая, несмотря на все разнообразие организмов, позволяла легко их сравнивать. Подобно абстрактным понятиям математики, понятие биологических функций оказалось на редкость продуктивным. В нем открылась как бы внутренне присущая ему способность упорядочивать весьма широкие сферы биологии. Так, изучение процесса наследования признаков привело к возникновению эволюционной теории Дарвина, которая впервые позволяла интерпретировать все многообразие органической жизни на Земле с единой, всеобъемлющей точки зрения.