Эрнст Нагель - Teopeма Гёделя

Тут можно читать онлайн Эрнст Нагель - Teopeма Гёделя - бесплатно полную версию книги (целиком) без сокращений. Жанр: Математика, издательство КРАСАНД, год 2010. Здесь Вы можете читать полную версию (весь текст) онлайн без регистрации и SMS на сайте лучшей интернет библиотеки ЛибКинг или прочесть краткое содержание (суть), предисловие и аннотацию. Так же сможете купить и скачать торрент в электронном формате fb2, найти и слушать аудиокнигу на русском языке или узнать сколько частей в серии и всего страниц в публикации. Читателям доступно смотреть обложку, картинки, описание и отзывы (комментарии) о произведении.
  • Название:
    Teopeма Гёделя
  • Автор:
  • Жанр:
  • Издательство:
    КРАСАНД
  • Год:
    2010
  • Город:
    Москва
  • ISBN:
    978-5-396-00092-6
  • Рейтинг:
    3.89/5. Голосов: 91
  • Избранное:
    Добавить в избранное
  • Отзывы:
  • Ваша оценка:
    • 80
    • 1
    • 2
    • 3
    • 4
    • 5

Эрнст Нагель - Teopeма Гёделя краткое содержание

Teopeма Гёделя - описание и краткое содержание, автор Эрнст Нагель, читайте бесплатно онлайн на сайте электронной библиотеки LibKing.Ru

Нагель Эрнест, Ньюмен Джеймс Рой. Теорема Гёделя: Пер. с англ. Изд. 2-е, испр. — М.: КРАСАНД, 2010. — 120 с. (НАУКУ — ВСЕМ! Шедевры научно-популярной литературы.)

Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки — проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Гёделя, которому посвящена книга. Не требуя от читателя по существу никаких предварительных познаний, авторы с успехом объясняют ему сущность одной из самых замечательных и глубоких теорем математики и логики.

Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.

Teopeма Гёделя - читать онлайн бесплатно полную версию (весь текст целиком)

Teopeма Гёделя - читать книгу онлайн бесплатно, автор Эрнст Нагель
Тёмная тема
Сбросить

Интервал:

Закладка:

Сделать

Нагель Эрнест, Ньюмен Джеймс Рой

Теорема Гёделя

Посвящается Бертрану Расселу

1

Введение

В 1931 г. в одном из немецких научных журналов появилась сравнительно небольшая статья с довольно-таки устрашающим названием «Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme» («О формально неразрешимых предложениях Principia Mathematica и родственных систем»). Автором ее был двадцатипятилетний математик из Венского университета Курт Гёдель, впоследствии работавший в Принстонском институте высших исследований. Работа эта сыграла решающую роль в истории логики и математики. В решении Гарвардского университета о присуждении Гёделю почетной докторской степени (1952) она была охарактеризована как одно из величайших достижений современной логики.

Однако в момент опубликования ни название гёделевской работы, ни содержание ее ничего не говорили большинству математиков. Упомянутые в ее названии Principia Mathematica — это монументальный трехтомный трактат Алфреда Норта Уайтхеда и Бертрана Рассела, посвященный математической логике и основаниям математики; знакомство с трактатом отнюдь не являлось необходимым условием для успешной работы в большей части разделов математики. Интерес к разбираемым в работе Гёделя вопросам всегда был уделом весьма немногочисленной группы ученых. В то же время рассуждения, приведенные Гёделем в его доказательствах, были для своего времени столь необычными, что для полного их понимания требовалось исключительное владение предметом и знакомство с литературой, посвященной этим весьма специфическим проблемам.

При всем этом подлинно революционный характер выводов, к которым пришел Гёдель, и их важнейшее философское значение ныне общепризнанны. Цель настоящего очерка состоит в том, чтобы сделать доступным для неспециалистов существо результата Гёделя и основную идею его доказательства.

Знаменитая работа Гёделя посвящена центральной проблеме оснований математики. Чтобы понять источник возникновения и характер этой проблемы, нам понадобятся некоторые предварительные рассмотрения. Каждый, кому приходилось преподавать элементарную геометрию, помнит, что геометрия строится как дедуктивная наука. Этим она отличается от экспериментальных наук, выводы которых приемлемы постольку, поскольку они согласуются с данными наблюдения и опыта. Идея о том, что любое верное утверждение может быть получено в качестве заключительного шага строгого логического доказательства, сформировалась еще в Древней Греции; именно греческим математикам принадлежит честь открытия так называемого «аксиоматического метода» и применения его для систематического изложения геометрии. Для аксиоматического метода характерно, что некоторые предложения — так называемые аксиомы или постулаты (примером может служить предложение, согласно которому через любые две точки можно провести одну и только одну прямую) — принимаются без доказательства; все же остальные предложения данной теории выводятся затем из этих аксиом. Можно сказать, что аксиомы образуют «базис» системы, в то время как теоремы, получаемые из аксиом при помощи одних только логических законов, — это «надстройка».

Аксиоматическое построение геометрии произвело глубокое впечатление на мыслителей всех времен — ведь совсем небольшого числа аксиом оказалось достаточным, чтобы из них можно было вывести поистине необозримое количество предложений. Более того, если каким-либо образом можно было удостовериться в истинности аксиом, а фактически на протяжении почти двух тысячелетий большинство ученых считало истинность аксиом само собой разумеющейся, то это уже автоматически обеспечивало истинность всех теорем и их совместимость. Поэтому аксиоматическое изложение геометрии в глазах многих поколений ученых представлялось своего рода идеальным образцом научного знания. И вполне естественно было задать вопрос, можно ли другие научные дисциплины, кроме геометрии, построить на такой же строгой аксиоматической основе. Тем не менее, хотя некоторые разделы физики формулировались аксиоматически еще в античные времена (например, Архимедом), до недавнего времени геометрия в глазах большинства ученых представлялась, по сути дела, единственной областью математики, построенной на аксиоматической базе.

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

Работа Гёделя показала полную несостоятельность такого убеждения. Она представила математикам поразительный и обескураживающий вывод, согласно которому возможности аксиоматического метода определенным образом ограничены, причем ограничения таковы, что даже обычная арифметика целых чисел не может быть, оказывается, полностью аксиоматизирована. Более того, Гёдель доказал, что для весьма широкого класса дедуктивных теорий (включающего, в частности, элементарную арифметику) нельзя доказать их непротиворечивость, если не воспользоваться в доказательстве столь сильными методами, что их собственная непротиворечивость оказывается в еще большей степени подверженной сомнениям, нежели непротиворечивость самой рассматриваемой теории. В свете сказанного ни о какой окончательной систематизации многих важнейших разделов математики не может быть и речи, и нельзя дать решительно никаких надежных гарантий того, что многие важные области математики полностью свободны от внутренних противоречий.

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

Читать дальше
Тёмная тема
Сбросить

Интервал:

Закладка:

Сделать


Эрнст Нагель читать все книги автора по порядку

Эрнст Нагель - все книги автора в одном месте читать по порядку полные версии на сайте онлайн библиотеки LibKing.




Teopeма Гёделя отзывы


Отзывы читателей о книге Teopeма Гёделя, автор: Эрнст Нагель. Читайте комментарии и мнения людей о произведении.


Понравилась книга? Поделитесь впечатлениями - оставьте Ваш отзыв или расскажите друзьям

Напишите свой комментарий
x