Kniga-Online.club
» » » » Хавьер Фресан - Том. 22. Сон разума. Математическая логика и ее парадоксы

Хавьер Фресан - Том. 22. Сон разума. Математическая логика и ее парадоксы

Читать бесплатно Хавьер Фресан - Том. 22. Сон разума. Математическая логика и ее парадоксы. Жанр: Математика издательство -, год 2004. Так же читаем полные версии (весь текст) онлайн без регистрации и SMS на сайте kniga-online.club или прочесть краткое содержание, предисловие (аннотацию), описание и ознакомиться с отзывами (комментариями) о произведении.
Перейти на страницу:

Счетность множества означает, что между множеством X и множеством натуральных чисел можно установить биекцию. Так, каждому натуральному n можно поставить в соответствие элемент этого множества, который мы обозначим через хn, так, что если n и m различны, то хn и хm также различны. С другой стороны, все элементы можно записать в виде хn для некоторого n. Когда дети идут на экскурсию с классом, учитель иногда присваивает им номера, чтобы никто не потерялся.

Перед тем как сесть в автобус, каждый ученик громко выкрикивает свой номер: пе-е-ервый! второ-о-ой! тре-е-етий! Каждый ученик имеет свой номер, и ни один из номеров не повторяется. Элементы счетных множеств также имеют свои порядковые номера: «пе-е-ервый!» — это x1 «второ-о-ой!» — х2. Счетные множества — это множества, элементы которых можно выстроить в ряд. Мы показали, что множество четных чисел является счетным, так как их можно упорядочить: 0, 2, 4, 6, 8, 10… Это же справедливо и для положительных и отрицательных чисел, так как можно, начав с нуля, называть их поочередно: 0, 1, —1, 2, —2.

Элементы любого ли множества можно выстроить в ряд? Если это так, то все множества будут счетными, и мы придем к тому же, с чего начали, когда использовали примитивный метод подсчета элементов множества. Однако пусть читатель не беспокоится: одним из величайших достижений Георга Кантора стало открытие множеств, которые не являются счетными. Пусть дано множество, образованное бесконечными последовательностями нулей и единиц, то есть объектами вида 0100100010… или 1100101001… Покажем, что если мы будем считать это множество счетным, то придем к противоречию. В самом деле, если бы это множество было счетным, мы могли бы записать все его элементы в виде списка следующим образом:

Напомним, что аn, Ьn и сn принимают только значения 0 и 1. Составим элемент, который будет принадлежать к множеству бесконечных последовательностей нулей и единиц и при этом не будет упомянут в нашем списке. Для этого рассмотрим элементы, расположенные по диагонали и обведенные рамкой. Рассмотрим a0: если этот элемент равен 0, начнем нашу последовательность с 1, и наоборот. Так мы определим первый член нашей последовательности. Перейдем к b1 если этот элемент равен 0, то вторым членом нашей последовательности будет 1. Если же, напротив, этот элемент равен 1, то вторым членом последовательности будет 0. В общем случае для определения n-го члена нашей последовательности мы будем рассматривать соответствующий элемент на диагонали и записывать противоположное ему значение. Таким образом, мы получим последовательность, все члены которой будут иметь значение 0 или 1, следовательно, эта последовательность будет принадлежать к рассматриваемому множеству. Например, если наш список будет начинаться так:

то первыми членами составленной нами последовательности будут 1, 0, 0.

Так как этот метод составления последовательности нулей и единиц заключается в изменении значений элементов, расположенных по диагонали, он называется диагональным методом. Здесь мы хотим показать, что последовательность, полученная диагональным методом, является элементом рассматриваемого множества, однако не фигурирует в гипотетическом списке всех элементов этого множества. И действительно, наша последовательность не может быть первой последовательностью из списка, так как их первые члены отличаются. Она не может быть и второй последовательностью, так как мы изменили ее второй член, она не может быть ни третьей, ни четвертой: каждая последовательность из списка будет отличаться от составленной нами как минимум одним элементом — этот элемент будет располагаться на диагонали. Мы предположили, что множество последовательностей нулей и единиц счетное, то есть все его элементы можно представить в виде списка, и получили противоречие. Это доказывает, что наше множество не является счетным!

Мы посвятили несколько страниц объяснению основных понятий теории множеств не только для того, чтобы даже сформулировать парадокс Рассела. Доказательство того, что множество последовательностей нулей и единиц не является счетным, читатель может счесть не более чем виртуозным упражнением, однако оно позволит нам показать в главе 5, что существуют задачи, с которыми не могут справиться даже компьютеры, и установить пределы «сну разума», о котором говорится в названии этой книги. Мы также надеемся, что смогли продемонстрировать читателю, сколько тайн встречается тем, кто путешествует по миру бесконечных множеств.

* * *

ПРЕПОДАВАНИЕ ТЕОРИИ МНОЖЕСТВ В ШКОЛЕ

В 70-е годы группа последователей французской математической группы Бурбаки, которые, однако, в большинстве своем не были математиками, захотели ввести теорию множеств в курс начальных школ Европы. В этой учебной программе натуральные числа объяснялись как кардинальные числа конечных множеств. 0 определялся как кардинальное число пустого множества, а сложение 2 и 3 объяснялось как объединение множества из 2 элементов с другим множеством из 3 элементов, при этом не важно, что результат будет обозначаться 5, важно, что 2 + 3 = 3 + 2, так как не имеет значения, в каком порядке мы будем объединять элементы множеств. Как рассказывал Пьер Картье, в то время бывший секретарем группы Бурбаки, в результате этой политики в сфере образования дети возвращались из школы домой и плакали: «Мама, я не хочу быть множеством».

Диаграммы Венна — наиболее типичный способ представления множеств.

* * *

Парадокс Рассела

Бертран Рассел познакомился с теорией множеств в 1896 году. Ему было довольно трудно принять ее: автор книги, из которой Рассел узнал о существовании этой теории, входил в число тех, кто считал, что теория Кантора была недостаточно строгой, и уподоблял ее теологии, а Рассел в этот период стремился к максимальной научной строгости. Однако позднее он понял, что многие обвинения в адрес Кантора были необоснованными, и включил идеи этого немецкого математика в последнее издание «Начал математики», вышедшее в мае 1903 года. Знакомясь с новой литературой, чтобы дополнить последнее издание книги, Рассел открыл для себя труд Готлоба Фреге, который предвосхитил многие из его открытий, опередив Рассела на 20 лет.

Понять, что Фреге и Рассел вели речь об одном и том же, было не всегда просто: сложный символический язык Фреге, подобный нотной партитуре современной музыки, не имел ничего общего с простой и понятной нотацией, которую Рассел перенял у Пеано.

Подробно изучив «Исчисление понятий» (Begriffsschrift) — книгу, в которой Фреге впервые изложил результаты своих исследований, — Рассел начал задумываться о множестве всех множеств, которые не принадлежат сами себе. Множество всех котов определенно не является котом, однако множество всего, что только можно себе представить, также можно представить. О таких множествах мы говорим, что они принадлежат сами себе.

Гэтлоб Фреге — создатель математической логики.

Страница «Исчисления понятий» Гэтлоба Фреге.

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

Различие между множеством всех котов, которое не является котом (рис. 1), и множеством всего, что только можно себе представить, которое также можно себе представить (рис. 2).

(Источник: Умберто Эко, Vertige de la liste, Париж, издательство Flammarion, 2009, стр. 396).

Парадокс возникает, когда мы задаемся вопросом, по какую сторону этой воображаемой границы находится само R: любой ответ на этот вопрос приведет к противоречию. Предположим, что множество принадлежит само себе. Тогда обладает свойством, которое мы хотели устранить, следовательно, оно не может принадлежать к множеству всех множеств, которые не принадлежат самим себе. Но что это за множество? Это вновь множество R! Следовательно, если R принадлежит само себе, то не принадлежит само себе. Пока что все в порядке: может случиться, что R не принадлежит само себе и, исходя из этой гипотезы, мы не придем к противоречию. Посмотрим, что произойдет, если мы будем считать, что R не принадлежит само себе. В этом случае R будет обладать свойством, которое определяет множество всех множеств, не принадлежащих самим себе, следовательно, R будет принадлежать этому множеству. Иными словами, если R не принадлежит само себе, то R принадлежит само себе. Оба этих вывода нарушают основной принцип, восходящий к трудам философа Парменида, который в своей дидактической поэме «О природе» показал, что нет промежуточных путей между бытием и небытием.

Перейти на страницу:

Хавьер Фресан читать все книги автора по порядку

Хавьер Фресан - все книги автора в одном месте читать по порядку полные версии на сайте онлайн библиотеки kniga-online.club.


Том. 22. Сон разума. Математическая логика и ее парадоксы отзывы

Отзывы читателей о книге Том. 22. Сон разума. Математическая логика и ее парадоксы, автор: Хавьер Фресан. Читайте комментарии и мнения людей о произведении.


Уважаемые читатели и просто посетители нашей библиотеки! Просим Вас придерживаться определенных правил при комментировании литературных произведений.

  • 1. Просьба отказаться от дискриминационных высказываний. Мы защищаем право наших читателей свободно выражать свою точку зрения. Вместе с тем мы не терпим агрессии. На сайте запрещено оставлять комментарий, который содержит унизительные высказывания или призывы к насилию по отношению к отдельным лицам или группам людей на основании их расы, этнического происхождения, вероисповедания, недееспособности, пола, возраста, статуса ветерана, касты или сексуальной ориентации.
  • 2. Просьба отказаться от оскорблений, угроз и запугиваний.
  • 3. Просьба отказаться от нецензурной лексики.
  • 4. Просьба вести себя максимально корректно как по отношению к авторам, так и по отношению к другим читателям и их комментариям.

Надеемся на Ваше понимание и благоразумие. С уважением, администратор kniga-online.


Прокомментировать
Подтвердите что вы не робот:*
Подтвердите что вы не робот:*