Уиллард ван Орман Куайн о теореме Гёделя
Противоположная позиция, которая обычно называется формализмом и в которой собраны некоторые идеи интуиционизма и программы Гильберта, утверждает, что математика — это творение человека, подобное музыке. С этой точки зрения математика — лингвистическая (синтаксическая) игра, в которой есть некоторые отправные точки (аксиомы) и логические правила, позволяющие осуществлять операции на их основе. Работа ученого состоит в том, чтобы открыть, куда нас заведут правила игры (что, по сути, не сильно отличается от работы шахматиста, который ищет оптимальный ход в определенной позиции). Если, согласно платонизму, математические объекты существуют сами по себе, а ученые открывают их свойства, то формализм утверждает обратное: математические объекты и их свойства существуют лишь благодаря ученым. У обеих позиций есть сильные и слабые стороны, и они существуют в математической мысли параллельно друг другу. Современный философ математики Джон Барроу пишет: "Математики — формалисты с понедельника по пятницу и платонисты по выходным".
То есть для повседневной работы, для доказательства теорем и написания статей формалистская позиция является более подходящей, поскольку в конечном счете любая истина основывается на аксиомах, выбор которых не нуждается в дальнейших подтверждениях (в формализме требуется только, чтобы аксиомы были непротиворечивыми, но они не обязаны отражать внешнюю истинность). Однако по выходным, когда математики расслабляются, они чувствуют, что работают с "истинными объектами", существование которых независимо и реально (что бы это ни означало).
Обе позиции четко разделены в отношении вопроса континуум-гипотезы. В предыдущей главе мы увидели, что континуум-гипотеза (СН) неразрешима относительно аксиом теории множеств. Так истинна она или ложна? Для чистого формалиста (хотя сегодня таких почти не существует) ответ не имеет смысла. Аксиомы — это правила игры, выбранные произвольно, не отражающие никакую внешнюю "истинность"; существуют только синтаксические понятия "доказуемого" и "недоказуемого", а не понятия "истинности" или "ложности". Согласно этой точке зрения так же законно добавить в теорию множеств новую аксиому, при которой СН будет доказуема, как и добавить другую аксиому, при которой она будет опровергнута. Две различные теории множеств могут существовать параллельно друг другу так же, как одновременно существуют различные виды шахмат (например, китайские и японские), которые допускают варианты правил игры, и нет необходимости думать, что существуют "истинные" шахматы.
Для платонизма, наоборот, аксиомы теории множеств отражают истину, которая существует объективно и в которой СН либо истинна, либо ложна, и не хватает всего лишь аксиомы, которая позволила бы решить вопрос.
Гёдель был убежденным платонистом и в статье, опубликованной в 1947 году под названием "Что представляет собой проблема континуума Кантора?", писал: "Следует отметить [...], что с точки зрения, принятой здесь, доказательство неразрешимости гипотезы Кантора на основе аксиом, принятых в теории множеств, [...] в какой-то степени решило бы проблему. Итак, если принять, что значение первичных символов теории множеств [...] корректно, то понятия и теоремы теории множеств описывали бы некую точно определенную действительность, в которой гипотеза Кантора должна была бы быть истинной или ложной". Позже, в 1963 году, дополнив доказательство о неразрешимости СН, Пол Коэн согласился с этой точкой зрения и рискнул предположить, что гипотеза Кантора на самом деле ложна.
Китайские шахматы — стратегическая игра из той же серии, что и западные шахматы и сёги (японские шахматы). Считается, что все они происходят от игры под названием чатуранга, зародившейся в Индии в VI веке. Для формалистов (которые подчеркивают синтаксические аспекты математики) выбор аксиом для математической теории не сильно отличается от определения правил настольной игры. Западные, китайские или японские шахматы — родственные настольные игры, но среди них нет "истинной" и "ложных". Подобно этому, поскольку континуум-гипотеза (СН) неразрешима относительно аксиом теории множеств, можно добавить СН или ее отрицание в качестве новой аксиомы. В обоих случаях получаются разные теории множеств (разные правила игры), и нельзя сказать, что одна из них истинная, а другая ложная. Для платонистов, наоборот, теория множеств относится к объективной действительности, в которой континуум-гипотеза на самом деле истинна или ложна.