Teopeмa Гёделя

Поделиться книгой

Описание книги

Страниц: 16
Год: 2010

Содержание

Отрывок из книги

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

Популярные книги

Teopeмa Гёделя

Поделиться книгой

Книги из серии

Науку-всем!
arrow_back_ios