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

В настоящей, не рассчитанной на математиков, книге автор иногда позволяет себе пренебречь точностью ради большей выразительности. В частности, приведенный в книге пример «истинные интуиционисты», пожалуй, и не приняли бы [менее яркий, но более корректный пример: задача об отыскании максимума функции переменных ]. Дело в том, что множество всевозможных четверок (x, y, z, n) целых (или натуральных) чисел счетно, т.е. его можно упорядочить наподобие ряда натуральных чисел (где n > 2 ). Поэтому доказательство существования решения уравнения Ферма одновременно устанавливает, что решение может быть найдено в процессе, конечного (хоть и неопределенно длинного — это неважно!) перебора четверок (x, y, z, n) и проверки выполнимости равенства x n+ y n= z n для каждой из них, а такой конечный перебор, разумеется, является вполне эффективной процедурой.

Ср. с обсуждением в гл. XII современного положения с канторовской проблемой континуума.

Дальнейшее развитие идей интуиционизма привело к созданию так называемого конструкционизма (или даже нескольких различных конструктивистских школ), признававшего только те математические объекты, которые допускают прямое построение; в частности, большое развитие получала ленинградская (а позднее московская) конструктивистская группа, возглавляемая А.А. Марковым-мл. (1903-1980); по этому поводу см. [65] и [66], а также примечания А.А. Маркова к русскому переводу книги [67].

Критику интуиционизма главой советской конструктивистской школы математиков А.А. Марковым см. на с. 5 книги [67].

Не останавливаясь подробно, упомянем лишь о методологических установках яркой и пользующейся известностью книги Б. Мандельброта [69], которые кратко (и не совсем точно) можно охарактеризовать как утверждение о том, что в реальном мире мы чаще всего встречаемся именно с нигде не дифференцируемыми («изломанными») функциями, а «гладкие» функции представляют собой не более чем идеализированное описание негладких.

В разработке интуиционистской логики приняли участие также московские математики В.И. Главенко (1897-1940; работы 1928-1929) и особенно А.Н. Колмогоров (р. 1903; работы 1925, 1932). Ср. также [71].

Гильберт Д. Основания математики. — В кн.: Основания геометрии. — М. — Л.: Гостехиздат, 1948, с. 383.

Здесь хочется вспомнить древних греков с их отказом от принятия актуальной бесконечности и стремлением избежать каких бы то ни было бесконечных процедур, что, например, нашло свое выражение в глубоком методе исчерпывания Евдокса — Архимеда, позволявшем дать сугубо конечные («финитные») доказательства результатам, которые ныне получают с помощью интегрального исчисления, связанного с предельным переходом при n→∞ (где n , скажем, число частей, на которые разбивается область интегрирования).

См., например, весьма популярный на Западе учебник [76] элементарной теории множеств, принадлежащий крупному математику и замечательному педагогу П. Халмошу, известному у нас по переводам ряда его книг и статей.

Впоследствии Гёдель (1940) и Бернайс (1937) модифицировали систему Цермело — Френкеля, введя различие между множествами и классами. В 1925 г, Гёдель и Бернайс упростили вариант аксиоматики теории множеств, предложенный фон Нейманом. Множества могут принадлежать другим множествам. Все множества — классы, но не все классы — множества. Классы не могут принадлежать большим классам. Различие между множествами и классами означает, что чудовищно большим совокупностям элементов не разрешается принадлежать другим классам. Тем самым исключаются канторовские множества, приводящие к парадоксам. Любая теорема в системе Цермело — Френкеля является теоремой в системе Гёделя — Бернайса, и наоборот.

Известно много вариантов аксиоматики теории множеств, но не существует критерия, который позволил бы отдать одному варианту предпочтение перед другим. [По поводу аксиоматики теории множеств см., например, [32]* и [78]-[80]. — Ред. ]

Французские оригиналы обширного трактата Н. Бурбаки Eléments de mathématique выходили в выпускаемой парижским издательством «Герман» серии «Новости науки и техники» (Actualités scientifique et industrielle), состоящей из книг небольшого объема; русский перевод этого, пока еще не законченного сочинения состоит из меньшего (хотя все равно очень большого) числа объемистых томов. [Некоторые неувязки, допущенные при переводе сочинения Бурбаки на русский язык, выпускавшегося двумя разными издательствами (ИЛ — «Мир» и Гостехиздат — Физматгиз — «Наука») в течение длительного времени, привели к тому, что на русском языке отдельные книги этого трактата выходили под тремя разными названиями: «Элементы математики» (чаще всего), «Основы математики» и «Начала математики» (а выпущенные отдельным изданием исторические вставки в разные части сочинения (в оригинале — Eléments d'histoire des mathématiques ) получили титул «Очерки по истории математики»). На наш взгляд, наиболее точным было бы название «Начала математики», ибо бесспорна связь наименования, данного группой Бурбаки своему сочинению, с «Началами» Евклида (по-французски L'Eléments ).]