раздзел матэматычнай логікі, у якім вывучаюцца асновы матэматыкі, структура і заканамернасці матэм. доказаў з дапамогай фармальных метадаў. Тэрмін «М.» ўвёў Д.Гільберт для абазначэння тэорыі, якая аналізуе структуру і ўласцівасці фармальных сістэм. У шырокім сэнсе — метатэорыя матэматыкі.
Паводле Гільберта, фармалізаваная сістэма, што атрымліваецца ў выніку фармалізацыінавук. тэорыі, даследуецца (на прадмет высвятлення яе несупярэчлівасці, паўнаты, вырашальнасці і ўзаемасувязі з інш. тэорыямі, незалежнасці яе аксіём і інш.) змястоўнымі метадамі, якія не апелююць да сэнсу яе аб’ектаў (формул). Гэта канцэпцыя (наз. фінітызм) прадугледжвае выкарыстанне канечных канструкцый («наглядных» матэм. прадметаў, эфектыўна здзяйсняльных працэсаў) і адмаўляе абстракцыю актуальнай бесканечнасці (гл.Абстракцыя). К.Гёдэль паказаў абмежаванасць фінітных (простых) метадаў для даследавання фармалізаваных тэорый; у 1931 ён даказаў тэарэму аб непаўнаце дастаткова багатых фармальных сістэм (у т. л. аксіяматычнай мностваў тэорыі і арыфметыкі натуральных лікаў) і аб немагчымасці доказу несупярэчлівасці сістэмы з дапамогай сродкаў, якія фармалізуюцца ў гэтай сістэме. Для доказу несупярэчлівасці фундаментальных матэм. тэорый сучасная М. выкарыстоўвае больш складаныя, нефінітныя метады.
Састаўная частка прадмета М. — даследаванне фармалізаваных матэм. тэорый, выкладзеных у выглядзе сімвалічных моў, і вывучэнне саміх гэтых моў. Мноства канечных паслядоўнасцей з аперацыямі над імі таксама могуць быць аб’ектамі матэм. даследавання. Гэта абумоўлівае выкарыстанне ў М. метадаў алгебры (гл.Булева алгебра), тэорыі мностваў і тапалогіі. Шырока выкарыстоўваецца ў М. гёдэлеўскі метад арыфметызацыі метатэорыі і тэорыя рэкурсіўных функцый. У больш вузкім сэнсе да М. (у адрозненне ад металогікі) адносяць пытанні сінтаксісу, прадметнай матэм. тэорыі (гл.Сінтаксіс у логіцы); семантыку вылучаюць у якасці самаст. галіны даследавання (гл.Семантыка лагічная).
Літ.:
Клини С.К. Введение в метаматематику: Пер. с англ.М., 1957;
Расёва Е., Сикорский Р. Математика метаматематики: Пер. с англ.М., 1972;
Гильберт Д., Бернайс П. Основания математики: Теория доказательств: Пер. с нем. М., 1982.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
МІНДО́ЎГ (Мендог; 11957—1263),
заснавальнік і першы вял. князь Вялікага княства Літоўскага. Упершыню ўпамінаецца ў 1219 разам са старэйшым братам Даўспрункам сярод «старшых князёў» Літвы, якія падпісалі дагавор з Уладзіміра-Валынскім княствам. Да сярэдзіны 1230-х г. М. дасягнуў аднаасобнай улады ў Літве або значнай яе частцы. Ў 1236 «Литва Мендога» знаходзілася ў саюзных або васальных адносінах з галіцка-валынскім кн. Данілам Раманавічам. Далучыў да сваіх уладанняў Новагародскую (Навагрудскую) зямлю і ўладкаваў свайго стаўленіка ў Полацку, што фактычна дало пачатак утварэнню ВКЛ. Пасля гэтага адносіны М. з Данілам сталі варожымі. У познім Густынскім летапісе (17 ст.) паведамляецца пра хрышчэнне М. ў праваслаўе ў 1246, аднак гэта не пацвярджаецца больш раннімі крыніцамі. Каля 1249 М. захапіў уладанні сваіх пляменнікаў Эдзівіда і Таўцівіла, што выклікала іх мяцеж, да якога далучыліся жамойцкі кн. Выкінт, Даніла Раманавіч, Лівонскі ордэн і Рыжскае арцыбіскупства. Каб разбурыць гэту небяспечную кааліцыю, М. пайшоў на прамыя зносіны з Рымам, у канцы 1250 або пач. 1251 прыняў каталіцтва, а ў 1252 (паводле інш. звестак 1253) каранаваўся ў Навагрудку каралеўскай каронай, якую прыслаў рымскі папа Інакенцій IV. Гэта дазволіла М. выйсці з вайны з мінімальнымі стратамі, хоць ён быў вымушаны часова аддаць крыжакам частку Жамойці, а сыну Данілы Раману — Навагрудак (на ўмовах васальнай залежнасці ад М.). Каля 1254 М. выдаў сваю дачку замуж за Шварна, другога сына Данілы. Каля 1257 супраць Літвы быў арганізаваны паход мангола-татарскага ваяводы Бурундая і галіцка-валынскіх князёў, аднак М. здолеў не толькі захаваць уладу, але і аднавіць поўны кантроль над Навагрудскай зямлёй. У 1261 ён разарваў мір з Лівонскім ордэнам і адмовіўся ад каталіцтва. У канцы жыцця карыстаўся неабмежаванай уладай у Літве, што выклікала змову супраць яго князёў жамойцкага Траняты, полацкага Таўцівіла, нальшчанскага Даўмонта. У выніку М. быў забіты разам з сынамі Рупекам і Руклем.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
БІ́РЗЭ (Birze; сапр.Берзіньш) Міервальдзіс Янавіч
(н. 21.3.1921, г. Руіена, Латвія),
латышскі пісьменнік. Засл. дз. культ. Латвіі (1967), ганаровы чл.АН Латвіі (1990). Скончыў Латвійскі ун-т (1949). Быў вязнем ням. канцэнтрацыйных лагераў (1943—45). Друкуецца з 1953. Антыфашысцкая накіраванасць творчасці Бірзэ выявілася ў аповесці «І пад лёдам рака цячэ» (1957, Дзярж. прэмія Латвіі 1958), зб-ках «Як нарадзілася апавяданне» (1961), «Успаміны, успаміны...» (1968), п’есах «Гэта быў не апошні дзень» (1961), «У карчме «Чорны глушэц» (1965). Значныя творы 1980—90-х г. «Гэтыя няпройдзеныя мілі» (1986), «Дзённікі, І—III» (1990—91). Выступае за гуманізм, у абарону духоўных каштоўнасцяў чалавецтва. Аўтар эсэ, сатыр. і гумарыстычных апавяданняў. Творы Бірзэ на бел. мову пераклалі У.Пігулеўскі (у зб. «Латышскія апавяданні», 1956), У.Васілевіч (у зб. «Сучасныя латышскія апавяданні», 1978).
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
БІСЕКСУА́ЛЬНАСЦЬ (ад бі... + лац. sexualis палавы),
1) у сексапаталогіі — палавая цяга да асоб абодвух палоў.
2) Гермафрадытызм. У першым значэнні бісексуальнасць можа быць вынікам незавершанасці фарміравання псіхасексуальнай арыентацыі або сродкам «аховы» (жаданне гомасексуаліста выдаць сябе за гетэрасексуала). Вылучаюць некалькі тыпаў бісексуальных паводзін: бісексуальнасць пубертатнага перыяду, калі падлетак яшчэ не выявіў сваёй эратычнай перавагі і можа эксперыментаваць у абодвух кірунках; чаргаванне гетэра- і гомасексуальных паводзін на аснове ўсведамлення індывідам двух якасна розных сексуальных «сцэнарыяў»; сітуацыйна абумоўленая, або псеўдабісексуальнасць, напр. ва ўмовах вымушанай палавой ізаляцыі (армія, турма і інш.). Бісексуальнасць існуе таксама як паралельныя гома- і гетэрасексуальныя паводзіны, калі афіцыйны гетэрасексуальны шлюб сумяшчаецца з тайнымі гомасексуальнымі прыхільнасцямі мужа ці жонкі. Часцей гэта адбываецца як вынік позняй сексуальнай ідэнтыфікацыі мужа ці жонкі. Часам бісексуальнасць развіваецца ў выніку раўнадушша да полу партнёра.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
БЕЙСБО́Л (англ. baseball),
спартыўная гульня з мячом і бітай. Узнікла ў ЗША на пач. 19 ст. Гуляюць 2 каманды па 9 чал. на пляцоўцы ў выглядзе ромба з бакамі ў 90 футаў (27,4 м). Вуглы пляцоўкі лічацца «базай» («домам»). Спартсмены атакуючай каманды па чарзе стаяць каля «базы», адбіваюць бітай мяч, які кідаюць ім, і пакуль ён ляціць, перабягаюць да другой «базы». Сапернікі імкнуцца злавіць мяч і пацэліць ім у таго, хто перабягае да «базы». Калі гэта ўдаецца зрабіць тройчы, каманды мяняюцца месцамі. Каманда, якае мае найб. колькасць перабежак праз усе «базы» ў свой «дом» пасля 9 такіх змен, лічыцца пераможцай. Спрошчаны варыянт бейсболу — софтбол (можна гуляць на невял. пляцоўках, у т. л. ў зале). Падобныя на бейсбол гульні ёсць і ў інш. народаў: бел.апука, англ. крыкет, рус. лапта і інш.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ГРО́ДЗЕНСКАЯ НІ́ЖНЯЯ ЦАРКВА́,
помнік стараж. дойлідства. Пабудавана ў 12 ст. майстрамі Гродзенскай школы дойлідства на тэр.Гродзенскага Старога замка. Пасля пажару 1183 да сярэдзіны 13 ст. разбурылася. Яе руіны выяўлены пад фрагментамі больш позняй Гродзенскай Верхняй царквы ў час археал. раскопак 1931—37. Часткова захаваліся рэшткі сцен (да выш. 3,5 м), фрагменты падкупальных слупоў і элементы дэкар. ўпрыгожання.
Паводле плана гэта быў 4-стаўповы храм тыпу ўпісанага крыжа без нартэкса з развітой алтарнай часткай. Фасады аздоблены паліраванымі і неапрацаванымі рознакаляровымі камянямі, маёлікавымі квадратнымі пліткамі і паліванай чашападобнай кафляй. Гал. ўпрыгожанне інтэр’ера — маёлікавая ўзорыстая падлога і алтарная перагародка. Захаваліся дэталі багата ўпрыгожанай драўлянай алтарнай перагародкі, пазалочаныя медныя лісты з выгравіраванымі выявамі апосталаў і святых у абрамленні кругоў са складаным раслінным і плеценым арнаментам.
Да арт.Гродзенская Ніжняя царква. Фрагмент маёлікавай падлогі.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
БУ́ДНЫ Бенеш, дзеяч бел. культуры 16—17 ст., пісьменнік, перакладчык. Нарадзіўся, верагодна, у мяст. Лоск (цяпер у Валожынскім р-не Мінскай вобл.). Скончыў Кёнігсбергскі пратэстанцкі ун-т. Да 1594 жыў пры двары бел. магнатаў Ф.Скуміна, А.Храптовіча, потым служыў у М.К.Радзівіла. Яго асн. твор «Кароткія і ясныя аповесці, якія па-грэчаску называюцца «Апафегматы» (Вільня, 1599) у 17 ст. вытрымаў 11 выданняў, у 1711 па загадзе Пятра I перакладзены на рус. мову і надрукаваны ў Маскве. Гэтафілас.-этычныя сентэнцыі з нагоды вучэння ці жыцця ант. філосафаў і паліт. дзеячаў. Будны спрабаваў хрысціянізаваць ант. этыку і на аснове сінтэзу духоўных каштоўнасцяў антычнасці і хрысціянства выпрацаваць агульначалавечыя прынцыпы і нормы маралі, карысныя для ўсіх эпох. Пераклаў трактаты Цыцэрона «Аб старасці» (1956), «Аб дружбе» (1603).
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ВЫСЯЛЕ́ННЕ,
пазбаўленне грамадзяніна права карыстацца жылым памяшканнем, якое ён займае. З дамоў дзярж. або грамадскага фонду высяленне дапускаецца, як правіла, у суд. парадку. У адм. парадку з санкцыі пракурора высяляюцца асобы, якія самаўпраўна занялі жыллё ці пражываюць у дамах, якім пагражае абвал. Высяленне з выдзяленнем інш. жылога памяшкання дазваляецца ў выпадках, калі дом пагражае абвалам, падлягае зносу ці пераабсталяванню ў нежылы. Гэта датычыцца таксама ваеннаслужачых і членаў іх сем’яў пры выхадзе ў адстаўку ці ў запас і некаторых катэгорый рабочых і служачых пэўных галін нар. гаспадаркі, якія карысталіся жыллём прадпрыемстваў. Без забеспячэння жыллём высяляюць асоб, якія самаўпраўна занялі жылыя памяшканні, тых наймальнікаў і членаў іх сем’яў, што сістэматычна разбураюць ці псуюць жыллё, выкарыстоўваюць яго не па прызначэнні ці робяць немагчымым для іншых пражыванне ў адной кватэры або доме.
армянскі і расійскі акцёр. Нар.арт.СССР (1985). Скончыў Ерэванскі маст.-тэатр.ін-т (1958). Ў 1955—66 у Рус.драм. т-ры (Ерэван), у 1969—96 у т-ры імя У.Маякоўскага, з 1996 у «Ленкоме» (Масква). Акцёр моцнага тэмпераменту, майстар пераўвасаблення, стварае тонкі і заўсёды дакладны псіхал. малюнак вобраза. Сярод роляў: Стэнлі Кавальскі («Трамвай «Жаданне» Т.Уільямса), Сакрат і Нерон («Гутаркі з Сакратам» і «Тэатр часоў Нерона і Сенекі» Э.Радзінскага), Хлудаў («Бег» М.Булгакава), Мэндэль Крык («Захад сонца» І.Бабеля). З 1960 здымаецца ў кіно («Добры дзень, гэта я!», «Калі настае верасень», «Жураўлік», «Тэгеран-43») і тэлефільмах («Аперацыя «Трэст», «Нікало Паганіні», «Добры дзень, я ваша цёця», «Месца сустрэчы змяніць нельга», «Сабака на сене» і інш.). Дзярж. прэміі Арменіі 1975, 1979.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
КАНСЕПТЫ́ЗМ (ісп. conceptismo ад concepto паняцце, думка),
адна з 2 асн. школ ісп.барока (разам з гангарызмам), пачатак якой паклаў ісп. паэт А. дэ Ледэсма Буйтрага («Духоўныя кансепты», 1600). Тэарэтычна абгрунтаваны ў эстэт. трактаце Б.Грасіяна-і-Маралеса. У аснове К. раскрыццё ўсёй складанасці, парадаксальнасці, шматасацыятыўнасці думкі. Паслядоўнікі К. займаліся пошукамі глыбінных і нечаканых сувязей паміж далёкімі прадметамі, з’явамі, паняццямі, імкнуліся да выяўлення парадаксальных заканамернасцей быцця, макс. выразнасці і сэнсавай насычанасці выказвання. Гэта абумовіла шматзначнасць слова, каламбуры, разбурэнне фразеалагізмаў, ужыванне іх у незвычайным кантэксце, метафары-кансепты, апрадмечванне метафар і ідыём. Стыль К. атрымаў назву «цяжкага стылю». Найб. поўна выявіўся ў т. зв. шахрайскім рамане Ф.Кеведа-і-Вільегаса і Л.Велеса дэ Гевары, спрыяў стварэнню гратэскна-сатыр., фантасмагарычнай карціны ісп. рэчаіснасці.