Значение БРАУЭР ЛЁЙТЗЕН ЭГБЕРТ ЯН в Большой советской энциклопедии, БСЭ

Что такое БРАУЭР ЛЁЙТЗЕН ЭГБЕРТ ЯН

(Brouwer) Лёйтзен Эгберт Ян (27.2.1881, Оверсхи, - 2.12.1966, Амстердам), голландский математик, член Нидерландской АН в Амстердаме (1912), член-корреспондент Парижской и Гёттингенской АН, профессор Амстердамского университета (1912-51). С 1908 Б. последовательно проводил критику т. н. чистых математических доказательств существования, опирающихся на логичность исключенного третьего принцип , что в конечном счёте положило начало целому направлению в обоснованиях математики - математическому интуиционизму . Но независимую от философии интуиционизма ценность имеет проведённый Б. анализ математических доказательств существования с точки зрения конструктивного построения тех объектов, существование которых доказывается. В частности, А. Н. Колмогоровым было показано, что правила так называемой интуиционистской логики находят своё реальное осуществление в логике конструктивного решения математических проблем. В 1911-13 Б. установил ряд важных понятий и результатов в области топологии. В их числе: понятия симплициальной аппроксимации и степени непрерывного отображения; понятие гомотопической классификации отображений; теорема о гомотопической эквивалентности двух отображений (сферы на себя), имеющих одну и ту же степень; теорема об инвариантности числа измерений и инвариантности внутренних точек (при топологическом отображении множества, лежащего в n -мeрном пространстве, в это же пространство); теорема о неподвижной точке, n -мeрная теорема Жордана и др. Эти результаты и методы, найденные для их доказательства, определили значительное влияние Б. на развитие топологии в период между 1-й и 2-й мировыми войнами.

Лит.: Александров П. С., Комбинаторная топология, М. - Л.,1947; Вейль Г., О философии математики. Сб. работ, пер. с нем., М. - Л., 1934 (см. раздел: О новом кризисе основ математики).

Большая советская энциклопедия, БСЭ.