Verbum

ВЕЙС Ювеналій Аляксандравіч

(5.1.1878, Екацярынбург, Расія — 12.12.1950),

бел. вучоны ў галіне машыназнаўства і механізацыі сельскай гаспадаркі. Акад. АН Беларусі (1940). Д-р тэхн. н. (1937), праф. (1909). Засл. дз. нав. Беларусі (1940). Скончыў Новааляксандраўскі ін-т сельскай гаспадаркі і лесаводства (1899). У 1920—41 у Горацкай с.-г. акадэміі, узначальваў Аддз. прыродазнаўчых і с.-г. навук АН Беларусі. З 1947 у Ін-це механізацыі сельскай гаспадаркі АН Беларусі. Навук. працы па праектаванні і выкарыстанні с.-г. машын і механізмаў. Сканструяваў шэраг с.-г. машын, вымяральных і навуч. прылад.

Тв.:

Почвообрабатывающие и посевные машины травопольной системы земледелия. Мн., 1952.

т. 4, с. 62

ВА́ГНЕР Мікалай Пятровіч

(1829, г. Карпінск Свярдлоўскай вобл., Расія — 4.4.1907),

рускі заолаг, пісьменнік. Чл.-кар. Пецярбургскай АН (1898). Д-р прыродазнаўчых навук (1854), праф. Казанскага (з 1860) і Пецярбургскага (з 1871) ун-таў. Скончыў Казанскі ун-т (1849). Навук. працы па энтамалогіі, фауне беспазваночных Белага м. Адкрыў з’яву педагенезу (1862) — т.зв. дзіцячага размнажэння ў некат. беспазваночных жывёл. Сярод літ. прац. найб. вядомы «Казкі Ката-Мурлыкі» (1872).

Тв.:

Самопроизвольное размножение гусениц у насекомых. Казань, 1862;

Беспозвоночные Белого моря. Т. 1. СПб., 1885;

Романы, повести, сказки и рассказы. Т. 1—7. СПб., 1902—08.

т. 3, с. 430

ГО́ЛАД Дзмітрый Сцяпанавіч

(н. 17.9.1932, в. Перароўскі Млынок Жыткавіцкага р-на Гомельскай вобл.),

бел. вучоны-геабатанік. Д-р біял. н. (1995). Акад. Лясной акадэміі навук Украіны (1996). Скончыў Бел. тэхнал. ун-т (1957). З 1959 у Ін-це эксперым. батанікі Нац. АН Беларусі. Навук. працы па геабат. картаграфаванні, фарміраванні аптымальнай сеткі ахоўных прыродных тэрыторый і аб’ектаў, тыпалагічным і эколагагеаграфічным аналізе размяшчэння, фарміравання і сучаснага стану расліннага покрыва Беларусі. Дзярж. прэмія Беларусі 1972.

Тв.:

Растительность Белоруссии, ее картографирование, охрана и использование. Мн., 1979 (разам з І.Д.Юркевічам, У.С.Адзярыхам);

Рекреационные ресурсы бассейна Нарочи и их использование. Мн., 1989 (разам з І.Д.Юркевічам, Я.Л.Красоўскім).

т. 5, с. 322

ГРАНІ́Т (Granit) Рагнар Артур

(30.10.1900, Хельсінкі — 1991),

шведскі нейрафізіёлаг. Чл. Каралеўскай швед. АН, чл. Нац. АН ЗША, ганаровы чл. Амерыканскай акадэміі навук і мастацтваў. Скончыў Хельсінкскі ун-т (1927). З 1928 спецыялізаваўся ў лабараторыі Ч.С.Шэрынгтана ў Оксфардскім ун-це, у 1929—32 у Пенсільванскім ун-це. З 1935 праф. фізіялогіі Хельсінкскага ун-та, з 1940 у Каралінскім ін-це ў Стакгольме, у 1945—67 дырэктар Нобелеўскага ін-та нейрафізіялогіі. У 1963—65 прэзідэнт Каралеўскай швед. АН. Навук. працы па рэгуляванні рухаў цэнтр. нерв. сістэмай. Даследаваў першасныя нейрафізіялагічныя працэсы зроку. Нобелеўская прэмія 1967 (разам з Дж.Уолдам і Х.Хартлайнам).

т. 5, с. 407

БЕЛАРУ́СКІ ІНСТЫТУ́Т НАВУ́КІ І МАСТА́ЦТВА (БІНіМ) у Нью-Йорку, грамадская навук.-культ. арг-цыя бел. эміграцыі ў ЗША. Засн. ў 1951. Штаб-кватэра ў Нью-Йорку, мае філіялы ў Германіі (Мюнхен, з 1955), Канадзе (Таронта, з 1968). Друкаваны орган — навук. штогоднік «Запісы» (з 1952). У 1954—63 выдаваў літ.-маст. час. «Конадні», у 1953—69 — інфармацыйны «Абежнік». Выдадзены аднатомнікі «Спадчына» Я.Купалы (1955), «Вянок» М.Багдановіча (1960), «Матчын дар» А.Гаруна (1962), творы эмігранцкіх бел. пісьменнікаў, навук. працы па гісторыі, л-ры і мастацтве Беларусі. Выдае (з 1979) серыю «Беларускія паэты і пісьменнікі эміграцыі». Падрыхтаваны бібліяграфіі «Янка Купала і Якуб Колас на Захадзе» (В. і З.Кіпелі, 1985), «Пяць стагоддзяў Скарыніяны, XVI—XX» (В.Тумаш, 1989) і інш. Ін-т падтрымлівае сувязі з многімі б-камі свету. У розны час яго ўзначальвалі У.Тамашчык, Я.Ліманоўскі, В.Тумаш, А.Адамовіч, з 1982 В.Кіпель. З канца 1980-х г. інстытут наладжвае кантакты з грамадскімі арг-цыямі Беларусі.

А.В.Мальдзіс.

т. 2, с. 444

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

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

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

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

Літ.:

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

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

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

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

т. 1, с. 207

АБДАРАХМА́Н II

(792—852),

эмір Кардоўскага эмірата [822—852]. Праўнук Абдарахмана І. Спрыяў развіццю навук і мастацтва, выдаткоўваў вял. сродкі на буд-ва палацаў і мячэцяў, што прывяло да ўзмацнення падатковага прыгнёту. Вызначаўся верацярпімасцю. Устанавіў дыпламат. і гандл. адносіны з Візантыяй.

т. 1, с. 18

«ВІ́ЦЕБСКІ СШЫ́ТАК»,

гістарычны навук.-папулярны часопіс. Выходзіць з 1995 у Віцебску на бел. мове. Заснавальнікі: Віцебскі абл. краязн. музей, Віцебскае абл. краязн. аб’яднанне. Асвятляе пытанні гісторыі і культуры Віцебшчыны, публікуе малавядомыя факты, крыніцы матэрыяльнай і духоўнай культуры рэгіёна.

Л.У.Хмяльніцкая.

т. 4, с. 232