БРАУЭР Лейтзен Эгберт Ян

голландский математик, член Нидерландской АН в Амстердаме (1912), член корреспондент Парижской и Геттингенской АН, профессор Амстердамского университета (1912-1951). С 1908 г. последовательно проводил критику т. п. чистых математических доказательств существования, опирающихся на принцип логически исключенного третьего, что в конечном счете положило начало целому направлению в обоснованиях математики – математическому интуиционизму. Но независимую от философии интуиционизма ценность имеет проведенный им анализ математических доказательств существования с точки зрения конструктивного построения тех объектов, существование которых доказывается. В частности, А. Н. Колмогоровым было показано, что правила т. н. интуиционистской логики находят свое реальное осуществление в логике конструктивного решения математических проблем. В 1911-1913 гг. установил ряд важных понятий и результатов в области топологии. В их числе: понятия симплициальной аппроксимации и степени непрерывного отображения; понятие гомотопической классификации отображений; теорема о гомотопической эквивалентности двух отображений (сферы на себя), имеющих одну и ту же степень; теорема об инвариантности числа измерений и инвариантности внутренних точек (при топологическом отображении множества, лежащего в n-мерном пространстве, в это же пространство); теорема о неподвижной точке, и-мерная теорема Жордана и др. Эти результаты и методы, найденные для их доказательства, определили его значительное влияние на развитие топологии в период между 1-й и 2-й мировыми войнами.