Verbum

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

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

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

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

Літ.:

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

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

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

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

т. 1, с. 207

АТРА́Д у біялогіі, таксанамічная катэгорыя ў сістэматыцы жывёл, прамежкавая паміж сямействам і класам. Іншы раз у сувязі з павелічэннем драбнення сістэмы вылучаюць таксама пад-, інфра- і надатрады. Тэрмін уведзены ў 18 ст. шведскім вучоным К.Лінеем для абазначэння групы жывёл, якая аб’ядноўвае блізкароднасныя сямействы. Напрыклад, сям. сабачыя, янотавыя, куніцавыя, кашэчыя і інш. ўтвараюць атрад драпежных звяроў. Блізкія атрады складаюць клас, часам спачатку надатрад. Напрыклад, атрад бязногіх, хвастатых і бясхвостых земнаводных складаюць клас земнаводных, або амфібій. У сістэматыцы раслін атраду адпавядае парадак.

т. 2, с. 77

АПАЛІ́НЫ

(Opalinatea),

клас паразітычных прасцейшых жывёл атр. эўгленавых. Жывуць у кішэчніку земнаводных, радзей рыб і паўзуноў. Больш за 100 відаў. Найб. вядома A. ranarum.

Даўж. да 1 мм. Цела лістападобнае, плоскае, несіметрычнае, укрытае тысячамі кароткіх жгуцікаў. Стрававальнай сістэмы няма, жывяцца ўсёй паверхняй цела. Ядзер ад 2 да некалькіх соцень. Размнажаюцца бясполым спосабам (дзяленнем) і палавым — парным зліццём аднаядравых мікра- і макрагамет з утварэннем цысты, што трапляе ў ваду і праглынаецца апалонікамі. З цысты выходзіць маленькая апаліна, якая вырастае ў шмат’ядзерную.

т. 1, с. 415

БАКА́НСКАЯ Вера Васілеўна

(н. 30.3.1926, в. Нараватава Кадамскага р-на Разанскай вобл., Расія),

бел. патафізіёлаг. Д-р мед. н. (1981), праф. (1984). Скончыла Душанбінскі мед. ін-т (1950). У 1960—94 у Гродзенскім мед. ін-це. Навук. працы па вывучэнні сістэмы гемакаагуляцыі, агрэгацыі трамбацытаў, антыагрэгацыйных уласцівасцяў сасудзістай сценкі ў гіпаксічным стане; па вызначэнні ўплыву некаторых водарастваральных вітамінаў і простагландзінаў у папярэджанні тромбаўтварэння.

Тв.:

Патология системы крови и гемостаза. Гродно, 1985 (разам з К.А.Эйсмантам);

Патофизиология обмена веществ. Ч. 1—2. Гродно, 1994.

т. 2, с. 228

БРА́ЙТАН

(Brighton),

горад на Пд Вялікабрытаніі, на беразе праліва Ла-Манш. Засн. ў 1750. З 1782 тут была рэзідэнцыя прынца Уэльскага, пазней караля Георга IV. 143 тыс. ж. (1989). Прам-сць: маш.-буд. (у т. л. эл.-тэхн.), харч., мэблевая, паліграф., швейная, фармацэўтычная. Ун-т. Прыморскі кліматычны курорт. Мяккі, умерана вільготны клімат спрыяльны для лячэння органаў дыхання, руху і апоры, расстройстваў нерв. сістэмы. Шматлікія санаторыі, атэлі, вілы, палацы. Арх. помнікі 18 — пач. 19 ст., у т. л. Каралеўскі павільён (1811).

т. 3, с. 237

ГЕЛІЁГРАФ

(ад гелія... + ...граф),

1) у метэаралогіі самапісная прылада для рэгістрацыі працягласці сонечнага ззяння. У аснове канструкцыі геліёграфа Кэмпбела—Стокса нерухомы шкляны шар. Ён служыць лінзай і збірае сонечныя промні, якія прапальваюць кардонную стужку, падзеленую на адпаведныя гадзіне і яе часткам адрэзкі. Па даўжыні прапаленай «зайчыкам» (які на працягу дня перамяшчаецца па стужцы) лініі падлічваецца час, калі свяціла Сонца. Існуюць і інш. сістэмы геліёграфа, у т. л. з фатаграфічнай рэгістрацыяй. Як геліёграф могуць выкарыстоўвацца актынографы.

2) У астраноміі тэлескоп, прыстасаваны для фатаграфавання Сонца.

т. 5, с. 140

ГЕРА́ШЧАНКА Дзмітрый Васілевіч

(н. 25.1.1951, Мінск),

бел. архітэктар. Скончыў БПІ (1974). Працуе ў ін-це «Мінскпраект» (з 1969). Асн. работы: у Мінску — праект рэканструкцыі дзіцячага парку імя М.Горкага (1978), Парк 60-годдзя Кастрычніка (1986), воднае добраўпарадкаванне ўчастка р. Свіслач (1988), водаахоўная зона Сляпянскай воднай сістэмы і 7 сквераў уздоўж яе (1989, у складзе аўтарскага калектыву; Дзярж. прэмія СССР 1989). Паводле яго праектаў ствараюцца паркі: у Нясвіжы; у Мінску — па праспекце газ. «Праўда», вул. П.Глебкі, на левабярэжнай частцы Камсамольскага воз. і інш.

т. 5, с. 171

ГІПАСПАДЫ́Я

(ад гіпа... + грэч. spaō адцягваю ўніз, адрываю знізу),

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

Літ.:

Савченко Н.Е. Гипоспадия и гермафродитизм. Мн., 1974;

Русаков В.И. Лечение гипоспадии. Ростов н/Д, 1988.

т. 5, с. 253

ГА́ЗАВАЯ СЕ́ТКА,

сістэма газаправодаў для транспартавання гаручых газаў і размеркавання іх паміж спажыўцамі; асн. элемент сістэмы газазабеспячэння. Бываюць размеркавальныя, міжпасялковыя і ўнутрыдамавыя; у залежнасці ад колькасці ступеней ціску — адна- (у невялікіх населеных пунктах), двух- (у сярэдніх гарадах), трох- і чатырохступеньчатыя (у вял. гарадах). Гарадскія газавыя сеткі — звычайна кальцавыя (замкнутыя), што забяспечвае бесперабойнасць падачы газу пры адключэнні асобных участкаў. Геагр. становішча Беларусі абумовіла пракладку праз яе тэр. буйных магістральных газаправодаў і, як вынік, паскораную газіфікацыю яе гаспадаркі і высокую шчыльнасць газавых сетак.

т. 4, с. 426