Большая Советская Энциклопедия (цитаты)

Брауэр Лейтзен Эгберт Ян

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

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


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 20.05.2024 15:58:52