Математический платонизм¶

Математический платонизм — это философская позиция в онтологии математики, согласно которой математические объекты (числа, множества, геометрические фигуры, функции и т. д.) существуют реально, независимо от сознания человека, языка или физического мира. Согласно этой точке зрения, математические истины являются открытиями, а не изобретениями человеческого разума: математик не создаёт теоремы, а обнаруживает их в объективно существующей, нефизической и вневременной реальности.

¶Основные положения

Математический платонизм опирается на несколько ключевых идей:

Реализм в отношении математических объектов: Числа, множества и прочие абстрактные сущности существуют так же реально, как и физические объекты, но в ином — нематериальном, умопостигаемом — мире.
Независимость от сознания: Математические объекты существуют вне зависимости от того, знает ли о них кто-либо. Теорема Пифагора была истинна до её открытия древнегреческими математиками.
Вневременность и неизменность: Математические сущности не возникают и не исчезают, не эволюционируют и не подвержены влиянию времени.
Априорность знания: Знание о математических объектах может быть получено чисто умозрительно, без обращения к чувственному опыту, через интуицию или логическое рассуждение.

¶История

¶Античность: Платон и пифагорейцы

Истоки математического платонизма восходят к философии Платона (ок. 427–347 гг. до н. э.). В своём учении о «мире идей» Платон утверждал, что за видимым миром вещей существует вечный и неизменный мир совершенных сущностей — идей (эйдосов). Математические объекты (например, идеальный круг или число «два») занимали в этой иерархии промежуточное положение между высшей идеей Блага и материальными вещами. Для Платона геометр, чертящий фигуру на песке, лишь напоминает себе о совершенной идее треугольника, которая существует сама по себе.

На Платона, в свою очередь, оказали влияние пифагорейцы (VI–V вв. до н. э.), которые считали число первоосновой всего сущего и полагали, что «всё есть число». Однако пифагорейцы не проводили столь жёсткого разграничения между идеальным и материальным, как Платон.

¶Средневековье и Новое время

В Средние века платоническая традиция была переосмыслена в рамках христианской теологии. Августин Блаженный (354–430 гг.) видел в математических истинах отражение вечных идей в божественном разуме. В эпоху Возрождения интерес к платонизму возродился, в частности, в трудах Галилео Галилея (1564–1642), который утверждал, что «Книга Природы написана на языке математики».

В Новое время платонические мотивы прослеживаются у Рене Декарта (1596–1650), считавшего математические идеи врождёнными, и у Готфрида Лейбница (1646–1716), который представлял мир как состоящий из монад, подчиняющихся математической гармонии.

¶XX век: Курт Гёдель и современность

Наиболее ярким защитником математического платонизма в XX веке стал австрийско-американский логик Курт Гёдель (1906–1978). Он утверждал, что математические объекты существуют объективно, а математическая интуиция является особым видом восприятия, аналогичным чувственному, но направленным на мир абстракций. Гёдель считал, что его знаменитая теорема о неполноте (1931) косвенно подтверждает платонизм, поскольку показывает, что человеческий разум способен постигать истины, недоказуемые в рамках формальной системы.

В современной философии математики платонизм отстаивают такие мыслители, как Пенроуз Роджер (род. 1931), который в книге «Новый ум короля» (1989) связывает математический платонизм с проблемой искусственного интеллекта, и Марк Балагуэр (род. 1963), разрабатывающий теорию «платонического натурализма».

¶Аргументы в пользу математического платонизма

Аргумент от эффективности математики: Удивительная применимость математики для описания физической реальности (так называемая «непостижимая эффективность математики», термин физика Юджина Вигнера) лучше всего объясняется тем, что математика описывает реально существующий, хотя и нематериальный, аспект мира.
Аргумент от консенсуса математиков: Подавляющее большинство работающих математиков ведут себя как платонисты: они говорят об «открытии» теорем, а не об их «изобретении», и верят в объективную истинность своих утверждений.
Аргумент от семантики: Математические утверждения (например, «2 + 2 = 4») имеют ясное истинностное значение. Для того чтобы они были истинными, должны существовать объекты, о которых они говорят (числа 2 и 4), и отношения между ними.

¶Критика и альтернативы

¶Номинализм

Главный противник платонизма — номинализм, отрицающий существование абстрактных объектов. Номиналисты утверждают, что математические объекты — это лишь фикции, полезные инструменты или сокращения для записи. Известные номиналисты: Хартри Филд (род. 1946), который попытался построить математику без платонических сущностей, и Нельсон Гудмен (1906–1998).

¶Интуиционизм

Интуиционизм (основатель — Лёйтзен Брауэр, 1881–1966) утверждает, что математические объекты являются конструкциями человеческого разума. Для интуициониста математическая истина не существует до тех пор, пока не построено доказательство. Эта позиция отрицает закон исключённого третьего и многие классические теоремы.

¶Формализм

Формализм (представленный Давидом Гильбертом, 1862–1943) рассматривает математику как игру с символами по определённым правилам. Формалист не интересуется вопросом о существовании чисел — для него важна лишь непротиворечивость формальной системы.

¶Проблема эпистемологического доступа

Главная трудность для платонизма — объяснить, каким образом конечные физические существа (люди) могут получать знание о нематериальных и внепространственных объектах. Этот аргумент, сформулированный Полом Бенасеррафом (род. 1931) в статье «Математическая истина» (1973), ставит под сомнение возможность каузального взаимодействия с платоническим миром.