Десять великих идей науки. Как устроен наш мир.

Основополагающий вклад в решение этой проблемы внес Фридрих Людвиг Готтлоб Фреге (1848-1925). Этот вклад казался отправным пунктом для того, чтобы математика могла занять подобающее ей высшее место в иерархии человеческой мысли, а на деле оказался причиной ее падения. Фреге считают основателем математической логики, так как ему удалось создать превосходную логическую схему, которая должна была утвердить математику в качестве краткого конспекта сушеной человеческой мысли. Для достижения этого ему было необходимо понятие числа, и, чтобы создать его, он построил в своем труде Grundlagen der Arithmetik (Основания арифметики, 1884) концепцию множества. Множество — это просто собрание различных объектов, например, {Том, Дик, Гарри}. Множества были введены в математику Кантором, а в течение последующих десятилетий теорию множеств усовершенствовали Эрнст Цермело (1871-1953) и Адольф Френкель (1891-1965), которые сформулировали точные утверждения о свойствах множеств, о том, как их строить (то, чего Кантору объяснить не удалось) и как с ними обращаться. Поэтому современная общепринятая теория множеств известна как теория Цермело-Френкеля.

Фреге предложил считать числа названиями множеств определенного вида. Чтобы сделать свое определение точным, он ввел понятие расширения свойства, как множества, состоящего из всех объектов, этим свойством обладающих. О названии «расширение» лучше всего думать как о слове, произошедшем от словосочетания «расширенный набор». Так, расширением свойства «иметь такой же размер, как множество {Том, Дик, Гарри}» является множество, состоящее из всех множеств, которые имеют тот же размер. Понятие «иметь такой же размер» в теории множеств вполне определенно: оно означает, что элементы множеств одного размера могут быть поставлены во взаимно однозначное соответствие. Например, множество {Том, Дик, Гарри} имеет такой же размер как {камень, ножницы, бумага}, поскольку Тома можно привести в соответствие с камнем, Дика с ножницами, а Гарри с бумагой (рис. 10.7). Может показаться, что теория множеств чересчур уж тщательно заботится об определениях: но эта забота совершенно необходима, когда речь идет об основаниях математики. Расширением свойства «иметь такой же размер, как множество {Том, Дик, Гарри}» будет, таким образом, множество, состоящее из множеств {Том, Дик, Гарри}, {камень, ножницы, бумага} и так далее. А теперь мы с грохотом плюхаемся на землю: мы называем это расширение, это множество, числом 3.

Рис. 10.7. Множество объектов имеет тот же самый размер, что и другое множество, если элементы этих множеств могут быть поставлены во взаимно однозначное соответствие. Эти два множества имеют один и тот же размер: если убрать самолетик, они будут иметь разные размеры.

Продолжая, Фреге определил натуральные числа как следующие расширения:

0 есть название расширения свойства «иметь такой же размер, как множество, состоящее из элементов, которые не тождественны самим себе»

(конечно, того, что не тождественно самому себе, не существует).

1 есть название расширения свойства «иметь такой же размер, как множество 0».

2 есть название расширения свойства «иметь такой же размер, как множество, состоящее из множеств 0 и 1»,

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

Логикой это могло быть, но удовлетворительным не могло. В 1902 г. незадолго до того, как Фреге был готов отправить издателю второй том своего огромного труда Grundgesetze der Arithmetik (Фундаментальные законы арифметики), в котором он возводил все здание математики, опираясь на это определение числа, он получил от Бертрана Рассела знаменитое письмо, указывающее на существование одного несоответствия. Собственные слова Фреге живо передают охвативший его ужас, когда он распечатал письмо Рассела: