Брауэр Лёйтзен

БРАУЭР (Brouwer) Лёйтзен Эгберт Ян (27.2.1881, Оверсхи - 2.12.1966, Амстердам), голландский математик, член Нидерландской королевской Академии Наук (1912), член Лондонского королевского общества (1948). По окончании Амстердамского университета (1904) работал там же (профессор в 1912-51). С 1904 года Брауэр анализировал так называемые чистые математические доказательства существования, опирающиеся на логический принцип исключённого третьего, что положило начало целому направлению в обосновании математики - математическому интуиционизму. Брауэр исследовал также математические доказательства существования с точки зрения конструктивного построения тех объектов, существование которых доказывается. В 1911-13 годах Брауэр установил ряд важных понятий и результатов в области топологии, которые оказали значительное влияние на развитие этой науки.

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