Словарь по логике

Брауэр

Лейтзен Эгберт Ян Брауэр, Brouwer (27.2.1881, Оверсхи, Нидерланды - 2.12.1966, Амстердам)
 
Голландский математик, основоположник интуиционистской математики и логики. Профессор Амстердамского университета в 1912-1951, член Нидерландской АН (1912), член-корреспондент Парижской и Гёттингенской АН.
С 1908 начинает критиковать классическое математическое доказательство, особенно доказательство существования, высказывает ряд идей, получивших название интуиционистской логики (формализована была позже А. Гейтингом (см.)). В 1911-1913 ввел ряд понятий в топологии и получил ряд результатов в этой области.
Сочинения: Zur intuitionistischen Zerlegung mathematischer Grundbigriffe (1927); Intuitionistische Betrachtungen uber den Formalismus (1931); Historical backgraund, principles and method of intuitionism (1952).

© Автор статьи.