Девид Дойч - Структура реальности

Тем временем математики продолжали строить свои абстрактные небесные замки. Для практических целей многие такие строения казались достаточно надежными. Некоторые из них стали необходимы для науки и техники, а большинство образовало красивую и плодотворную структуру. Тем не менее, никто не мог гарантировать, что вся эта структура, или какая-то существенная ее часть, не имела в своей основе логического противоречия, которое буквально лишило бы ее всякого смысла. В 1902 году Бертран Рассел доказал несостоятельность схемы строгого определения теории множеств, которую только что предложил немецкий логик Готлоб Фреге. Это не значило, что эта схема непременно была необоснованной для использования множеств в доказательствах. На самом деле совсем немногие математики всерьез считали, что хоть какой-то из обычных способов использования множеств, арифметики или других ключевых разделов математики может быть необоснованным. В результатах Рассела поражало то, что математики верили, что их предмет является par excellence средством получения абсолютной определенности через доказательство математических теорем. Сама возможность разногласий относительно обоснованности различных методов доказательства подрывала всю суть (как считалось) предмета.

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

В этой связи голландский математик Лейтзен Эгберт Ян Брауэр пропагандировал чрезвычайно консервативную стратегию теории доказательства, известную как интуиционизм, которая и по сей день имеет своих сторонников. Интуиционисты пытаются толковать «интуицию» самым ограниченным постижимым образом, оставляя лишь то, что они считают ее неоспоримыми самоочевидными аспектами. Затем они поднимают таким образом определенную математическую интуицию на уровень даже более высокий, чем позволял себе Платон: они считают ее более веской, чем даже чистая логика. Таким образом, они считают саму логику ненадежной, за исключением тех случаев, когда ее доказывает прямая математическая интуиция. Например, интуиционисты отрицают, что можно иметь прямую интуицию какой-либо бесконечной категории. Следовательно, они отрицают существование любых бесконечных множеств, например, множества всех натуральных чисел. Высказывание о том, что «существует бесконечно много натуральных чисел», они сочли бы самоочевидно ложным. А высказывание о том, что «существует больше сред Кантгоуту, чем физически возможных сред», – абсолютно бессмысленным.

Исторически интуиционизм, равно как и индуктивизм, сыграл ценную освободительную роль. Он осмелился подвергнуть сомнению полученные определенности – некоторые из которых действительно оказались ложными. Но как позитивная теория о том, что является или не является обоснованным математическим доказательством, он и гроша ломаного не стоит. В действительности интуиционизм – это точное выражение солипсизма в математике. В обоих случаях наблюдается Чрезмерная реакция на мысль о том, что мы не можем быть увере ны в том, что нам известно о более отдаленном мире. В обоих случаях предложенное решение состоит в том, чтобы уйти во внутренний мир, который мы, предположительно, можем познать напрямую, и следовательно (?), можем быть уверены, что познали истину. В обоих случаях решение заключается в отрицании существования – или, по крайней Мере, в отказе от объяснения – того, что находится вовне. И в обоих случаях этот отказ также делает невозможным объяснение большей Части того, что находится внутри предпочитаемой области. Например, если действительно ложно то (как утверждают интуиционисты), что существует бесконечно много натуральных чисел, то можно сделать вывод, что может существовать только конечное множество таких чисел. А сколько их может быть? И потом, сколько бы их не было, почему нельзя создать интуицию следующего натурального числа, превышающего последнее? Интуиционисты оправдались бы в этом случае, сказав, что приведенный мной аргумент допускает обоснованность обычной логики. В частности, он содержит процесс вывода: из факта, что не существует бесконечно много натуральных чисел, делается вывод, что должно существовать какое-то конкретное количество натуральных чисел. Применяемое в данном случае правило вывода называется законом исключенного третьего. Этот закон гласит, что для любого высказывания Х (например, «существует бесконечно много натуральных чисел»), не существует третьей возможности кроме истинности Х и истинности отрицания Х («существует конечное множество натуральных чисел»). Интуиционисты хладнокровно отрицают закон исключенного третьего.