БУРБАКИ́

БУРБАКИ́ (Bourbaki) Ни­ко­ла, псев­до­ним, под ко­то­рым груп­па ма­те­ма­ти­ков во Фран­ции с 1939 реа­ли­зу­ет при­над­ле­жа­щую Д. Гиль­бер­ту идею из­ло­жить разл. ма­те­ма­тич. тео­рии с по­зи­ций фор­маль­но­го ак­сио­ма­тич. ме­то­да. Груп­па об­ра­зо­ва­лась в 1937 из быв. пи­том­цев Выс­шей нор­маль­ной шко­лы. Чис­лен­ность и точ­ный со­став груп­пы не раз­гла­ша­ют­ся. В мно­го­том­ном трак­та­те Б. под об­щим назв. «Эле­мен­ты ма­те­ма­ти­ки», вы­хо­дя­щем с 1939, раз­ви­ва­ет­ся фор­маль­ная ак­сио­ма­тич. сис­те­ма, ко­то­рая, по за­мыс­лу ав­то­ров, долж­на ох­ва­тить ес­ли не все, то важ­ней­шие раз­де­лы ма­те­ма­ти­ки как ча­ст­ные про­яв­ле­ния об­щей кон­цеп­ции. Из­ло­же­ние но­сит аб­ст­ракт­ный фор­ма­ли­зо­ван­ный ха­рак­тер, ис­поль­зу­ет­ся спо­соб рас­су­ж­де­ния от об­ще­го к част­но­му, да­ёт­ся лишь ло­гич. кар­кас тео­рий. Ос­но­ву из­ло­же­ния со­став­ля­ют т. н. струк­ту­ры, оп­ре­де­ляе­мые по­сред­ст­вом ак­си­ом, напр. струк­ту­ры по­ряд­ка, струк­ту­ры групп, то­по­ло­гич. струк­ту­ры. Клас­си­фи­ка­ция ма­те­ма­ти­ки по ти­пам струк­тур зна­чи­тель­но от­ли­ча­ет­ся от тра­ди­ци­он­ной. Во­про­сы, свя­зан­ные с под­го­тов­кой оче­ред­ных вы­пус­ков трак­та­та, об­су­ж­да­ют­ся на «Се­ми­на­ре Бур­ба­ки».