Брауер (Brouwer) Лейтзен Егберт Ян (27.2.1881, Оверсхи, — 2.12.1966, Амстердам), голландський математик, член Нідерландською АН(Академія наук) в Амстердамі (1912), член-кореспондент Паризькою і Геттингенською АН(Академія наук), професор Амстердамського університету (1912—51). З 1908 Би. послідовно проводив критику т.з. чистих математичних доказів існування, що спираються на логічність виключеного третього принцип, що кінець кінцем поклало початок цілому напряму в обгрунтуваннях математики — математичному інтуїционізму . Але незалежну від філософії інтуїционізма цінність має проведений Би. аналіз математичних доказів існування з точки зору конструктивної побудови тих об'єктів, існування яких доводиться. У частковості, А. Н. Колмогоровим було показане, що правила так званої інтуїционістськой логіки знаходять своє реальне здійснення в логіці конструктивного вирішення математичних проблем. У 1911—13 Би. встановив ряд важливих понять і результатів в області топології. У їх числі: поняття симпліціальної апроксимації і міри безперервного відображення; поняття гомотопічної класифікації відображень; теорема про гомотопічну еквівалентність двох відображень (сфери на себе), що мають одну і ту ж міру; теорема про інваріантність числа вимірів і інваріантності внутрішніх крапок (при топологічному відображенні безлічі, лежачої в n -мeрном просторі, в цей же простір); теорема про нерухому крапку, n -мeрная теорема Жордана і ін. Ці результати і методи, знайдені для їх доказу, визначили значний вплив Би. на розвиток топології в період між 1-ою і 2-ою світовими війнами.
Літ.: Александров П. С., Комбінаторна топологія, М. — Л., 1947; Вейль Р., Про філософію математики. Сб. робіт, пер.(переведення) з йому.(німецький), М. — Л., 1934 (див. розділ: Про нову кризу основ математики).
