Доказательство каждого утверждения означает, среди прочего, еще и то, что интуицию, хоть она и ценный поводырь, следует проверять на пороге доказательства. Фраза «это интуитивно понятно» – неподходящий шаг для доказательства. Слишком уж мы падки на всякую очевидность. Представим, что мы разматываем клубок шерсти вдоль экватора Земли, все 25 000 миль. А теперь представим то же самое, но в футе над экватором. Насколько больше ниток нам потребуется для этого? На 500 футов больше? Или на 5000? Упростим задачу. Представим теперь, что раскатываем один клубок вдоль поверхности Солнца, а второй – в футе над его поверхностью. К какому клубку нужно добавить больше ниток – к тому, что мы разматываем в футе от Земли или в футе от Солнца? Большинству из нас интуиция подсказывает «вокруг Солнца», однако ответ на самом деле таков: одинаковое количество, равное 2 футам, т. е. примерно 6 футов 3 дюйма.
Давным-давно была такая телевизионная программа «Поспорим» [51] . Участника помещали напротив трех подиумов, скрытых занавесами. На одном подиуме находился какой-нибудь ценный объект – автомашина, к примеру, а на двух других – какая-нибудь ерунда, утешительный приз. Допустим, участник выбирал второй подиум. Ведущий затем открывал один из двух оставшихся занавесов, скажем – третий. За ним, положим, находится утешительный приз, следовательно, настоящий приз – либо за первым занавесом, либо за вторым, который участник выбрал изначально. Ведущий далее спрашивает участника, станет ли он менять свой выбор – т. е. выберет ли теперь первый занавес. Вы бы изменили решение? Интуитивно кажется, что вероятность выигрыша – пятьдесят на пятьдесят, хоть так, хоть эдак. Оно было бы так, если бы у нас не было никаких предварительных вводных, но они у нас есть: предыдущий выбор и действия ведущего в этой связи. Внимательный анализ вероятностей, начиная с исходного выбора и далее, или применение нужной формулы, называемой теоремой Байеса [Бейза] [52] , показали бы, что шансов больше, если выбор изменить. Таких примеров в математике – когда интуиция подводит нас, а выручает лишь произвольная формальная логика, – навалом.
Точность – еще одно свойство, необходимое математическому доказательству. Наблюдатель может измерить диагональ квадрата с единичной стороной и получить результат 1,4, а с более точными приборами – 1,41 или даже 1,414, и как бы нам ни хотелось принять подобное приближение как достаточное, оно не даст нам получить эпохальное прозрение: это значение длины – величина иррациональная.
Крошечные количественные изменения могут иметь громадные качественные последствия. Вспомним государственные лотереи. Не теряющие надежду неудачники частенько пожимают плечами и говорят: «Не сыграешь – не выиграешь». Это правда, не поспоришь. Но правда и то, что шансы на выигрыш у тех, кто покупает лотерейный билет, и у тех, кто нет, отличаются на малюсенькую долю процента. Что произойдет, если лотерейная комиссия за явит, что решила округлить ваши шансы на выигрыш с 0,000001 % до нуля? Изменение почти неприметное, но поток наличности от продаж оно изменит еще как.