Хавьер Фресан - Том. 22. Сон разума. Математическая логика и ее парадоксы
Название: | Том. 22. Сон разума. Математическая логика и ее парадоксы | |
Автор: | Хавьер Фресан | |
Жанр: | Математика | |
Изадано в серии: | Мир математики #22 | |
Издательство: | Де Агостини | |
Год издания: | 2014 | |
ISBN: | 978-5-9774-0717-5 | |
Отзывы: | Комментировать | |
Рейтинг: | ||
Поделись книгой с друзьями! Помощь сайту: донат на оплату сервера |
Краткое содержание книги "Том. 22. Сон разума. Математическая логика и ее парадоксы"
На пути своего развития математика периодически переживает переломные моменты, и эти кризисы всякий раз вынуждают мыслителей открывать все новые и новые горизонты. Стремление ко все большей степени абстракции и повышению строгости математических рассуждений неминуемо привело к размышлениям об основах самой математики и логических законах, на которые она опирается. Однако именно в логике, как известно еще со времен Зенона Элейского, таятся парадоксы — неразрешимые на первый (и даже на второй) взгляд утверждения, которые, с одной стороны, грозят разрушить многие стройные теории, а с другой — дают толчок их новому осмыслению.
Имена Давида Гильберта, Бертрана Рассела, Курта Гёделя, Алана Тьюринга ассоциируются именно с рождением совершенно новых точек зрения на, казалось бы, хорошо изученные явления. Так давайте же повторим удивительный путь, которым прошли эти ученые, выстраивая новый фундамент математики.
Читаем онлайн "Том. 22. Сон разума. Математическая логика и ее парадоксы". [Страница - 4]
И тогда на сцену вышел Эйнштейн. Любой может представить себе, что произойдет с простыней, которую натянули два человека, если в ее центр бросить мяч, однако предположить, что точно так же ведут себя планеты в космосе, смог лишь этот гениальный сотрудник патентной конторы в Берне. Тело столь большой массы, как Земля, искажает пространство вокруг себя, и гравитация есть не что иное, как мера кривизны пространства. Если маленький шарик бросить на простыню, деформированную под весом мяча, он немедленно скатится к ее центру. Аналогично, тело в состоянии свободного падения притянется к поверхности Земли в результате искажения пространства вокруг нее. Если тело находится далеко от Земли и при этом движется, как, например, Луна, то благодаря искажению пространства оно не притянется к Земле, а будет удерживаться на земной орбите. Таким образом, в той геометрии, где гравитация является мерой кривизны пространства, пятый постулат Евклида не выполняется.
Графическое изображение деформации пространства, вызванной силой земного тяготения.
Эйнштейна совершенно не волновало, что его теория относительности разрушила мечты о евклидовом космосе, поскольку со временем он понял, что геометрия носит сугубо формальный характер. В первой главе книги «О специальной и общей теории относительности» — научно-популярном изложении результатов своих исследований, опубликованном в 1920 году, — Эйнштейн объясняет, что геометрия основана на ряде понятий («точка», «плоскость» и «прямая»), которые мы четко представляем себе, а также на определенных простых предложениях, аксиомах, которые кажутся нам истинными, если трактовать их согласно нашим представлениям о понятиях геометрии, к которым они относятся. Исходя из этих основных принципов остальные предложения доказываются методом дедукции: если все промежуточные рассуждения корректны, то истинность вывода зависит исключительно от истинности исходных посылок. Таким образом, чтобы ответить на вопрос, какую форму имеет наш мир, необходимо знать, верны пять постулатов Евклида или нет. Однако найти ответ на этот вопрос методами геометрии нельзя. Более того, этот вопрос не имеет смысла.
Эйнштейн продолжал: бесполезно пытаться доказать, действительно ли через две точки можно провести только одну прямую. Все, что нам известно, — это то, что в геометрии идет речь о понятиях «точка» и «прямая линия», которые связаны следующим образом: две различные «точки» определяют единственную «прямую».
Чтобы спор об истинности аксиом имел смысл, сначала нужно установить их соответствие с реальностью: если всякий раз, когда Евклид упоминает «точку» и «прямую линию», мы будем трактовать эти понятия привычным нам способом, то аксиома «через две точки можно провести прямую» будет корректной, и мы сможем подтвердить ее истинность экспериментально. Однако ничто не указывает, что в геометрии эти понятия нужно понимать точно так же, как и в обычной жизни, — напротив, геометрия есть не более чем множество абстрактных идей и отношений между ними.
Одна из последних фотографий Альберта Эйнштейна, --">
Книги схожие с «Том. 22. Сон разума. Математическая логика и ее парадоксы» по жанру, серии, автору или названию:
Стефен К. Клини - Математическая логика Жанр: Математика Год издания: 1973 |
Хавьер Арбонес, Пабло Милруд - Том 12. Числа-основа гармонии. Музыка и математика Жанр: Математика Год издания: 2014 Серия: Мир математики |
Хоакин Наварро - Том 37. Женщины-математики. От Гипатии до Эмми Нётер Жанр: Математика Год издания: 2014 Серия: Мир математики |
Хорди Деулофеу - Дилемма заключенного и доминантные стратегии. Теория игр Жанр: Математика Год издания: 2014 Серия: Мир математики |
Другие книги из серии «Мир математики»:
Игнаси Белда - Том 33. Разум, машины и математика. Искусственный интеллект и его задачи Жанр: Математика Год издания: 2014 Серия: Мир математики |
Франсиско Мартин Касальдеррей - Мир математики. Том 16. Обман чувств. Наука о перспективе Жанр: Математика Год издания: 2014 Серия: Мир математики |
Хавьер Арбонес, Пабло Милруд - Том 12. Числа-основа гармонии. Музыка и математика Жанр: Математика Год издания: 2014 Серия: Мир математики |
Фернандо Корбалан - Золотое сечение [Математический язык красоты] (Мир математики. т.1.) Жанр: Математика Год издания: 2014 Серия: Мир математики |