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


Лёйтзен Э́гберт Ян Бра́уэр (нидерл. Luitzen Egbertus Jan Brouwer; 27 февраля 1881 — 2 декабря 1966) — голландский философ и математик, выпускник университета Амстердама, работавший в таких областях математики, как топология, теория множеств, математическая логика, теория меры и комплексный анализ.

Член Нидерландской АН в Амстердаме (1912), член-корреспондент Лондонского королевского общества, Парижской и Гёттингенской АН, профессор Амстердамского университета (19121951). В 1932 г. он получил звание рыцаря ордена Нидерландского льва[4].

Положил начало новому направлению в математике — интуиционизму. Он подверг сомнению неограниченную приложимость в математических рассуждениях классических законов исключённого третьего, (снятия) двойного отрицания, косвенного доказательства (доказательства от противного). Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. учеником Брауэра А. Гейтингом и не содержащей указанных законов.

Родился 27 февраля 1881 г. в Оверши[en], сегодня это пригород Роттердама в Голландии. Друзья звали его по второму имени Бертус. Будучи очень способным, Брауэр в 14 лет окончил полную школу в Хоорне, городе на озере Зюйдерзее к северу от Амстердама.

Он не изучал в школе греческого и латыни, однако оба языка были необходимы для поступления в университет, так что следующие два года Брауэр посвятил их изучению. В этот период времени его семья переезжает в Харлем, к западу от Амстердама. Здесь же в 1897 г. в гимназии он сдал вступительные экзамены в университет Амстердама.

Профессором математики в Амстердамском университете у Брауэра был Кортвег, который быстро понял, что в лице Брауэра он имеет выдающегося студента. Ещё в самом начале обучения Брауэр получил оригинальные результаты о непрерывных движениях в 4-мерном пространстве, и Кортвег обескуражил его предложением о публикации. Статья вышла, и Брауэр получил первую публикацию в Королевской академии наук в Амстердаме в 1904. Кроме того, Брауэр интересовался топологией и основаниями математики. Он не только изучал эти разделы в университете, но и сам читал массу литературы по этим вопросам.