Основания математики

Вновь вернуться к математике Гильберта заставил глубокий кризис, возникший в ее основаниях. Излюбленный Гильбертом аксиоматический подход начал давать сбои. Первыми предвестниками такого кризиса были парадоксы, открытые в теории множеств. Эти парадоксы были настолько глубокими и затрагивавшими самую суть теории, что среди математиков нашлись те, которые предлагали вообще отказаться от прежнего образа математического мышления. Среди таковых был молодой голландец Брауер. В трех статьях, вместе не занимавших 17 страниц, Брауер высказал сомнение в том, что законы классической логики имеют абсолютную истинность, не зависящую от того, к чему они применяются, и предложил решительную программу, призванную покончить с “кризисом оснований”. Для Брауера ни язык, ни логика не были неотъемлемо связаны с математикой, в основании которой, по его мнению, лежала интуиция, делавшая ее выводы и понятия непосредственно ясными. Брауер, например, отказался принимать логический принцип исключения третьего, т. е. что для любого утверждения A существует только две возможности — либо A, либо не A. В частности, Брауер не принимал принцип исключения третьего для бесконечных множеств, поскольку не существует никакой реальной процедуры, чтобы проверить утверждение за конечное число шагов. Подход Брауера к принципам математики получил название интуиционизм. Для Гильберта программа интуиционизма представляла абсолютно определенную и реальную угрозу математике. Многие из теорем классической математики можно было установить и интуиционистскими методами, более сложным и длинным путем, чем обычно. От многого же пришлось бы отказаться

Гильберт не желал принимать такое “увечье” математики. Ему казалось, что он видел путь, на котором смог бы восстановить элементарную математическую объективность, к которой стремился Брауер, не теряя при этом большую часть самой математики. Это была “теория доказательства”. Гильберт предложил превратить математику в формализованную систему, объекты которой — математические теоремы и их доказательства — выражаются на языке символической логики в виде предложений, имеющих только символическую, а не смысловую структуру. Эти объекты должны быть выбраны так, чтобы адекватно представлять данную математическую теорию, т. е. охватывать совокупность всех ее теорем. Непротиворечивость этой формальной системы (т. е. математики)