Математика. Утрата определенности.

Во все времена — начиная с древнейших ионийской и пифагорейской школ (гл. I) — предполагалось, что математическое доказательство — это ясный и бесспорный процесс; формализации этого процесса Аристотель посвятил десять лет жизни. Правда, долгое время им пренебрегали (гл. V-VIII), но в целом математики никогда о нем не забывали. Само понятие математического доказательства всегда существовало; оно и служило парадигмой и образцом, которому в той или иной степени стремились следовать ученые.

Что же заставило математиков изменить отношение к доказательству и даже разбиться на враждующие группировки, каждая из которых придерживается своей версии этого важнейшего понятия? На протяжении более чем двух тысячелетий математики разделяли старые взгляды на логику, согласно которым логические принципы в том виде, как их кодифицировал Аристотель, являются абсолютными истинами. Уверенность в непогрешимости логических принципов подкреплялась их длительным и, казалось бы, безотказным использованием. Но впоследствии математики поняли, что основы логики — такие же продукты человеческого опыта, как и аксиомы евклидовой геометрии. Возникло легкое беспокойство по поводу того, какие же логические аксиомы можно считать надежными. Так, интуиционисты не без основания ограничили область применения закона исключенного третьего. И кто знает, стали бы мы считать, что приемлемые ныне логические принципы останутся таковыми и впредь, не будь их репутация столь безупречной в прошлом?

Второй связанный с понятием доказательства спорный вопрос, возникший с появлением логистической школы, можно сформулировать так: что входит и что не входит в («исходные») логические принципы? Хотя Рассел и Уайтхед без каких-либо колебаний в первом издании «Оснований математики» включили в свой список аксиом аксиомы бесконечности и выбора, позднее они отступили от этой позиции, не только признав, что первоначальные логические принципы не были абсолютными истинами, но уяснив, что аксиомы выбора и бесконечности аксиомами логики не являются. Во втором издании «Оснований математики» эти аксиомы не были включены в исходный список аксиом и их использование при доказательстве некоторых теорем каждый раз оговаривалось особо.

Помимо разногласий относительно того, какие логические принципы можно считать приемлемыми, существуют разногласия и по поводу того, сколь далеко простираются сферы действия логики.

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

Еще один спорный вопрос — понятие существования. Например, установив, что

каждый многочлен имеет по крайней мере один корень, мы доказываем чистую теорему существования (Existenzbewies.

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

Интерес к тому, что такое истинная математика, подогревается еще одним обстоятельством. Какие математические аксиомы можно считать приемлемыми? Блестящий пример вопросов такого рода — вопрос о том, допустимо ли использование аксиомы выбора. Пытаясь ответить на него, математики встали перед дилеммой: не использовать аксиому выбора или отвергнуть ее означало отказаться от больших и важных разделов математики, а применение аксиомы выбора приводило если не к противоречиям, то к интуитивно неразумным выводам (гл. XII).