Читать «Teopeмa Гёделя» онлайн - страница 4

Как мы увидим ниже, теорема Гёделя, которой посвящена наша книга, состоит в доказательстве невозможности доказательства некоторых арифметических утверждений средствами арифметики. Кроме того, разрешение старой проблемы об аксиоме параллельности неизбежно приводило к выводу, что аксиоматика Евклида отнюдь не является последним словом геометрии, — ведь можно, оказывается, построить новые геометрические системы, исходя из перечней аксиом, отличных от евклидовых и даже несовместимых с ними. Например, как хорошо известно, чрезвычайно интересные и плодотворные результаты были получены заменой евклидовой аксиомы параллельных допущением, согласно которому через точку, лежащую вне данной прямой, можно провести более чем одну прямую, параллельную этой прямой, или же, напротив, допущением, согласно которому параллельных прямых вообще не бывает. Традиционное убеждение, что аксиомы геометрии (или вообще аксиомы любой науки) могут быть приняты на основании их «самоочевидности», было, таким образом, совершенно подорвано. Более того, постепенно стало все более и более ясным, что подлинным предметом чистой математики является вывод теорем из постулированных допущений и что вопрос о том, являются ли аксиомы, принятые математиком для той или иной цели, в самом деле истинными, есть совсем не его забота. Наконец, плодотворные модификации ортодоксальной геометрической аксиоматики привели к пересмотру и уточнению аксиоматической базы многих других математических дисциплин.

На аксиоматической основе были полностью перестроены и такие области науки, которые до тех пор строились лишь более или менее интуитивным образом. Например, так строилась обычная арифметика натуральных чисел, до тех пор пока в 1899 г. итальянский математик Дж. Пеано, исходивший из несколько более ранней аксиоматики немецкого математика Р. Дедекинда, не аксиоматизировал ее.