БРАУЭР

БРАУЭР:     БРАУЭР (Brower) Люйтцен Эгбертус Ян (27 февраля 1881, Оверсхи, Нидерланды -^-2 декабря 1966, Бларикум, Нидерланды) — голландский математик, логик, философ,

    основоположник интуиционизма и один из идейных предшественников и вдохновителей математического конструктивизма. Окончил Амстердамскийуниверситет (1903), там же защитил докторскую диссертацию (1907) и был старшим преподавателем с 1909 по 1951. На философию Брауэра оказали большое влияние восточные философские учения (буддизм и даосизм) и европейская школа интуитивизма. В свою очередь он сам способствовал развитию европейского интуитивизма, показав громадную роль интуиции даже в самых точных науках.

    В 1908 в работе “О недостоверности логических принципов” (De onbetrouwbaarheid der logische principes) Брауэр обосновывал тезис, что классическая логика является результатом неправомерного обобщения на бесконечные совокупности тех законов, которые были получены на небольших конечных множествах. Там же он впервые рассмотрел класс контрпримеров, зависящих от нынешнего состояния человеческого знания, а не от “принципиальных возможностей”. Напр., мы не можем принимать закон Αν ΊΑ, поскольку мы для многих точно сформулированных утверждений не знаем их истинности и ложности и даже не имеем мысленного процесса, который с гарантией приводил бы к решению данной проблемы.

    До 1912 Брауэр интенсивно занимался топологией и получил ряд результатов, давших начало современной топологии.Этими работами и своим личным участием Брауэр способствовал становлению российской топологической школы. Затем в течение 15 лет он пытался перестроить классическую математику на основе другой логики и другой интерпретации формул как задач на мысленные построения.

    Брауэр отрицательно отнесся к огульному принятию тезиса Чёрча, считая, что алгоритмическая вычислимость не исчерпывает умственных построений, и в ходе полемики с теми, кто безоговорочно принял данный принцип, выдвинул ряд идей, ставших популярными в современной логике, в частности, идею последовательностей, зависящих от решения проблем (прообраз моделей Крипке) и “беззаконных последовательностей”. Брауэр впервые показал, что математика и соответственно точные науки могут опираться не только на “позитивные” знания, но и на осознанное незнание, обосновав, т. о., альтернативу позитивной методологии науки в рамках точных наук. Он же в статье “Пространство и точки” (Points and Spaces) наметил новый путь решения парадоксов Зенона на базе бесконечной делимости пространства, не состоящего из точек. Личность Брауэра отличалась глубиной, сложностью и противоречивостью. Он субъективно характеризовал работы по классической математике как не имеющие никакого смысла, но объективно оценивал их и поддерживал, будучи редактором ведущего математического журнала. Брауэр не допускал вопросов студентов, но вместе с тем терпимо относился к “различиям во взглядах” внутри интуиционистской школы и внимательно выслушивал критику противников. Он высоко оценивал программу Гильберта и, однако, подчеркивал те ее стороны и следствия, о которых предпочитал умалчивать Гильберт, Когда мировая научная и философская общественность расценила теорему Гёделя как провал программы Гильберта, Брауэр выступил в защиту Гильберта, подчеркнув, что эта теорема никак не касается существа программы и означает лишь неудачу одной из попыток реализовать ее. Брауэр еще до Гёделя подчеркивал неформализуемость любого нетривиального человеческого знания, доводя это до идеи неформализуемости интуиционистской логики, и сам же инициировал работы по ее формализации. Он выдвигал радикальнейшие возражения против классической математики и вместе с тем максимально осторожно подходил к задаче ее перестройки, пытаясь сохранить все, что можно переинтерпретировать на новой основе (это стало ясно сейчас; современники воспринимали любые изменения в привычном математическом мире столь же враждебно, как в свое время неевклидову геометрию). Брауэр отличался глубоким радикальным критическим мышлением и формулировал свои идеи в столь острой форме, что они стимулировали развитие альтернативных концепций. Он отдал дань радикальным политическим увлечениям, поддерживая нацистов вплоть до момента, когда они предательски оккупировали его родину.

    Брауэр подготовил ряд учеников, положивших начало голландской школе в логике и в неклассической математике. Наиболее известны из них А. Геитшнг, давший первую формализацию интуиционистской логики, и Э. Бет, создавший семантические (аналитические) таблицы и первый пример конструкций, названных впоследствии моделями Крипки.

    Соч.: Collected works, ν. 1. Aaist., 1975. Лит.: fiewman H. A., Kreisel G. Luitzen Egbertus Yan Brouwer.— Biographical Memoirs of Fellocos of the Royal Society of London, 15, 1959; Панов M. H. Л. Э. Я. Брауэр и советская математика.—В кн.: Тенденции развития современной математики. М., 1987.

    H. ff. Нтейвода

Смотреть больше слов в «Философской энциклопедии»

Смотреть что такое БРАУЭР в других словарях:

БРАУЭР

БРАУЭР (Броувер) (Brouwer) Адриан (1605 или 1606-1638), фламандский живописец. Напряженные по колориту, порой драматически гротескные сцены из жизни крестьян и городских низов ("Ссора за игрой в карты"), пейзажи ("Лунный свет"). ... смотреть

БРАУЭР

- (Броувер) (Brouwer) Адриан (1605 или 1606-1638) - фламандскийживописец. Напряженные по колориту, порой драматически гротескные сцены изжизни крестьян и городских низов (""Ссора за игрой в карты""), пейзажи(""Лунный свет"").... смотреть

БРАУЭР

БРАУЭР Лейтзен Эгберт Ян (1881-1966), нидерландский математик. Положил начало новому направлению в математике - интуиционизму. Получил ряд важных результатов в топологии. ... смотреть

БРАУЭР

p.n.Brouwer, Brauer

БРАУЭР (BROUWER) АДРИАН

БРАУЭР (Броувер) (Brouwer) Адриан (1605 или 1606-1638) - фламандский живописец. Напряженные по колориту, порой драматически гротескные сцены из жизни крестьян и городских низов ("Ссора за игрой в карты"), пейзажи ("Лунный свет"). ... смотреть

БРАУЭР АДРИАН

Брауэр Адриан Броувер (Brouwer) (1605/1606 - 1638), фламандский живописец. Мастер бытового жанра. Представитель демократической линии в искусств... смотреть

БРАУЭР АДРИАН

Брауэр, Броувер (Brouwer) Адриан (1605 или 1606, Ауденарде, — похоронен 1.2.1638, Антверпен), фламандский живописец. Уроженец Фландрии, около 1621 пере... смотреть

БРАУЭР (БРОУВЕР) (BROUWER) АДРИАН (1605 ИЛИ 16061638)

БРАУЭР (Броувер) (Brouwer) Адриан (1605 или 1606-1638) , фламандский живописец. Напряженные по колориту, порой драматически гротескные сцены из жизни крестьян и городских низов ("Ссора за игрой в карты"), пейзажи ("Лунный свет").... смотреть

БРАУЭР ГЕОРГ КОНСТАНТИНОВИЧ

Брауэр Георг Константинович [1816, Кенигсберг, — 1(13).3.1882, Кронштадт], русский механик-оптик. Обучался в оптико-механической мастерской в Петербург... смотреть

БРАУЭР Л.

(Brouwer) Лео (р. 1 III 1939, Гавана) - кубин. композитор и гитарист. Занимался у Н. Никола (гитара). В 1959-60 совершенствовался в Джульярдско... смотреть

БРАУЭР ЛЕЙТЗЕН ЭГБЕРТ ЯН

БРАУЭР Лейтзен Эгберт Ян (1881-1966) - нидерландский математик. Положил начало новому направлению в математике - интуиционизму. Получил ряд важных результатов в топологии. ... смотреть

БРАУЭР ЛЕЙТЗЕН ЭГБЕРТ ЯН (18811966)

БРАУЭР Лейтзен Эгберт Ян (1881-1966) , нидерландский математик. Положил начало новому направлению в математике - интуиционизму. Получил ряд важных результатов в топологии.... смотреть

БРАУЭР ЛЕО

Бра́уэр Лео (Brouwer) (р. 1939), кубинский композитор, гитарист и дирижёр. Концертирует как гитарист и дирижёр в своей стране и за рубежом. Выступа... смотреть

БРАУЭР ЛЁЙТЗЕН ЭГБЕРТ ЯН

Брауэр (Brouwer) Лёйтзен Эгберт Ян (27.2.1881, Оверсхи, — 2.12.1966, Амстердам), голландский математик, член Нидерландской АН в Амстердаме (1912), член... смотреть