Часть II

Часть II. Метафизика Математической Свободы

Таким образом, до 1963 года математики верили в единственность истины.

Существовала одна правильная математика, один правильный способ описания бесконечности, один правильный ответ на любой корректно поставленный вопрос.

Открытие Коэна поставило под сомнение саму природу математической истины. Если две противоположные аксиомы могут быть одинаково "правильными", то что такое математическая истина?

Существует ли единственная математическая реальность, или мы имеем дело с множественными, равноправными математическими мирами?

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

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

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

Результаты Коэна открывают головокружительную перспективу. В основании самой точной из наук лежит элемент произвольного выбора. Мы можем выбрать жить в математическом мире с аксиомой выбора или без нее — и оба выбора будут одинаково обоснованными.

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

Получается, что математика («Царица наук») не описывают некую готовую реальность, а интерпретируют ее, подобно тому, как музыкант интерпретирует нотную запись. Одна и та же "реальность" может быть интерпретирована по-разному (с аксиомой выбора или без нее), и каждая интерпретация раскрывает различные аспекты этой реальности.

Это приближает математику к герменевтике — искусству интерпретации текстов. Подобно тому, как один литературный текст может иметь множество валидных интерпретаций, математическая система может иметь множество валидных "прочтений".

Принцип неопределенности Гейзенберга в физике, теоремы о неполноте Гёделя в логике, результаты Коэна в математике — не есть ли это проявления одной фундаментальной особенности человеческого познания? Не указывают ли они на то, что реальность не столько "дана" нам для открытия, сколько "со-творяется" нами в процессе познания?

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

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