Gustavo Pineiro - У интуиции есть своя логика. Гёдель. Теоремы о неполноте.

Кантор заметил, что у множества целых чисел то же самое кардинальное число, что и у N. Другими словами, существует столько же натуральных чисел, сколько и целых.

В соответствии между N и Z число 1 множества N образует пару с числом 0 множества Z; остальные нечетные числа множества N устанавливают пары с отрицательными числами множества Z; а четные числа множества N устанавливают пары с положительными числами множества Z. Заметим, что, как это и должно быть, каждому члену множества N соответствует один член множества Z, при этом нет ни одного отсутствующего или лишнего члена.

Натуральные числа — только часть целых; однако оба множества имеют, как это определил Кантор, "одно и то же количество элементов" (на математическом языке — у обоих множеств одно и то же кардинальное число). Как мы уже сказали в главе 1, аристотелевский принцип — "целое больше любой из его частей" — неприменим к бесконечным множествам.

Чтобы пойти еще дальше, необходимо кратко остановиться на очень распространенном способе представления чисел на числовой прямой.

Фрагмент числовой прямой с обозначенными на ней некоторыми целыми числами.

Числовая прямая — это прямая линия, которая превращается в числовую, когда мы назначаем числа ее точкам. Самый простой способ обозначить целые числа — назначить одной точке число 0, другой — 1. Когда они назначены, натуральные числа располагаются после 1, при этом сохраняется расстояние между соседними числами. Отрицательные числа расположены симметрично положительным относительно числа 0. Очевидно, что как только будут назначены все целые числа, будет еще много точек, не имеющих чисел. Например, 1/2 = 0,5 находится ровно посередине между 0 и 1; 4/3 = 1,333... — на трети пути между 1 и 2; √2 = 1,4142... — между 1 и 1,5 (намного ближе к 1,5, чем к 1); π = 3,1415... — немного дальше 3.

Множеством действительных чисел (которое обычно обозначается буквой R) называют множество, образованное числами, заполняющими всю числовую прямую. Каждой точке числовой прямой соответствует действительное число, и наоборот. Среди действительных чисел, конечно же, есть и целые, и упомянутые выше √2 или π, а также другие бесконечные числа, такие как 12,22222 или —2,01001000100001...

У множеств N и Ζ, как мы видели, одно и то же кардинальное число, но... происходит ли то же самое с N и R? Кантор открыл, что это не так: N и М имеют разные кардинальные числа, и между ними невозможно установить биективное соответствие. Доказательство этого факта состоит в том, что любая попытка установить биективное соответствие между натуральными и действительными числами провалится и по крайней мере одно действительное число неизбежно останется без соответствия. Если бы натуральные числа обозначали стулья, а действительные — детей, то всегда будет один ребенок, оставшийся без стула.

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

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

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

Число, которое мы ищем (оно осталось без пары), начинается с 0, а знаки после запятой определены числами, появляющимися по диагонали.