УРОЖАИ И ПОСЕВЫ   ::   Гротендик Александр

Впрочем, и в наши дни встречаются сомнительные доказательства. Например, доказательство Грауэрта теоремы конечности, получившей его имя. Несколько лет кряду его никто не мог прочесть, при том, что добровольцев хватало. Путаница разрешилась благодаря другим, более прозрачным доказательствам, которые появились позднее; некоторые из них в определенном смысле пошли дальше исходного. Похожая, но уже совсем из ряда вон выходящая история произошла с «решением» так называемой проблемы четырех красок. Его «вычислили» при помощи компьютера (и нескольких миллионов долларов). В то время как настоящее доказательство в математике всегда идет от внутреннего убеждения человека, от ясного понимания той или иной ситуации, здесь речь идет о расчете, основанном на доверии к машине, лишенной способности мыслить и понимать. Математик, взявшийся за эту

Примечания

работу, не понимает ее устройства; может ли он поручиться за результат? Даже если расчет будет подтвержден при проверке на других компьютерах, другими программами, я все равно не соглашусь признать проблему четырех красок закрытой. Это означало бы только, что можно оставить поиски контрпримера. Вопрос о настоящем доказательстве (разумеется, о таком, чтобы его можно было прочесть!) даже при этих условиях остается открытым.

(5). Это тем более примечательно, что вплоть до 1957 г. некоторые из членов группы Бурбаки относились ко мне не без некоторой настороженности.