Чтение онлайн

на главную

Жанры

Вначале была аксиома. Гильберт. Основания математики
Шрифт:

Все это наводит нас на мысль о гибкости математической бесконечности и об осторожности, с которой нужно высказываться о ней.

Чтобы избежать парадоксов, Рассел и Уайтхед сформировали теорию типов, в которой для того, чтобы X Y было правильно составленной формулой, требуется, чтобы тип значения Y был непосредственно выше типа значений X. Таким образом, пропозиция «класс всех стульев не является стулом» — не истинная и не ложная, а попросту лишена смысла, поскольку стульями могут быть только объекты, а не классы объектов. Другими словами, ошибочно распространять свойство одного типа на другой. При применении этой хитроумной теории авторы могли утверждать, что формулировки, ведущие к парадоксу Рассела, перестают иметь смысл: R R теперь являлось неправильно составленной формулой, поскольку в ней было задействовано не больше одного типа.

Математика [...] обладает не только

истиной, но и высшей красотой, холодной и суровой, подобной скульптуре.

Бертран Рассел

В Principia после устранения парадоксов Уайтхед и Рассел перешли к выведению математики из логики, поскольку в их понимании граница здесь невозможна. С технической точки зрения проект логификации математических теорем натолкнулся на многочисленные трудности. Ученым потребовалось более 379 страниц (!), чтобы доказать, что 1 + 1 = 2. Настоящее безумие. Кроме того, они были вынуждены расширить логику до крайне обобщенной теории отношений, в которую включили такие малоудовлетворительные аксиомы, созданные для данного случая, как редуктивность и бесконечность. Неуклюжая аксиома редуктивности работала как нечто вроде deus ex machina, — авторы прагматично обосновывали ее тем, чтобы работать с антиномиями и логифицировать математику: когда формула оказывается слишком сложной, предполагалось, что ее всегда можно упростить до другой, более низкого уровня.

Аксиома бесконечности была нужна для определения натуральных чисел в комплексе. Следуя за Фреге, они определили 2 как класс всех пар, 3 — как класс всех троек... Но они были вынуждены ввести аксиому (в ней утверждалось, что для любого числа существует другое, больше него), обоснование которой не могло строиться ни на одном из классов логической или математической догадки (что было бы нарушением принципа «логика или математика, основывающаяся на самой себе»), а лишь на характерной структуре мира, которому приписывалось то, что он должен включать в себя бесконечное число объектов. Если бы в мире существовало не бесконечное число вещей, а только максимальное число вещей n, Рассел и Уайтхед не смогли бы определить число n + 1, поскольку класс всех скоплений (n + 1) был бы пустым, так как не было бы n + 1 объектов в мире. Герман Вейль, ученик Гильберта, решительно отверг это: «Принципы...» испытывали веру, как Отцы Церкви.

Баланс заключался в том, что в лучшем случае Расселу и Уайтхеду удалось свести математику к виду мегалогики, раю для логиков. Логистический тезис является либо ложным (если логика не включает в себя теорию классов — то, что называется теорией множеств), либо тривиальным (если включает ее). На сегодняшний день некоторые логики пытаются возродить этот тезис, чтобы перевести математику в подходящую логику второго порядка (поскольку логики первого порядка оказалось недостаточно). Но, как говорили многие математики, логика второго порядка — это всего лишь замаскированная математика множеств. Так как в логике второго порядка допустимо говорить не только об объектах, но и о свойствах, можно определить множество понятий, типичных для теории множеств. Количественно оценивать свойства — в конечном итоге все равно что количественно оценивать множества, множество объектов, выполняющих свойство. Следовательно, речь идет о логике, лежащей в основе собственно теории множеств. Ее наибольшая выразительная сила, позволяющая охарактеризовать бесконечность или формализовать принцип индукции в одной-единственной аксиоме (вместо схемы аксиом, заключающей в себе бесконечности), — это обоюдоострое оружие. Мы находимся там же, где и были: если логика включает в себя теорию множеств, то логистический тезис истинный, но тривиальный; если логика его не включает, он радикально ложный.

РОЖДЕНИЕ ТЕОРИИ МНОЖЕСТВ

Логики шли на невероятные хитрости, чтобы решить проблему парадоксов. Но какое решение давали математики? Если логики хотели логифицироватъ математику, то математики хотели омножествитъ ее. Омножествление математики началось издалека. Абстрактная теория множеств была создана Кантором, но связанный с множеством подход в математике предшествовал ей. Он присутствовал у Римана и в основном у Дедекинда. Риман предложил понятие многообразия в значении, граничащем со значением множества, в качестве основания всей чистой математики. И Дедекинд выдвинул подход множеств к алгебре, введя такие понятия, как группа, тело и идеал (только понятие кольца не поддалось ему и было введено позже Гильбертом).

Героическая эпоха теории множеств начинается в 1872 году. Тогда, опубликовав свои построения действительных чисел, Дедекинд и Кантор приступили к бурному личному взаимодействию. В 1874 году Кантор доказал, что существует два типа бесконечности: счетная (как множество натуральных чисел) и несчетная (как действительные числа, то есть как континуум). Он заявил, что множество алгебраических чисел счетное, и доказал это на основе метода, который Дедекинд передал ему в письме, хотя и не признал здесь заслуги последнего (этот конфликт, скорее всего, и стал причиной их разрыва). В 1879 году Кантор представил понятие кардинального числа множества, которое обобщает понятие числа элементов множества в области бесконечных множеств. Проверка того, обладают ли два конечных множества одним и тем же числом элементов, состоит в одновременном удалении по одному элементу из каждого из них столько раз, сколько возможно. Если оба множества заканчиваются одновременно, мы точно знаем, что у них одно и то же число элементов, или кардинальное число. Так как эта идея не предполагает счета, она распространяется на бесконечные множества: о множествах A и В говорят, что они имеют одно и то же кардинальное число, и это записывается как |A| = |B| если между ними можно установить биекцию, то есть соответствие один к одному.

ДИАГОНАЛЬНЫЙ АРГУМЕНТ КАНТОРА

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

Одно из них — это континуум. И если целые и рациональные числа счетные, то действительные числа такими не являются. Нельзя связать их попарно с натуральными числами, их нельзя пронумеровать, поставить в список одно за другим. Возьмем числовую прямую и рассмотрим отрезок от 0 до 1. Выразим все входящие в этот отрезок числа в двоичном коде, то есть с помощью последовательностей 0 и 1. Например: 101001000... (опустив 0 и запятую, отделяющую десятичную дробь, которые должны предшествовать выражению). Докажем, что предположение о том, что это счетное множество, приводит к противоречию. Действительно, если бы это было так, мы могли бы записать все его элементы в списке, подобном следующему:

1.° -> 0100...

2.° -> 0110...

3.° -> 1101...

... ...

Теперь обратим внимание на элементы главной диагонали, они подчеркнуты. Построим элемент, который несмотря на то, что является последовательностью 0 и 1, не входит в список. Для этого образуем последовательность, состоящую из следующих чисел: так как первый выделенный член был 0, запишем 1; так как второй был 1, запишем 0; так как третий был 0, запишем 1; и так далее. Итоговый элемент начинается с 101... и не совпадает ни с одним из элементов в списке. Это не может быть первая последовательность, поскольку первый член отличается, не вторая, потому что мы изменили второй член, и не третья, и так далее. Это противоречит предположению, что речь идет о счетном множестве, которое, следовательно, может быть выражено в виде списка. Использованный метод доказательства получил название диагонализации и повлиял на последующие значимые доказательства в истории оснований математики.

Георг Кантор.

Между тем Дедекинд дал более удачное определение бесконечному множеству, чем Кантор. По прошествии времени оба определения, избавленные от ошибок, оказались равносильными (в соответствии с аксиомой выбора, о которой речь пойдет позже). Для Кантора множество бесконечно, если оно не конечно, то есть если нельзя провести биекцию с каким- нибудь натуральным числом. Для Дедекинда, наоборот, под влиянием предположений Галилея и Больцано, множество бесконечно только тогда, когда можно провести биекцию с его собственной частью. Например, натуральные числа бесконечны, потому что можно провести биекцию с четными числами, при этом 0 соответствует 0; 1 - 2; 2 - 4; и в целом каждому числу n — вдвое большее число 2n.

Его теория представляется мне наиболее заслуживающим удивления цветком математического духа и вообще одним из высших достижений чисто умственной деятельности человека. [...] Никто не изгонит нас из рая, который создал нам Кантор.

Давид Гильберт о Георге Канторе, «О бесконечном» (1925)

К концу 1882 года Кантор разработал свою арифметику кардинальных и порядковых (трансфинитных) чисел, а также выдвинул континуум-гипотезу. Натуральные числа образуют бесконечное множество наименьшего размера, который мы можем вообразить. Следовательно, его кардинальное число, то есть первое бесконечное кардинальное число, обозначается буквой алеф еврейского алфавита с нижним индексом 0: 0. Это кардинальное число соответствует всем счетным множествам, и это первая веха на пути к бесконечности. Кардинальное число континуума, действительных чисел, равно (по ряду сложных причин) 20. При таких условиях континуум-гипотеза устанавливает, что нет никакой другой бесконечности между натуральными и действительными числами, или, говоря другими словами, что 20 =1 Последовательность кардинальных чисел 0, 1, 2,... работает как своего рода модель для измерения размера вселенной множеств, где существует бесконечное число бесконечностей. Безрезультатные попытки доказать континуум-гипотезу и постоянные нападки Кронекера на теорию трансфинитных множеств спровоцировали у Кантора депрессию, которая отдалила его от математики и подтолкнула в сторону теологии (он также увлекался идеей, что Бэкон был истинным автором произведений Шекспира).

Поделиться:
Популярные книги

Эйгор. В потёмках

Кронос Александр
1. Эйгор
Фантастика:
боевая фантастика
7.00
рейтинг книги
Эйгор. В потёмках

Темный Патриарх Светлого Рода 5

Лисицин Евгений
5. Темный Патриарх Светлого Рода
Фантастика:
юмористическое фэнтези
аниме
5.00
рейтинг книги
Темный Патриарх Светлого Рода 5

Всплеск в тишине

Распопов Дмитрий Викторович
5. Венецианский купец
Фантастика:
попаданцы
альтернативная история
5.33
рейтинг книги
Всплеск в тишине

Дикая фиалка Юга

Шах Ольга
Фантастика:
фэнтези
5.00
рейтинг книги
Дикая фиалка Юга

Неудержимый. Книга IV

Боярский Андрей
4. Неудержимый
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Неудержимый. Книга IV

Великий перелом

Ланцов Михаил Алексеевич
2. Фрунзе
Фантастика:
попаданцы
альтернативная история
5.00
рейтинг книги
Великий перелом

Барон меняет правила

Ренгач Евгений
2. Закон сильного
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Барон меняет правила

Титан империи 2

Артемов Александр Александрович
2. Титан Империи
Фантастика:
фэнтези
боевая фантастика
аниме
5.00
рейтинг книги
Титан империи 2

Я – Орк. Том 2

Лисицин Евгений
2. Я — Орк
Фантастика:
юмористическое фэнтези
попаданцы
аниме
5.00
рейтинг книги
Я – Орк. Том 2

Сирота

Ланцов Михаил Алексеевич
1. Помещик
Фантастика:
альтернативная история
5.71
рейтинг книги
Сирота

Системный Нуб 2

Тактарин Ринат
2. Ловец душ
Фантастика:
боевая фантастика
попаданцы
рпг
5.00
рейтинг книги
Системный Нуб 2

Свадьба по приказу, или Моя непокорная княжна

Чернованова Валерия Михайловна
Любовные романы:
любовно-фантастические романы
5.57
рейтинг книги
Свадьба по приказу, или Моя непокорная княжна

Лорд Системы 12

Токсик Саша
12. Лорд Системы
Фантастика:
фэнтези
попаданцы
рпг
5.00
рейтинг книги
Лорд Системы 12

Воин

Бубела Олег Николаевич
2. Совсем не герой
Фантастика:
фэнтези
попаданцы
9.25
рейтинг книги
Воин