Teopeмa Гёделя

Серия: Науку-всем! [0]
Скачать бесплатно книгу Нагель Эрнст - Teopeмa Гёделя в формате fb2, epub, html, txt или читать онлайн
Закладки
Читать
Cкачать
A   A+   A++
Размер шрифта
Teopeмa Гёделя - Нагель Эрнст
Автор: Нагель Эрнст 
Жанр: Математика  Научно-образовательная   
Серия: Науку-всем! [0] 
Страниц: 16 
Год: 2010 

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

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