|
Колерус правильно говорит, что Гильберт почти на вечные времена разъяснил сложнейший вопрос об основаниях геометрии, и называет его аксиоматику "одним из величайших шедевров всего 19-го столетия"<sup></sup>. Выразим основную мысль Гильберта его собственными словами: его цель заключалась в том, чтобы "выяснить, какие именно аксиомы, гипотезы и средства необходимы для доказательства геометрических истин"<sup></sup>. И, действительно, он объяснил или связал в одно целое структуру всех геометрий. Отбрасывая некоторые из аксиом, он получает из них любую. Математик, ему не сочувствующий, Племптон Ремсей, излагает учение Гильберта следующим образом: "Математика превращается в некоторый вид игры, ведущейся на бумаге при помощи ничего не значащих значков вроде нолей и крестиков... Поскольку каждый математик делает значки на бумаге, надо признать, что формалистическое учение содержит только правду; но трудно предположить, чтобы это была вся правда: ведь наш интерес в символической игре, конечно, происходит от возможности дать смысл по крайней мере некоторым из делаемых нами значков и от надежды, что после придачи им смысла они будут выражать знание, а не ошибку"<sup></sup>. В этой критике видно огромное различие между таким человеком, как Гильберт, и математиком философски не одаренным (хотя, быть может, превосходным специалистом в своей области).
Л. - Вы хватаетесь за Гильберта для доказательства вашего положения о произвольности аксиоматики. Где же вы остановитесь? Как быть с областью точных наук, имеющих техническое применение? Мы живем в эпоху "суперсонических" аэропланов, атомных двигателей, гигантских циклотронов, чудовищных по мощи сооружений по использованию водной энергии. Каждое из этих великих достижений человеческой мысли и энергии состоит из тысяч приспособлений, которым должна быть свойственна совершенная точность (любая ошибка погубила бы все дело), и которые основаны на твердых законах отдельных наук. Могло ли бы это быть, если б все строилось на произвольных аксиомах? Тут несомненнейшие, нагляднейшие факты опровергают то, что вы говорите. А. - При чем тут успехи современной техники и как можно было бы в здравом уме эти успехи отрицать? Величайшие технические создания могут существовать и существуют, несмотря на то, что в основе системы точных наук, которой пользуются для их создания и объяснения, лежат не-вечные гипотезы и произвольные аксиомы. Неплодотворных гипотез нет, каждая рабочая гипотеза плодотворна<sup></sup>. Вполне возможно, что через пятьдесят лет нынешняя теория циклотрона отпадет или будет основана на ином круге идей, но циклотрон Лауренса останется реальностью. Точно также атомная бомба есть самая трагическая реальность в истории, хотя процессы, на которых она основана, могут впоследствии получить и даже почти наверное получат другую интерпретацию. С давних пор существуют точные оптические приборы, телескопы становятся все более грандиозными, но ведь создавались они при разных теориях света: эти теории не раз менялись, а при Галилее их собственно вообще не было. Если принять корпускулярную теорию света, то нельзя объяснить явлении интерференции и диффракции. Если принять волнообразную теорию, то непонятно явление фотоэлектричества. Если же остановиться на теории Луи де Брой, то мы вообще выйдем из пределов реального мира, как это признает и сам ее автор, считающий, что настоящий синтез еще впереди<sup></sup>. Не раз производились "круциальные" опыты для выбора между взглядами Ньютона и Гюйгенса - и они почти неизменно оказывались не совсем "круциальными". Трагедия физики именно в том, что в ней всегда "третье дано", и любое ее положение это временная ценность. Поскольку дело идет о теориях и гипотезах, ее гордое "Quo non ascendam?" приобретает разве лишь иронический характер: один Бог знает, куда еще мы "взойдем" на зло здравому смыслу, после кривого пространства и кривого времени! Л. |
