Математика. Утрата определенности.
Шрифт:
Бесконечные множества и трансфинитные числа Кронекер полностью отвергал, так как считал возможным иметь дело только с потенциальной бесконечностью. С точки зрения Кронекера, все, что сделал в этой области Кантор, было не математикой, а мистикой. Классический анализ Кронекер назвал игрой в слова. Он мог бы с успехом добавить, что если у бога есть несколько математик, то ему следовало бы оставить их при себе. Однако Кронекер лишь высказывал подобные взгляды, но не развивал их. Возможно, он и сам относился к своим столь радикальным воззрениям не слишком серьезно.
Борель, Бэр и Лебег, с чьими возражениями против аксиомы выбора мы уже познакомились, были «полуинтуиционистами». Основание всей математики они усматривали в системе вещественных чисел. Подробное изложение
Сущность метода математической индукции, каким его видел Пуанкаре, заслуживает изучения, поскольку она и поныне вызывает споры. Следуя методу математической индукции, тот, кто хочет доказать, например, что при всех целых положительных nимеет место равенство
1 + 2 + 3 + … + n= n( n+ 1)/2 (1)
должен сначала установить, что оно выполняется при n = 1,а затем доказать, что если оно выполняется при каком-то целом n = k,то выполняется и при следующем значении n = k + 1.Следовательно, считал Пуанкаре, метод математической индукции апеллирует к бесконечномумножеству аргументов: мы утверждаем, что так как равенство (1) выполняется при n = 1, то оно выполняется и при n = 2,а так как оно выполняется при n = 2,то оно выполняется и при n = 3и т.д. при всех положительных целых n.Но ни один логический принцип не охватывает бесконечно много аргументов. Следовательно, метод математической индукции не следует из логических принципов. Тем самым, по мнению Пуанкаре, непротиворечивость математики не может быть доказана сведением математики к логике, как предлагали логицисты.
По поводу бесконечных множеств Пуанкаре утверждал: «Актуальной бесконечности не существует. То, что мы называем бесконечностью, представляет собой неограниченную возможность создания новых объектов независимо от того, сколько объектов уже существует».
Пуанкаре резко отрицательно относился к громоздким обозначениям логицистов, и в его «Науке и методе» по поводу логицизма отчетливо звучат саркастические ноты. Так, говоря о подходе к понятию целого числа, избранном Бурали-Форти в работе 1897 г., где число 1 определяется с помощью сложного лабиринта буквенных символов, Пуанкаре замечает:
Это определение в высшей степени подходит для того, чтобы дать представление о числе 1 тем лицам, которые никогда о нем ничего не слышали!.. Я слишком мало понимаю приверженцев Пеано, чтобы рискнуть его [определение числа 1] критиковать; но я опасаюсь, что это определение заключает petitio principii[логическую ошибку «предвосхищение основания»], так как я вижу цифру 1 в левой части и изображенное буквами слово «один» (Un) — в правой части равенства.
Затем Пуанкаре обращается к определению нуля, предложенному одним из первых сторонников логицизма Луи Кутюра (1868-1914). Нуль, по Кутюра, — это «число элементов нулевого класса. А что такое нулевой класс? Это класс, который не содержит никакого элемента» ([1], с. 377). Далее Кутюра «усовершенствует» свое определение, переводя его на язык символических обозначений. Пуанкаре дает обратный перевод:
Пуанкаре критикует далее предложенное Кутюра определение числа 1: «Один, утверждает Кутюра, в сущности есть число элементов класса, два любых элемента коего тождественны… Боюсь, что если спросить у Кутюра, что такое «два», то он должен будет в ответ воспользоваться словом «один» ([1], с. 377-378). {119}
Предшественники интуиционизма Кронекер, Борель, Лебег, Пуанкаре и Бэр — созвездие блистательных имен! — высказывали критические замечания по поводу стандартных математических рассуждений и логического подхода, но их собственный вклад в развитие интуиционизма был фрагментарным и случайным. Их идеи вошли в окончательную версию, разработанную голландским математиком, основоположником философии интуиционизма Лейтценом Эгбертом Яном Брауэром (1881-1966). Изложение философии интуиционизма Брауэр начал в своей докторской диссертации «Об основаниях математики» (1907). Обобщенный вариант своих взглядов Брауэр изложил в серии статей, опубликованных, начиная с 1918 г., в различных журналах.
119
По поводу полемики между Пуанкаре и Кутюра см. [63].
Интуиционистская позиция Брауэра в математике проистекает из его общефилософских взглядов. Математика, считает Брауэр, — это человеческая деятельность, которая начинается и протекает в разуме человека. Вне человеческого разума математика не существует. Следовательно, заключает Брауэр, математика не зависит от реального мира. Разум непосредственно постигает основные, ясные и понятные, интуитивные представления. Они являются не чувственными или эмпирическими, а непосредственно данными, достоверными представлениями о некоторых математических понятиях. К таким понятиям относятся целые числа. Фундаментальное интуитивное представление — постижение различных событий в хронологической последовательности. «Математика возникает тогда, когда сущность двойки [числа «два»], возникающая вследствие хода времени, абстрагируется от всего частного. Остающаяся пустая форма общего содержания всех двоек становится исходным интуитивным представлением математики и, повторяемая неограниченно, создает новые математические сущности». Под неограниченным повторением Брауэр понимает образование последовательных натуральных чисел. Идею о том, что понятие целого числа является производным от интуитивного представления о времени, высказывали также И. Кант, Уильям Р. Гамильтон (в статье «Алгебра как наука о времени») и философ Артур Шопенгауэр.
Математическое мышление, по Брауэру, представляет собой процесс мысленного построения, создающего свой собственный мир, не зависящий от опыта и ограниченный лишь тем, что в основе его должна лежать фундаментальная математическая интуиция. Это фундаментальное интуитивное понятие следует представлять себе не как нечто сходное по природе с неопределяемыми понятиями, встречающимися в аксиоматических теориях. Наоборот, через него должны постигаться разумом все неопределяемые идеи, используемые в различных математических системах, если они действительно призваны служить математическому мышлению. Кроме того, математика по своей природе синтетична. Она занимается составлением истин, а не выводит их из логики.
Брауэр был убежден в том, что «в этом конструктивном процессе, ограниченном непременной обязанностью отмечать по мере возникновения новых идей и повышения культуры мышления, какие тезисы приемлемы для интуиции, самоочевидны для разума, а какие неприемлемы, — единственное возможное основание, которое стремится обрести математика». Интуиция (а не опыт или логика) определяет, согласно Брауэру, правильность и приемлемость идей. Следует помнить, подчеркивал он, что это отнюдь не отрицает той исторической роли, которую сыграл опыт.