Основной вывод, который можно сделать из существования нескольких противоборствующих подходов к математике, состоит в следующем: имеется не одна, а много математик. О математике в целом, по-видимому, правильнее говорить во множественном числе (как о многих математиках), оставив единственное число для обозначения любого из подходов. Философ Джордж Сантаяна как-то сказал: «Не существует бога, и дева Мария — матерь его». Перефразируя эти слова, можно сказать: «Не существует единой, общепринятой математики, и греки — создатели ее». Широкий выбор подходов, открывающийся перед математиками, вызывает у них ощущение, близкое к тому, которое отлично передано в следующих строках Шелли:
Пред роем нескончаемым
Бесчисленных миров
Фантазии крылатой
Кружится голова.
Насколько можно судить, в ближайшем будущем нам придется обходиться без критерия, который позволял бы выбрать предпочтительный подход к собственно математике.
Примирить разные взгляды на то, что такое истинная математика (или по крайней мере в каком направлении она должна развиваться), можно надеяться лишь основываясь на прогрессе в решении тех спорных вопросов, по которым расходятся во мнениях математики разных школ. Больше всего разногласий вызывает вопрос о том, что такое математическое доказательство.
Во все времена — начиная с древнейших ионийской и пифагорейской школ (гл. I) — предполагалось, что математическое доказательство — это ясный и бесспорный процесс; формализации этого процесса Аристотель посвятил десять лет жизни. Правда, долгое время им пренебрегали (гл. V-VIII), но в целом математики никогда о нем не забывали. Само понятие математического доказательства всегда существовало; оно и служило парадигмой и образцом, которому в той или иной степени стремились следовать ученые.
Что же заставило математиков изменить отношение к доказательству и даже разбиться на враждующие группировки, каждая из которых придерживается своей версии этого важнейшего понятия? На протяжении более чем двух тысячелетий математики разделяли старые взгляды на логику, согласно которым логические принципы в том виде, как их кодифицировал Аристотель, являются абсолютными истинами. Уверенность в непогрешимости логических принципов подкреплялась их длительным и, казалось бы, безотказным использованием. Но впоследствии математики поняли, что основы логики — такие же продукты человеческого опыта, как и аксиомы евклидовой геометрии. Возникло легкое беспокойство по поводу того, какие же логические аксиомы можно считать надежными. Так, интуиционисты не без основания ограничили область применения закона исключенного третьего. И кто знает, стали бы мы считать, что приемлемые ныне логические принципы останутся таковыми и впредь, не будь их репутация столь безупречной в прошлом?
Второй связанный с понятием доказательства спорный вопрос, возникший с появлением логистической школы, можно сформулировать так: что входит и что не входит в («исходные») логические принципы?Хотя Рассел и Уайтхед без каких-либо колебаний в первом издании «Оснований математики» включили в свой список аксиом аксиомы бесконечности и выбора, позднее они отступили от этой позиции, не только признав, что первоначальные логические принципы не были абсолютными истинами, но уяснив, что аксиомы выбора и бесконечности аксиомами логики не являются. Во втором издании «Оснований математики» эти аксиомы не были включены в исходный список аксиом и их использование при доказательстве некоторых теорем каждый раз оговаривалось особо.
Помимо разногласий относительно того, какие логические принципы можно считать приемлемыми, существуют разногласия и по поводу того, сколь далеко простираются сферы действия логики.Как известно, логицисты были убеждены, что логики достаточно для обоснования всей математики, хотя впоследствии им приходилось всячески изворачиваться, когда дело касалось проблем, связанных саксиомами бесконечности и выбора. По мнению формалистов, одной лишь логики недостаточно и для обоснования математики; логические аксиомы необходимо дополнить чисто математическими. Представители теоретико-множественного направления обращались с логическими принципами довольно небрежно, и кое-кто из них даже не удосуживался указывать используемые логические принципы в явном виде. Интуиционисты из принципиальных соображений считали нужным не вдаваться в логику.
Еще один спорный вопрос — понятие существования.Например, установив, что каждый многочлен имеет по крайней мере один корень,мы доказываем чистую теорему существования( Existenzbewies. — нем.). Любое доказательство, если оно непротиворечиво, приемлемо с точки зрения логицистов, формалистов и представителей теоретико-множественного направления. Но доказательство, даже не использующее закона исключенного третьего, может не указывать метода, позволяющего найти(или вычислить) тот объект, существование которого мы установили. Для интуиционистов доказательства существования такого рода неприемлемы. Нежелание интуиционистов допустить трансфинитные кардинальные и ординальные числа (поскольку эти числа интуитивно не очевидны и конструктивно не достижимы в интуиционистском понимании конструктивности, или вычислимости) — еще один пример различных стандартов понимания «существования». Спорный вопрос, в каком смысле существуют не только отдельные математические объекты, например корни многочленов, но и вся математика в целом,имеет первостепенное значение, и мы еще вернемся к нему в этой главе.
Интерес к тому, что такое истинная математика, подогревается еще одним обстоятельством. Какие математические аксиомы можно считать приемлемыми?Блестящий пример вопросов такого рода — вопрос о том, допустимо ли использование аксиомы выбора. Пытаясь ответить на него, математики встали перед дилеммой: не использовать аксиому выбора или отвергнуть ее означало отказаться от больших и важных разделов математики, а применение аксиомы выбора приводило если не к противоречиям, то к интуитивно неразумным выводам (гл. XII).
Неспособность математиков доказать непротиворечивость своей науки бросает тень на весь идеал математики. Противоречия обнаруживались в самых неожиданных местах. И хотя их удавалось разрешить более или менее приемлемым образом, опасность возникновения новых противоречий, несомненно, заставила многих математиков скептически относиться к чрезмерным усилиям, которые их собратья прилагали для достижения строгости.
Что же такое математика, если она перестала быть однозначной, строгой логической конструкцией? Это серия интуитивных прозрений, тщательно отсеянных, очищенных и организованных с помощью той логики, которую занимавшиеся ее отбором люди хотели и могли применять, когда им заблагорассудится. Чем больше усилий прилагалось к уточнению понятий и систематизации дедуктивной системы математики, тем более изощренными становились интуитивные представления. Но опирается ли математика на какие-либо фундаментальные интуитивные представления, которые могут косвенно отражать структуру наших органов чувств, мозга и внешнего мира? Математика — творение человеческого разума, и любая попытка подвести под нее некую абсолютную базу обречена на провал.
Прогресс математики представляет собой цепочку великих интуитивных озарений, впоследствии получавших обоснования, которые возникают не за один прием, а путем последовательных поправок, долженствующих исправить различного рода ошибки и упущения, вводимых до тех пор, пока доказательство не достигнет приемлемого для своего времени уровня строгости. {164}Ни одно доказательство не является окончательным. Новые контрпримеры подрывают старые доказательства, лишая их силы. Доказательства пересматриваются, и новые варианты ошибочно считаются окончательными. Но, как учит история, это означает лишь, что для критического пересмотра доказательства еще не настало время. Иногда математики сознательно откладывают пересмотр доказательства на будущее. Промедление объясняется не только тем, что обнаружение ошибки в чужом доказательстве не приносит славы открывателю, но и другой причиной: математик, которому хватило ума усомниться в правильности ранее известного доказательства теоремы, обычно стремится самостоятельно доказать ее, связав тем самым старый факт со своим именем. Математики гораздо больше озабочены доказательством собственных теорем, нежели поиском ошибок в чужих доказательствах.
