Verbum

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

спосаб пабудовы навук. тэорыі ў выглядзе сістэмы пастулатаў (аксіём) і правіл вываду (аксіяматыкі), што дае магчымасць логікавымі разважаннямі атрымліваць сцвярджэнні (тэарэмы) дадзенай тэорыі.

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

Сучасныя навук. тэорыі, пабудаваныя пры дапамозе аксіяматычнага метаду, наз. дэдуктыўнымі. Усе паняцці такіх тэорый (акрамя фіксаванай колькасці першапачатковых) уводзяцца пры дапамозе вызначэнняў, якія выражаюць іх змест праз першапач. паняцці. У той ці інш. меры дэдуктыўныя доказы, характэрныя для аксіяматычнага метаду, выкарыстоўваюцца ў многіх навуках, найб. у матэматыцы, логіцы, некаторых раздзелах фізікі, біялогіі і інш. Тэорыі, пабудаваныя пры дапамозе аксіяматычнага метаду, нярэдка маюць выгляд фармалізаваных сістэм, якія даюць дакладнае апісанне лагічных сродкаў вываду тэарэм з аксіём. Доказ такой тэорыі ўяўляе сабой паслядоўнасць формул, кожная з якіх з’яўляецца аксіёмай або атрымліваецца з папярэдніх формул па адным з прынятых правіл вываду. У адрозненне ад такіх фармальных доказаў уласцівасці самой фармальнай сістэмы ў цэлым вывучаюцца змястоўнымі сродкамі метатэорыі. Асн. патрабаванні да аксіяматычных фармальных сістэм: несупярэчлівасць, паўната, незалежнасць аксіём. Аксіяматычны метад — адзін з метадаў пабудовы навук. ведаў, які мае абмежаванае выкарыстанне, бо патрабуе высокага ўзроўню развіцця навук. тэорыі. Нават некаторыя дастаткова багатыя навук. тэорыі (напр., арыфметыка натуральных лікаў) не дапускаюць поўнай аксіяматызацыі. Гэта сведчыць аб немагчымасці поўнай фармалізацыі навук. ведаў.

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.Т.Вальвачоў, У.К.Лукашэвіч.

т. 1, с. 207

АСРАЦЯ́Н Эзрас Асратавіч

(31.5.1903, с. Мецык, Турцыя — 24.4.1981),

савецкі фізіёлаг. Чл.-кар. АН СССР (1939), акад. АН Арм. ССР (1947). Скончыў Ерэванскі ун-т (1930). З 1930 у навук. установах мед. профілю. У 1950—52 і з 1960 дырэктар Ін-та вышэйшай нерв. дзейнасці і нейрафізіялогіі АН СССР. Навук. працы па вышэйшай нерв. дзейнасці. Прапанаваў процішокавую вадкасць (1942). Развіў эвалюцыйную тэорыю пластычнасці нерв. сістэмы, стварыў канцэпцыю аб дынамічнай спецыялізацыі і лакалізацыі функцый у кары галаўнога мозга, вызначыў ролю двухбаковых умоўных сувязяў для элементарных умоўных рэфлексаў і складаных паводзінскіх актаў.

Тв.:

Очерки по физиологии условных рефлексов. М., 1970.

Літ.:

Эзрас Асратович Асратян: [Биобиблиография] / Сост. Г.Н.Финашина, М., 1967.

т. 2, с. 42

БАГАЛЮ́БАЎ Мікалай Мікалаевіч

(21.8.1909, г. Ніжні Ноўгарад, Расія — 13.2.1992),

рускі матэматык і фізік-тэарэтык, заснавальнік навук. школы па нелінейнай механіцы і тэарэт. фізіцы. Акад. АН СССР (1953), АН УССР (1948). Двойчы Герой Сац. Працы (1969, 1979). З 1963 акад.-сакратар Аддз. матэматыкі АН СССР, з 1965 дырэктар Аб’яднанага ін-та ядз. даследаванняў. Навук. працы па нелінейнай механіцы, статыстычнай фізіцы і квантавай тэорыі поля. Распрацаваў тэорыі звышцякучасці (1947) і звышправоднасці (1958). Ленінская прэмія 1958, Дзярж. прэміі СССР 1947, 1953, 1984. Залаты медаль імя Ламаносава АН СССР (1985).

Тв.:

Избр. труды. Т. 1—3. Киев, 1969—71;

Избр. труды по статистической физике. М., 1979.

т. 2, с. 197

БАТАНІ́ЧНЫ САД БЕЛАРУ́СКАГА ДЗЯРЖА́ЎНАГА ТЭХНАЛАГІ́ЧНАГА УНІВЕРСІТЭ́ТА.

Размешчаны за 6 км ад г.п. Негарэлае Дзяржынскага р-на Мінскай вобласці. Арганізаваны ў 1969 на базе дэндрарыя Негарэльскага навук.-доследнага лясгаса (закладзены ў 1954). Пл. 25 га. У садзе дэндрарый (620 відаў, формаў і сартоў), інтрадукцыйны гадавальнік і школьнае аддзяленне, матачная плантацыя, калекцыйны ўчастак травяністых адна- і шматгадовых раслін, пладовы сад, участак мясц. флоры, музей прыроды. У калекцыях 1384 віды, разнавіднасці і сарты раслін, культывуюцца 28 відаў рэдкіх раслін і раслін, якія знікаюць. База для падрыхтоўкі спецыялістаў лясной гаспадаркі і азелянення, правядзення навук. даследаванняў і культ.-асв. работы ў галіне прыродазнаўства і аховы прыроды.

т. 2, с. 347

ВІ́ЛЕНСКАЯ АРХЕАЛАГІ́ЧНАЯ КАМІ́СІЯ,

навукова-асветная ўстанова ў 1855—65, якая займалася зборам і даследаваннем помнікаў старажытнасці на тэр. Беларусі і Літвы. Створана па ініцыятыве Я.П.Тышкевіча пры Віленскім музеі старажытнасцей. У склад камісіі ўваходзілі Я.П.Тышкевіч (старшыня), М.І.Балінскі (віцэ-старшыня), А.К.Кіркор, І.Крашэўскі, Т.Нарбут, А.С.Плятар, У.Сыракомля, К.П.Тышкевіч і інш. Збірала матэрыялы па гісторыі краю, вывучала матэр. і духоўную культуру паводле «Праграмы дзеянняў», складзенай Я.П.Тышкевічам. Камісія выпускала «Записки Виленской археологической комиссии», краязн. працы, праводзіла абмен навук. інфармацыяй, кнігамі, наладжвала сустрэчы з навук. арг-цыямі Англіі, Даніі, Расіі, Францыі, Швейцарыі, Швецыі і інш. краін. Пасля паўстання 1863—64 паводле загаду ген.-губернатара М.М.Мураўёва яна закрыта.

Г.А.Каханоўскі.

т. 4, с. 163

АПЕ́ЙКА Фёдар Аляксандравіч

(21.2.1908, Мінск — 29.4.1970),

бел. вучоны ў галіне механікі тарфяных машын. Чл.-кар. АН Беларусі (1950), Акадэміі с.-г. навук Беларусі (1959—1961), д-р тэхн. н. (1949), праф. (1950). Скончыў Маскоўскі тарфяны ін-т (1932). Працаваў у Маскве, у 1938—41 і з 1949 у Ін-це торфу АН Беларусі, з 1949 адначасова ў БПІ. Навук. працы па прыкладной механіцы, разліку тарфяных машын і с.-г. тэхнікі, па тэорыі пластычнасці, кантактавай трываласці. Стварыў матэм. тэорыю трэння, спрошчаную тэорыю дакладнасці механізмаў.

Тв.:

Колесный и гусеничный ход. Мн., 1960;

Теория прочности. Мн., 1961;

Торфяные машины. Мн., 1968;

Математическая теория трения. Мн., 1971.

т. 1, с. 421

АЖГІРЭ́ВІЧ Лідзія Фёдараўна

(н. 1.1.1931, г. Петразаводск),

бел. геолаг. Д-р геолага-мінер. н. (1989). Скончыла Далёкаўсходні політэхн. ін-т (1954; Уладзівасток). З 1965 на Беларусі, у Бел. н.-д. геолагаразведачным ін-це, з 1977 у Ін-це геал. навук АН Беларусі, з 1994 — у н.-д. прадпрыемстве «Белгеа». Навук. працы па петраграфіі каменнага і бурага вугалю, гаручых сланцаў, паходжанні і размяшчэнні карысных выкапняў, катагенезе, літолага-фацыяльным і фармацыйным аналізе асадкавых тоўшчаў фанеразою Беларусі і інш. рэгіёнаў.

Тв.:

Буроугольная формация кайнозоя Белоруссии. Мн., 1981;

Сланценосная формация верхнего палеозоя Белоруссии. Мн., 1982;

Закономерности размещения и образования горючих ископаемых. Мн., 1986.

Т.В.Якубоўская.

т. 1, с. 148

БЕЛАРУ́СКІ ІНСТЫТУ́Т ІНФАРМА́ЦЫІ І ПРАГНО́ЗУ (Белінфармпрагноз) пры адміністрацыі Прэзідэнта Рэспублікі Беларусь. Засн. ў 1959 у Мінску як Ін-т навук.-тэхн. інфармацыі і прапаганды пры Дзяржплане БССР, з 1968 Бел. НДІ навук.-тэхн. інфармацыі і тэхніка-эканам. даследаванняў Дзяржэканамплана, з мая 1993 — Бел. ін-т навукова-тэхн. інфармацыі і прагнозу СМ Рэспублікі Беларусь, са студз. 1995 Белінфармпрагноз. Асн. кірункі работы: даследаванне і выпрацоўка ацэнак і прагнозаў стану грамадства, шляхоў яго рэфармавання і развіцця па наступных кірунках: унутраная і знешняя палітыка Рэспублікі Беларусь, матэрыяльная вытв-сць, працэсы арганізацыі і кіравання ў грамадстве, інтэлектуальныя і інфармацыйныя рэсурсы грамадства, чалавек, сям’я, грамадства.

Г.К.Бурак.

т. 2, с. 444

БЛАХІ́Н Мікалай Мікалаевіч

(н. 4.5.1912, г. Лукаянаў Ніжагародскай вобл., Расія),

савецкі анколаг. Акад. АН СССР (1979), акад. (1960) і прэзідэнт (1960—68, 1977—87) АМН, Герой Сац. Працы (1972). Чл. Польскай (1962), Нью-Йоркскай (1966) АН, АН ГДР (1968). Скончыў Горкаўскі мед. Ін-т (1934). З 1952 дырэктар Ін-та эксперым. і клінічнай анкалогіі, з 1975 — Анкалагічнага навук. цэнтра АМН СССР. Прапанаваў шэраг метадаў пластычных аперацый і хірург. лячэння раку страўніка і прамой кішкі. Навук. працы па анкалогіі, ваенна-палявой і аднаўленчай хірургіі, траўматалогіі, арганізацыі мед. навукі. Аўтар манаграфіі «Скурная пластыка» (1955). Дзярж. прэмія СССР (1982).

Тв.:

Химиотерапия опухолевых заболеваний. М., 1984 (разам з Н.І.Пераводчыкавай).

т. 3, с. 189

БО́ЙКА Анатоль Васілевіч

(4.3.1922, г. Сямёнаўка Чарнігаўскай вобл., Украіна),

бел. геабатанік. Д-р біял. н. (1978). Скончыў Бел. тэхнал. ін-т (1950). З 1950 у Ін-це лесу АН Беларусі і Бел. НДІ лясной гаспадаркі, з 1962 у Цэнтр. бат. садзе АН Беларусі. Навук. працы па фітацэналогіі, вывучэнні прадукцыйнасці, кругавароту элементаў мінер. жыўлення ў лясных экасістэмах, уплыву прамысл. выкідаў на ўстойлівасць раслінных комплексаў, па пытаннях навук. абгрунтавання аховы і запаведання прыродных аб’ектаў. Дзярж. прэмія Беларусі 1978.

Тв.:

Комплексные экспериментальные исследования ландшафтов Белоруссии. Мн., 1973 (у сааўг.);

Экспериментальные исследования природных комплексов Березинского заповедника. Мн., 1975 (разам з Я.А.Сідаровічам, А.Б.Майсеевай);

Экспериментальные исследования ландшафтов Припятского заповедника. Мн., 1976 (у сааўт.).

т. 3, с. 206