МА́РШАЛА ПЛАН, Праграма аднаўлення Еўропы,

канцэпцыя эканам. дапамогі, якую ЗША аказвалі краінам Еўропы і Турцыі пасля 2-й сусв. вайны. Прапанаваны як ідэя 5.6.1947 дзярж. сакратаром ЗША Дж.К.Маршалам (адсюль назва) у яго выступленні ў Гарвардскім ун-це, папярэдне абмяркоўваўся на Парыжскай нарадзе міністраў замежных спраў ЗША, Вялікабрытаніі, Францыі і СССР (чэрв.ліп. 1947). Згоду на атрыманне амер. дапамогі далі Вялікабрытанія, Францыя, Італія, Бельгія, Нідэрланды, Люксембург, Аўстрыя, Швейцарыя, Швецыя, Нарвегія, Данія, Ірландыя, Ісландыя, Партугалія, Грэцыя, Турцыя, якія ў ліп. 1947 заключылі канвенцыю аб стварэнні Арг-цыі (спачатку К-т) еўрап. эканам. супрацоўніцтва. План садзейнічаў умацаванню пазіцый ЗША у Еўропе. Ад прапаноў амер. эканам. дапамогі адмовіліся СССР і саюзныя яму краіны Усх. Еўропы (вер. 1947), а таксама Фінляндыя. Ажыццяўляўся з 3.4.1948, калі ў ЗША набыў сілу закон аб 4-гадовай праграме «дапамогі замежным дзяржавам». Прадугледжваў папаўненне валютных запасаў еўрап. дзяржаў, стымуляванне іх эканам. аздараўлення, умацаванне эканам. і паліт. супрацоўніцтва ЗША з Еўропай, падштурхоўванне працэсу агульнаеўрап. інтэграцыі. Дапамога аказвалася на падставе двухбаковых пагадненняў паміж ЗША і кожнай з 17 краін Зах. Еўропы (падпісаны ў 1948, у 1949 далучыліся ФРГ і Югаславія; Швейцарыя не падпісала пагадненне, але атрымлівала амер. дапамогу) з федэральнага бюджэту ЗША у выглядзе бязвыплатных субсідый і пазык. З крас. 1948 да снеж. 1951 ЗША выдаткавалі паводле М.п. каля 17 млрд. долараў, прыбл. 60 % гэтай сумы атрымалі Вялікабрытанія, Францыя, Італія, ФРГ. Каардынацыяй і кантролем выканання М.п. займалася Адміністрацыя эканам. супрацоўніцтва (размяшчалася ў Вашынгтоне) на чале з б. прэзідэнтам кампаніі «Студэбекер» П.Гофманам. Афіцыйна дзейнічаў да 30.12.1951, заменены законам «аб узаемным забеспячэнні бяспекі» (прыняты кангрэсам ЗША 10.10.1951), які прадугледжваў адначасовае аказанне эканам. і ваен. дапамогі. М.п. садзейнічаў пачатку 25-гадовага перыяду пасляваен. эканам. росту краін Зах. Еўропы, актывізацыі працэсу іх рэгіянальнай інтэграцыі (у 1950 узнік Еўрап. плацежны саюз).

т. 10, с. 152

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

МАТЭМАТЫ́ЧНАЕ МАДЭЛІ́РАВАННЕ,

метад даследавання аб’ектаў (з’яў, працэсаў, сістэм) шляхам пабудовы і вывучэння іх матэм. мадэлей; адзін з гал. спосабаў навук. пазнання, прагназавання, кіравання і тэхн. праектавання. Уключае 3 асн. этапы: стварэнне мадэлі аб’екта, пераўтварэнне яе ў алгарытм, а алгарытму — у праграму для ЭВМ.

Мадэль аб’екта запісваецца ў матэм. форме з дапамогай законаў прыродазнаўчых і тэхн. навук. У ёй адлюстроўваюцца найважнейшыя ўласцівасці аб’екта, сувязі паміж яго часткамі і інш. Метадамі выліч. матэматыкі мадэль пераўтвараюць у вылічальна-лагічны алгарытм, а затым у праграму для рэалізацыі на ЭВМ, з дапамогай якой праводзяць «доследы» патрэбных якасных і колькасных характарыстык аб’екта. Працэс М.м. пастаянна паляпшаюць і ўдакладняюць ва ўсіх звёнах і паўтараюць да дасягнення патрэбнай дакладнасці супадзення рэальных і імітацыйных даных. Элементы М.м. выкарыстоўвалі з часу паяўлення дакладных навук. Шырокае развіццё яго пачалося ў 1940-я г. і звязана ў асн. са стварэннем ЭВМ (гл. Мадэліраванне ў навуцы і тэхніцы). У канцы 20 ст. М.м. становіцца інтэлектуальным ядром інфарм. тэхналогій, працэсу інфарматызацыі грамадства. Яно выкарыстоўваецца ў ядз. і касм. тэхніцы, авія-, судна-, машынабудаванні, хім. вытв-сці, эканоміцы, сацыялогіі, біялогіі, медыцыне. а таксама там, дзе прамы натурны эксперымент немэтазгодны або немагчымы. Адзін з заснавальнікаў М.м. — рас. вучоны А.А.Самарскі.

На Беларусі М.м. развіваецца ў ін-тах матэматыкі і тэхн. кібернетыкі Нац. АН, БДУ, БПА, Бел. ун-це інфарматыкі і радыёэлектронікі і інш.

Літ.:

Самарский А.А., Михайлов А.П. Математическое моделирование: Идеи. Методы. Примеры. М., 1997;

Самарский А.А., Михайлов А.П. Компьютеры и жизнь: (Мат. моделирование). М., 1987;

Матус П.П., Рычагов Г.П. Математическое моделирование в биологии и медицине: (Аннотацион. справ.). Мн., 1997;

Математическое моделирование: Пер. с англ. М., 1979;

Самарский А.А., Вабищевич П.Н., Матус П.П. Разностные схемы с операторными множителями. Мн., 1998.

С.У.Абламейка, М.П.Савік.

Да арт. Матэматычнае мадэліраванне.

т. 10, с. 212

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

МАТЭМАТЫ́ЧНАЯ ЛІНГВІ́СТЫКА,

матэматычная дысцыпліна, якая распрацоўвае фармальны апарат для апісання будовы натуральных і некаторых штучных моў. Развіваецца ў цесным узаемадзеянні з мовазнаўствам. Узнікла ў 1950-я г. ў сувязі з унутр. патрэбамі лінгвістыкі і развіццём аўтам. перакладу (гл. Машынны пераклад). Мае 2 лінгвістычныя аспекты: інфарматыка для лінгвістыкі — выкарыстанне статыстыкі, тэорыі кадзіравання, розных галін матэматыкі (напр., фактарнага аналізу) пры вырашэнні ўласна лінгвістычных задач (апрацоўка тэкстаў натуральнай мовы пры дапамозе камп’ютэрнай тэхнікі); лінгвістыка для інфарматыкі — цыкл даследаванняў у рамках інтэлекту штучнага, накіраваны на аўтам. або аўтаматызаванае рашэнне задач, якія да гэтага часу рашаліся выключна чалавекам. Апошняя развіваецца пераважна бел. лінгвістычнай школай. Да матэм. метадаў у лінгвістыцы адносяць тэорыю фармальных граматык, лінгвастатыстыку, семантычнае кадзіраванне. Яны дапамагаюць фармалізацыі семантыкі і сінтаксісу натуральных моў і іх статыстычнай апрацоўцы, у выніку чаго атрымліваюць дакладныя фармулёўкі найб. агульных правіл функцыянавання мовы, т.зв. універсаліі. Статыстычная апрацоўка тэкстаў рэалізуецца ў канкардансах (паказальніках слоў у выглядзе прамога, зваротнага, частотнага, камбінаторнага спісаў слоў і іх тэкставых прадстаўленняў). Семантычнае кадзіраванне дазваляе фармалізаваць інфармацыйны пошук у разнастайных тэкстах, атрымаць магчымасць фармальнага вырашэння задач. Ва ўсіх даследаваннях з выкарыстаннем матэм. метадаў у мовазнаўстве ўжываецца новая камп’ютэрная тэхніка, якая дапамагае аналізаваць вял. тэкставыя масівы ў аўтам. рэжыме. Ствараюцца таксама розныя варыянты кананізаванай мовы для прамых зносін камп’ютэра і чалавека, іх інтэрфейс. Кананізацыя мовы павінна адпавядаць моўным заканамернасцям, якія дапамагаюць забяспечыць адпаведнае разуменне тэкстаў. Семантычнае кадзіраванне абапіраецца на некаторыя тыпы алгебры, што дазваляе фармалізаваць адпаведнасць тэкстаў натуральнай мове. Агульная тэндэнцыя ідзе ў кірунку стварэння сістэм штучнага інтэлекту.

Літ.:

Гладкий А.В., Мельчук И.А. Элементы математической лингвистики. М., 1969;

Лесохин М.М., Лукьяненков К.Ф., Пиотровский Р.Г. Введение в математическую лингвистику. Мн., 1982;

Арапов М.В. Квантитативная лингвистика. М., 1988;

Мартынаў В.У., Шуба П.П., Ярмаш М.І. Марфемная дыстрыбуцыя ў беларускай мове: Дзеяслоў. Мн., 1967;

Плотников Б.А. Дистрибутивно-статистический анализ лексических значений. Мн., 1979;

Мартынов В.В. Принципы объективной семантической классификации // Полилог. Мн., 1998. Вып. 1.

В.У.Мартынаў.

т. 10, с. 212

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

МАШЫ́НА (франц. machine ад лац. machina збудаванне),

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

Энергетычныя М. прызначаны для ператварэння любога віду энергіі ў механічную (гідраўлічныя рухавікі, ветрарухавікі, паравыя машыны, газавыя, гідраўлічныя і паравыя турбіны, рухавікі ўнутранага згарання, электрычныя машыны — электрарухавікі і генератары і інш.). Рабочыя М. ажыццяўляюць змену формы, стану, уласцівасцей і прасторавага становішча матэрыялаў, прадметаў працы. Падзяляюцца на тэхнал. (дрэваапрацоўчыя машыны, металарэзныя станкі, будаўнічыя машыны, пракатныя станы, ткацкія станкі, друкарскія машыны, глебаапрацоўчыя машыны, уборачныя машыны, меліярацыйныя машыны і інш.) і транспартныя машыны, у т. л. аўтамабілі, цеплавозы, цеплаходы, самалёты, верталёты, канвееры, элеватары, грузападымальныя машыны. Шырокае выкарыстанне ў розных галінах вытв-сці знайшлі аўтаматы, камбайны, аўтаматычныя лініі, цэхі- і заводы-аўтаматы, якія выконваюць рабочыя і дапаможныя аперацыі тэхнал. працэсаў без непасрэднага ўдзелу чалавека. Інфармацыйныя М. прызначаны для пераўтварэння інфармацыі — яе уніфікацыі, стандартызацыі, назапашвання, перапрацоўкі, перадачы, выкарыстання. Да інфарм. М. адносяць вылічальныя машыны і прыстасаванні, мех. інтэгратары, шыфравальныя М. і інш. (ЭВМ па сутнасці не з’яўляюцца машынамі, назва захавалася ў парадку гіст. пераемнасці ад лічыльных машын тыпу арыфмометра). Шырокае выкарыстанне рознага тыпу М. знайшлі ў ваен. справе — ад стараж. кідальных машын да сучасных баявых машын пяхоты, баявых машын рэактыўнай артылерыі, бронетранспарцёраў, бамбардзіроўшчыкаў і знішчальнікаў, танкаў, цягачоў і інш. Навукай аб агульных метадах даследавання і праектавання М. з’яўляецца механізмаў і машын тэорыя. Гл. таксама Машыназнаўства.

Літ.:

История техники. М., 1962;

Механика машин. Вып. 1—62. М., 1966—89.

У.М.Сацута.

т. 10, с. 237

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

МЕ́ДЗІ ЗЛУЧЭ́ННІ,

хімічныя злучэнні, у састаў якіх уваходзіць медзь. Найб. пашыраныя злучэнні адна- і двухвалентнай медзі: медзі аксіды і солі мінер., а таксама некаторых карбонавых кіслот. Солі аднавалентнай медзі бясколерныя рэчывы, не раствараюцца ў вадзе, лёгка акісляюцца; двухвалентнай — раствараюцца ў вадзе, растворы маюць блакітны колер, які абумоўлены ўтварэннем аквакатыёнаў [Cu(H2O)4]​2+. Солі ўтвараюць устойлівыя комплексныя злучэнні з шэрагам малекул і іонаў (напр., аміякаты).

Медзі(ІІ) ацэтату монагідрат, ці мядзянка (CH3COO)2CuH2O — цёмна-зялёныя крышталі. Выкарыстоўваюць як фунгіцыд, пігмент для керамікі, каталізатар полімерызацыі (напр., стыролу), стабілізатар штучных валокнаў. Медзі (II) карбанаты ўтвараюцца пры абменных рэакцыях у водных растворах паміж солямі Cu (II) і карбанатамі інш. металаў; з раствору ў залежнасці ад т-ры і канцэнтрацыі рэагентаў вылучаюцца нерастваральныя асноўныя, ці гідроксакарбанаты: дыгідроксакарбанат CuCO3 Cu(OH)2 або Cu2(OH)2CO3 (у прыродзе мінерал малахіт) і дыгідроксадыкарбанат 2CuCO3 Cu(OH)2 або Cu3(OH)2(CO3), (мінерал азурыт). Сярэдні карбанат медзі CuCO3 атрымліваюць апрацоўкай асн. карбанатаў дыаксідам вугляроду пад ціскам пры т-ры 180 °C. Медзі (II) сульфат CuSO4 — бясколерныя крышталі, tпл 200 °C, пры награванні (каля 650 °C) раскладаюцца. Утварае шэраг гідратаў, найважнейшы — пентагідрат, ці медны купарвас CuSO4 5H2O — сінія крышталі, абязводжваюцца пры т-ры 250 °C. У прыродзе — мінерал халькантыт. У прам-сці атрымліваюць узаемадзеяннем медзі ці яе аксіду CuO з сернай к-той, абпалам сульфідаў медзі ў прысутнасці кіслароду. Выкарыстоўваюць як пігмент у фарбах, у сельскай гаспадарцы для барацьбы са шкоднікамі і хваробамі раслін і для пратручвання зерня (гл. Медныя ўгнаенні), для вырабу скуры, у гальванатэхніцы і інш. Медзі сульфіды: сульфід медзі (I), ці гемісульфід Cu2S і сульфід медзі (II), ці монасульфід CuS. Чорныя крышталі, не раствараюцца ў вадзе, раствараюцца ў азотнай кіслаце. У прыродзе трапляюцца ў выглядзе мінералаў хальказіну (Cu2S) і кавеліну (CuS). Усе М.з. атрутныя: раздражняюць слізістыя абалонкі, пашкоджваюць страўнікава-кішачны тракт, выклікаюць млоснасць, ірвоту, захворванне печані і інш.

А.П.Чарнякова.

т. 10, с. 249

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

МЕТАЛАГРА́ФІЯ (ад металы + ...графія),

раздзел металазнаўства, які вывучае структуру металаў і сплаваў з дапамогай аптычнай і электроннай мікраскапіі, дыфракцыі рэнтгенаўскіх прамянёў. Даследуе заканамернасці ўтварэння структуры, яе змен пад уплывам знешніх уздзеянняў.

Вывучэнне паверхні металу няўзброеным вокам, праз лупу або мікраскоп з павелічэннем да 10 разоў дазваляе выявіць макраструктуру (крышталічную, хім. або мех. неаднастайнасць у выглядзе буйных зярнят, дэфектаў і дамешкаў). Даследаванне паліраванай і траўленай паверхні пры дапамозе мікраскопа з павелічэннем у 50—1500 разоў дазваляе выявіць мікраструктуру (памеры і формы зярнят, размеркаванне структурных фаз, уключэнняў і дэфармацый). Металаграфскае траўленне (уздзеянне кіслотным і інш. актыўным рэагентам) дае магчымасць устанавіць унутр, структурную будову сплаву. З дапамогай трансмісійнага мікраскопа вядуць электронна-мікраскапічнае даследаванне (выяўляюць фрагменты структуры памерам у некалькі нанаметраў, назіраюць скопішчы дыслакацый і скажэнняў крышт. рашоткі); электроннага сканіруючага мікраскопа — атрымліваюць відарысы дэфектаў структуры з вял. глыбінёй рэзкасці пры павелічэнні да 20 тыс. разоў (вывучаюць паверхні разбурэння, аб’ёмныя ўключэнні і інш.); рэнтгенаўскага дыфрактометра — атрымліваюць інфармацыю аб крышталеграфічных параметрах асобных фаз, унутр. напружаннях, раствораных у металах атамах. Адначасова з металаграфскімі даследаваннямі будовы металаў і сплаваў вывучаюць умовы, што выклікаюць змену іх унутр. структуры (уздзеянне награвання і ахаладжэння, пластычнай дэфармацыі, адпачыну, рэкрышталізацыі, спякання, насычэння хім. элементамі і інш.), а таксама даследуюць фіз. (мех.) уласцівасці. Даныя выкарыстоўваюць для вывучэння працэсаў атрымання метал. матэрыялаў з зададзенымі ўласцівасцямі. М. выкарыстоўваецца як адзін з метадаў кантролю якасці пры ліцці, тэрмаапрацоўцы, апрацоўцы ціскам, зварцы і інш. Першыя даследаванні структуры з выкарыстаннем аптычнага мікраскопа праведзены ў 1931 П.А.Аносавым.

На Беларусі М. выкарыстоўваюць пры распрацоўцы новых матэрыялаў у Фізіка-тэхн. ін-це Нац. АН Беларусі, Бел. навукова-вытв. канцэрне парашковай металургіі, БПА, у металургічнай і металаапрацоўчай прам-сці.

Літ.:

Смолмен Р., Ашби К. Современная металлография: Пер. с англ. М., 1970;

Лившиц Б.Г. Металлография. 3 изд. М., 1990;

Приборы и методы физического металловедения: Пер. с англ. Вып. 1—2. М., 1973—74.

Г.М.Гайдалёнак.

т. 10, с. 304

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

МЕТАЛАРЭ́ЗНЫ СТАНО́К,

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

У залежнасці ад мэтавага прызначэння, выканання адпаведных тэхнал. аперацый і металарэзнага інструменту адрозніваюць: такарныя, свідравальныя, расточныя, шліфавальныя, паліравальныя, даводачныя, заточныя, зубаапрацоўчыя, рэзьбаапрацоўчыя, фрэзерныя, стругальныя, даўбёжныя, працяжныя станкі (гл. адпаведныя арт.), а таксама разразныя, для фіз.-хім. апрацоўкі, балансіровачныя, мнагамэтавыя (апрацоўчыя цэнтры), агрэгатныя станкі. Паводле ступені аўтаматызацыі адрозніваюць М.с. з ручным кіраваннем, паўаўтаматычныя (апрацоўка адной дэталі ў аўтам. рэжыме), аўтаматычныя (апрацоўка і змена дэталей у аўтам. рэжыме). Паводле дасягальнай дакладнасці апрацоўкі адрозніваюць М.с. класаў дакладнасці: Н (нармальнага), П (павышанага), В (высокага), А (асабліва высокага), С (майстар-станкі з хібнасцю апрацоўкі 1 мкм), Т (з хібнасцю 0,3 мкм), К (з хібнасцю 0,1 мкм). Тэхн ўзровень станкоў характарызуецца паказчыкамі прызначэння, надзейнасці, эканомнага выкарыстання матэрыялаў і электраэнергіі, тэхналагічнасці, стандартызацыі і уніфікацыі. эрганамічнасці і патэнтна-прававымі.

На Беларусі розныя тыпы М.с. выпускаюць прадпрыемствы станкабудаўнічай і інструментальнай прамысловасці. Пра развіццё вытв-сці М.с. на Беларусі гл. ў арт. Станкабудаванне.

Літ.:

Чернов Н.Н. Металлорежущие станки. 4 изд. М., 1987;

Кочергин АИ., Конструирование и расчет металлорежущих станков и станочных комплексов. Мн., 1991;

Станочное оборудование автоматизированного производства. Т. 2. М., 1994;

Проектирование металлорежущих станков и станочных систем: В 3 т. Т. 1—2. М., 1994—95.

А.І.Качаргін.

Металарэзны станок: а — асноўныя вузлы (зборачныя адзінкі; 1 — базавыя дэталі, 2 — галоўны прывод, 3 — прыводы падачы і пазіцыяніравання); б — структурная схема (Iу — уваходная інфармацыя ў выглядзе чарцяжа, кіроўнай праграмы і інш.; Iв — выхадная інфармацыя пра памеры апрацаванай дэталі; 3 — загатоўкі; Д — дэталі; Е — энергія; 1—4 — падсістэмы кіравання, кантролю, маніпуліравання загатоўкамі і рэзальнымі інструментамі, апрацоўкі).

т. 10, с. 305

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

МЕТАМАТЭМА́ТЫКА (ад мета... + матэматыка),

раздзел матэматычнай логікі, у якім вывучаюцца асновы матэматыкі, структура і заканамернасці матэм. доказаў з дапамогай фармальных метадаў. Тэрмін «М.» ўвёў Д.Гільберт для абазначэння тэорыі, якая аналізуе структуру і ўласцівасці фармальных сістэм. У шырокім сэнсе — метатэорыя матэматыкі.

Паводле Гільберта, фармалізаваная сістэма, што атрымліваецца ў выніку фармалізацыі навук. тэорыі, даследуецца (на прадмет высвятлення яе несупярэчлівасці, паўнаты, вырашальнасці і ўзаемасувязі з інш. тэорыямі, незалежнасці яе аксіём і інш.) змястоўнымі метадамі, якія не апелююць да сэнсу яе аб’ектаў (формул). Гэта канцэпцыя (наз. фінітызм) прадугледжвае выкарыстанне канечных канструкцый («наглядных» матэм. прадметаў, эфектыўна здзяйсняльных працэсаў) і адмаўляе абстракцыю актуальнай бесканечнасці (гл. Абстракцыя). К.Гёдэль паказаў абмежаванасць фінітных (простых) метадаў для даследавання фармалізаваных тэорый; у 1931 ён даказаў тэарэму аб непаўнаце дастаткова багатых фармальных сістэм (у т. л. аксіяматычнай мностваў тэорыі і арыфметыкі натуральных лікаў) і аб немагчымасці доказу несупярэчлівасці сістэмы з дапамогай сродкаў, якія фармалізуюцца ў гэтай сістэме. Для доказу несупярэчлівасці фундаментальных матэм. тэорый сучасная М. выкарыстоўвае больш складаныя, нефінітныя метады.

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

Літ.:

Клини С.К. Введение в метаматематику: Пер. с англ. М., 1957;

Расёва Е., Сикорский Р. Математика метаматематики: Пер. с англ. М., 1972;

Гильберт Д., Бернайс П. Основания математики: Теория доказательств: Пер. с нем. М., 1982.

С.Ф.Дубянецкі.

т. 10, с. 308

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

МІ́ЛАШ ((Miłosz) Чэслаў) (н. 30.6.1911, Шацейняй, Літва),

польскі паэт, эсэіст, перакладчык. Чл. Польскай АН у Кракаве (з 1992). Скончыў Віленскую гімназію (1929) і Віленскі ун-т (1934), вывучаў л-ру ў Парыжы (1934—35). Працаваў на польск. радыё ў Вільні і Варшаве. У 1945—51 на дыпламат. рабоце ў ЗША і Францыі, застаўся ў эміграцыі. З 1960 жыве ў ЗША. Праф. славістыкі Каліфарнійскага ун-та ў Берклі (1961—78). Дэбютаваў як паэт у 1930. Піша на польск., англ., франц. мовах. У «Паэме пра застылы час» (1933), зб. «Тры зімы» (1936) прадчуванне катастрофы, здольнай знішчыць прыроду і чалавечую цывілізацыю, у зб. «Выратаванне» (1945) матыў маральнай адказнасці і еднасці паэта з лёсам нацыі. Яго паэзіі ўласцівы інтэлектуальнае багацце, філас. абагульненне, пошук нетрадыц. форм. Спалучэнне сімвалічна-эстэт. бачання свету з канкрэтна-пачуццёвай вобразнасцю, разумовасці з лірызмам, пафасу з іроніяй у паэт. зб-ках «Дзённае святло» (1953), «Горад без імя» (1969), «Дзе ўзыходзіць сонца і дзе садзіцца» (1974), «Неабдымная зямля» (1984), «На беразе ракі» (1994) і інш. Аўтар кн. эсэ «Зняволены розум» (1951—53), «Кантыненты» (1958; уключаны вершы і пераклады), «Радзіма — Еўропа» (1959), «Зямля Ульра» (1977), успамінаў «Год паляўнічага» (1990), паліт. рамана «Здабыццё ўлады» (1953), аповесці «Даліна Ісы» (1955, экранізацыя 1982) і інш. Кн. эсэ «Пошук бацькаўшчыны» (1992) звязана з гісторыяй зямель Літвы, Беларусі, Украіны і Польшчы. Перакладаў на польск. мову англ., франц., ісп. паэзію (зб. «Вершаваная форма», 1986), кнігі Старога і Новага запаветаў, а таксама польск. паэзію на англ. мову. Аўтар «Гісторыі польскай літаратуры» (1969). На бел. мову асобныя творы М. пераклалі Ю.Бушлякоў, А.Мінкін, А.Разанаў, А.Хадановіч, Я.Чыквін. Нобелеўская прэмія 1980.

Тв.:

Бел. пер. — Вершы // Далягляды, 92. Мн., 1992;

Сведчанне паэзіі: Паэты і сям’я людзей;

Лекцыя біялогіі;

Вершы // Крыніца. 1997. № 7.

Літ.:

Gorczyńska R. (Czarniecka E.) Podróżny świata: Rozmowy z Czesławem Miłoszem: Komentarze. Kraków, 1992;

Fiut A Moment wieczny: Poezja Czesława Miłosza. Warszawa, 1993.

С.Дз.Малюковіч.

Ч.Мілаш.

т. 10, с. 369

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

МІНЕРАЛО́ГІЯ (ад позналац. minera руда + ...логія),

навука аб прыродных хім. злучэннях — мінералах. Вывучае састаў, уласцівасці, марфалогію, структуру, працэсы ўтварэння і змянення мінералаў, заканамернасці сумеснага знаходжання ў прыродзе, а таксама ўмовы і метады штучнага атрымання з мэтай іх практычнага выкарыстання. Уваходзіць у комплекс геал. навук і цесна звязана з петраграфіяй, крышталяграфіяй, геахіміяй, вучэннем аб карысных выкапнях і інш. Аб’ект даследавання ў М. — асобныя крышталі, іх агрэгаты, генетычныя сукупнасці і інш. У 2-й пал. 20 ст. сфарміраваліся раздзелы М. касмічнай і М. мантыі. Вял. значэнне мае эксперыментальная М., якая займаецца мадэліраваннем фіз.-хім. працэсаў утварэння мінералаў, іх сінтэзам.

М. — найстаражытнейшая з навук геал. цыкла. Тэрмін «М.» ўведзены ў 1636 італьян. натуралістам Б.Цэзіем. М. развівалася паралельна з горнай справай і металургіяй. Элементы мінер. ведаў трапляюцца ў натурфілосафаў (з сярэдзіны 4 ст. да н.э.). Арыстоцель вылучаў у мінер. свеце 2 класы: камяні і руды. Класіфікацыяй мінералаў займаліся Тэафраст, Пліній Старэйшы, у 10—12 ст. Біруні, Ібн Сіна, Альберг Вялікі. Накапленне ведаў аб мінералах (у 17 ст. ў працах дацкіх вучоных Э.Барталіна, Н.Стэна, англ. Р.Бойля, Р.Гука, галандскага К.Гюйгенса, у 18—19 ст.франц. Ж.Б.Рамэ дэ Ліля, Р.Ж.Гаюі, англ. У.Воластана, ням. А.Г.Вернера, рус. М.В.Ламаносава, В.М.Севергіна і інш.) прывяло да дыферэнцыяцыі М. і вылучэння з яе крышталяграфіі (18 ст.), петраграфіі (19 ст.), вучэння аб карысных выкапнях, геахіміі і металагеніі (канец 19 — пач. 20 ст.), вучэння аб каўстабіялітах (20 ст.), крышталяхіміі (сярэдзіна 20 ст.). Вял. ўклад у развіццё М. зрабілі рус. вучоныя М.І.Какшараў, П.У.Ерамееў, А.П.Карпінскі, Я.С.Фёдараў, сав. вучоныя А.Г.Бяцехцін, А.К.Болдыраў, У.І.Вярнадскі, А.М.Заварыцкі, У.М.Лодачнікаў, С.С.Смірноў, А.Я.Ферсман і інш.

На Беларусі мінералагічныя даследаванні праводзяцца паралельна з літалагічнымі, петраграфічнымі, з вывучэннем карысных выкапняў і стратыграфіі. Імі займаюцца ў ВА «Белгеалогія», Бел. н.-д. геолагаразведачным ін-це, Ін-це геал. навук Нац. АН Беларусі і інш.

Я.І.Аношка.

т. 10, с. 381

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)