Основные идеи интуиционизма

Источник математики, считал Брауэр, — фундаментальная математическая интуиция. Не все обычные логические принципы приемлемы для нее. Так, в частности, обстоит дело с законом исключенного третьего, говорящим, что либо само утверждение, либо его отрицание истинно. Этот закон исторически возник в рассуждениях о конечных множествах объектов. Но затем он был необоснованно распространен также на бесконечные множества. Когда множество является конечным, мы можем решить, все ли входящие в него объекты обладают некоторым свойством, проверив один за другим все эти объекты. Но для бесконечных множеств такая проверка невозможна.

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

предъявив это число. Но если бы рассматриваемое множество чисел было бесконечным, заключение о существовании среди них хотя бы одного нечетного числа оказалось бы непроверяемым. Тем самым осталось бы неясным, что означает в этом случае само слово «существование».

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

Таким образом, по убеждению интуиционистов, закон исключенного третьего не является универсальным, одинаково применимым в рассуждениях о любых объектах. Как не без иронии говорит Вейль, он «может быть верным для всемогущего и всезнающего существа, как бы обозревающего единым взглядом бесконечную последовательность натуральных чисел, но не для человеческой логики».

Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил. Только в 1930 г. ученик Брауэра А. Рейтинг опубликовал работу с изложением особой интуиционистской логики. В этой логике не действует закон исключенного третьего, несомненный для классической логики. Отбрасывается также ряд других законов, позволяющих доказывать существование объектов, которые нельзя построить или вычислить. В число отвергаемых попадают, в частности, закон снятия.двойного отрицания («Если неверно, что не-А, то А») и закон приведения к абсурду, дающий право утверждать, что математический объект существует, если предположение о его несуществовании приводит к противоречию.

В дальнейшем идеи, касающиеся ограниченной приложимости закона исключенного третьего и близких ему способов математического доказательства, были развиты российскими математиками А.Н. Колмогоровым, В.А. Гливенко, А.А. Марковым и другими. В результате переосмысления основных предпосылок интуиционистской логики возникла конструктивная логика, также считающая неправомерным перенос ряда логических принципов, применимых в рассуждениях о конечных множествах, на область бесконечных множеств.

Дата добавления: 2014-10-31