Укрощение бесконечности. История математики от первых чисел до теории хаоса

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

Гёдель

Но нашелся всё же логик, которого так и не убедили доводы Гильберта в пользу того, что математика логически последовательна. Его звали Курт Гёдель, и его беспокойство по поводу программы Гильберта навсегда изменило наше отношение к математической истине.

До Гёделя математика просто считалась верной – и это был высший пример истины, потому что истина утверждения 2 + 2 = 4 была чем-то из сферы чистой мысли, независимой от физического мира. Математические истины не могут быть опровергнуты дальнейшими экспериментами. В этом смысле они превосходят физические истины вроде ньютоновского закона о силе гравитационного притяжения, обратно пропорциональной квадрату расстояния, опровергнутого наблюдениями за движением в перигелии Меркурия, которые подтверждают новую теорию гравитации, предложенную Эйнштейном.

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

Гёдель доказал, что если математика логически последовательна, то доказать это невозможно. И не потому, что он сам не смог найти доказательство, а потому, что доказательства не существует

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

.

Он доказал эти утверждения изначально в рамках признанных логических математических формулировок, принятых Расселом и Уайтхедом в их «Принципах математики». Поначалу Гильберт надеялся, что есть выход: надо просто найти более прочный фундамент. Но когда логики ознакомились с работой Гёделя, то очень быстро поняли, что те же идеи сработают для любой логической формулировки в математике, достаточно строгой, чтобы ясно выразить основные понятия арифметики.

КУРТ ГЁДЕЛЬ 1906–1978