Объективное знание

(3) Методологические проблемы математических доказательств. Мы можем упрощенно различать два главных подхода ученых к математике. Одни математики могут интересоваться главным образом теоремами — истинностью или ложностью математических высказываний, другие — главным образом доказательствами: вопросами существования доказательств той или иной теоремы и спецификой таких доказательств. Если преобладающим является первый подход (как это, по-видимому, имеет место, например, для Пойя), тогда он обычно связан с интересом к открытию математических «фактов» и поэтому с платонизированной математической эвристикой. Если же преобладает второй подход, тогда доказательства являются не просто средствами формирования уверенности в теоремах о математических объектах, а самостоятельными математическими объектами. Как мне кажется, так обстояло дело с Брауэром: те построения, которые были доказательствами, не только создавали и утверждали существование математических объектов, они были в то же время сами математическими объектами, возможно даже наиболее важными из таких объектов. Таким образом, утверждать некоторую теорему означало для Брауэра утверждать существование некоторого доказательства для нее, а отрицать ее — означало утверждать существование опровержения, то есть доказательства ее абсурдности. Это непосредственно ведет к отказу Брауэра от закона исключенного третьего, к отрицанию им косвенных доказательств и к тезису, что существование может быть доказано только реальным построением рассматриваемых математических объектов, когда они делаются, так сказать, видимыми.

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

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

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

Эта идея является настолько радикально антиплатоновской, что Брауэр, понятно, не видел возможности ее связи с некоторой формой платонизма, под которой я имею в виду концепцию частичной автономии математики и третьего мира в том виде, как она описана ранее в разделе 3 этой главы.

Другим великим достижением Брауэра в философском плане был его антиформализм — признание им того, что математические объекты должны существовать до того, как мы сможем говорить о них.

Позвольте теперь мне вернуться к критике брауэровского решения трех групп главных проблем философии математики, сформулированных ранее в настоящем разделе.

(1') Эпистемологические проблемы: интуиция в целом и теория времени в частности.

Я не предлагаю заменить каким-либо другим термином название «интуиционизм». Это название, без сомнения, сохранится, но нам важно отказаться от ошибочной философии интуиции как непогрешимого источника знания.

Не существует авторитетных источников знания, и ни один «источник» не является абсолютно надежным[127]. Все приветствуется как источник вдохновения, стимулирования, включая «интуицию», особенно если она предлагает нам новые проблемы. Однако ничто не является несомненным, и все мы подвержены ошибкам.

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