Verbum

МАРСКА́Я АВІЯ́ЦЫЯ,

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

М.а. з’явілася ў пач. 20 ст., у т. л. ў 1911—12 у Расіі, у 1919—21 у Польшчы. На тэр. Беларусі па адной авіяэскадрыллі (складаліся з развед. гідрасамалётаў і знішчальнікаў з колавым шасі) для вядзення паветр. разведкі, карэкціроўкі агню манітораў і кананерскіх лодак, бамбардзіроўкі рачных караблёў, канвояў, войск праціўніка і г.д. мелі Пінскія ваен. флатыліі: польская (1928—37, да 10 самалётаў) і савецкая (1940—41, 15—18 самалётаў). У 1930-я г. група гідрасамалётаў (базіравалася ў прырэчнай паласе і ў партах бас. Дняпра) прыдавалася сав. Дняпроўскай ваен. флатыліі. У Вял. Айч. вайну сярод сав. марскіх лётчыкаў вызначыліся беларусы М.В.Аўдзееў, М.У.Барысаў, Ц.С.Жучкоў, І.Б.Катунін, М.А.Кісляк, Я.Г.Навіцкі, У.А.Скугар і інш. Да пач. 1990-х г. у раёне г. Быхаў Магілёўскай вобл. базіравалася стратэг. авіяцыя Балт. флоту.

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

Літ.:

Брусенцев Н.А. Военно-морская авиация. М., 1976;

Olejko A. Rzeczna eskadra lotnicza Flotylli Pińskiej. Pruszków, 1994.

У.Я.Калаткоў, Р.К.Паўловіч.

т. 10, с. 131

МАРШ,

музычны жанр. Склаўся ў інстр. музыцы. Яго вызначальныя рысы: дакладны рытм з вострымі пункцірнымі фігурамі і сінкопамі, мелодыка з «фанфарнымі» інтанацыямі, скачкамі, паўторамі гукаў, квадратнасць пабудовы, устойлівы тэмп. Памер пераважна ​²/₄, ​⁴/₄.

М. сфарміраваўся ў далёкім мінулым на аснове інстр. сігналаў (гл. Сігнальная музыка), паходнай салдацкай песні, некат. форм танц. музыкі (напр., паланэза). Разнастайнасць характару і зместу М. абумоўлена яго канкрэтным прызначэннем (страявы, жалобны, канцэртны і інш.), сац.-грамадскімі ўмовамі эпохі і традыцыямі нац. муз. культур. М. — адзін з вядучых жанраў духавой музыкі, які садзейнічае арганізацыі руху і стварэнню адзінага эмац. настрою. Сярод ваен. М. вылучаюць страявы (парадны), цырыманіяльны (калонны і фанфарны), паходны, або «хуткі», сустрэчны, пахавальны (жалобны), кожны з якіх мае свае муз.-стылявыя асаблівасці. На ранняй ступені развіцця М. стаў таксама жанрам тэатр., канцэртнай і быт. музыкі. Развіваецца ў пастаяннай сувязі яго прыкладной і «мастацкай» форм.

На Беларусі М. выкарыстоўваецца ў нар. і прафес. муз. практыцы; абавязковы кампанент традыц. вясельнага рытуалу, дзе стварае атмасферу ўсеагульнай радасці і ўрачыстасці. У кожнай мясцовасці ёсць свае традыц. папулярныя маршы, у т. л. рус. ваен. М. «Развітанне славянкі», «Туга па Радзіме», «Егерскі марш», «Парыжскі марш 1814 г.», бел. нар. песня «Бывайце здаровы», польск. застольная песня «Сто год» і інш., розныя па месцы і па часе ўзнікнення. У 2-й пал. 19 ст. да жанру М. звярталіся І.Глінскі, Я.Ёдка і інш. М. зрабіў вял. ўплыў на развіццё масавай песні. У 20 ст. М. пісалі бел. кампазітары Р.Бутвілоўскі, Ю.Бяльзацкі, Я.Глебаў, І.Лучанок, П.Падкавыраў, Р.Сурус, Я.Цікоцкі, М.Чуркін. М.-парафразы створаны на тэмы песень У.Алоўнікава, Лучанка, Ю.Семянякі і інш. М. распрацоўваецца ў бел. сімф., опернай, балетнай, фп. музыцы і інш.

Літ.:

Городецкая 3., Магазинер Л. Типичные черты жанра, композиции и музыкального языка маршей // В помощь военному дирижеру. М., 1955. Вып. 2.

І.Дз.Назіна.

т. 10, с. 151

МАТЫ́С ((Matisse) Анры Эміль Бенуа) (31.12.1869, г. Ле-Като, Францыя — 3.11.1954),

французскі жывапісец, графік і скульптар. Вучыўся ў Парыжы ў акадэміі Жуліяна (з 1891), Школе дэкар. мастацтваў (з 1893) і Школе прыгожых мастацтваў (1895—99). Зазнаў уплывы імпрэсіянізму, неаімпрэсіянізму, пуантылізму, П.Сезана, А.Радэна, усх. мастацтва. У 1905—07 адзін з лідэраў фавізму. У сваіх карцінах стварыў новы тып маст. выразнасці праз экзальтаваныя, яркія кантрастныя колеры, у якіх знікаюць лініі контураў выявы: «Жанчына ў зялёным капелюшы», «Расчыненае акно. Каліўр», «Асалода, цішыня і раскоша» (усе 1905), «Нацюрморт на чырвоным дыване», «Радасць быцця» (абодва 1906), «Марго» (1907), «Пустыня, чырвоная гармонія», «Чырвоны пакой» (абедзве 1908), «Танец» (1910) і інш. Пад уражаннем падарожжаў у Марока, Туніс, Паўд. Іспанію ствараў работы, у якіх пераважалі манахромныя фарбавыя плоскасці, выразныя колеравыя кантрасты, арабескі: «Чырвоная майстэрня» (1911), «Чырвоныя рыбы» (1914), «Мараканцы на тэрасе», «Тры сястры», «Мастак і мадэль» (усе 1916), «Дзяўчаты на пляжы» (1916—17), «Урок ігры на піяніна» (1917), серыя «Адаліскі» (1920-я г.), «Дэкаратыўная фігура на арнаментальным фоне» (1927—28), «Румынская блуза» (1940), «Маладая дзяўчына ў белай хустцы» (1941), «Азія» (1946), «Маладая англічанка» (1947), «Вялікі чырвоны інтэр’ер» (1948) і інш. Аўтар пано «Танец» і «Музыка» для асабняка С.Шчукіна ў Маскве (1911), фрыза «Танец» у фондзе Барнса ў Мерыёне (ЗША, 1931—33), афармлення інтэр’ера (у т. л. вітражы) «Капэлы ружанцаў» у Вансе каля Ніцы (Францыя, 1953), скульптур «Дэкаратыўная фігура» (1908), «Венера ў ракавіне» (1931), рэльефу «Аголеная жаночая фігура са спіны» (1930) і інш. Вытанчанасцю лініі вызначаюцца графічныя творы: серыя «Тэмы і варыяцыі» (1941—42), ілюстрацыі да твораў А.Мантэрлана, С.Малармэ, П.Рансара, Шарля Арлеанскага і інш.

Літ.:

Алпатов М.В. Матисс. М., 1969;

Зубова М.В. Графика Матисса. М., 1977;

Эсколье Р. Матисс: Пер. с фр. Л., 1979.

В.Я.Буйвал.

т. 10, с. 209

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

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

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

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

Літ.:

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

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

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

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

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

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

т. 10, с. 212

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

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

Літ.:

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

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

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

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

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

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

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

т. 10, с. 212

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

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

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

Літ.:

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

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

У.М.Сацута.

т. 10, с. 237

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 304

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

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

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

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

Літ.:

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

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

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

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

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

т. 10, с. 305

МЕТА́ЛЫ (лац. metallum ад грэч. metallon шахта, руднік),

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

Да М. адносяць 86 са 109 элементаў перыяд. сістэмы. Паводле становішча ў перыяд. сістэме адрозніваюць М. галоўных (a) і пабочных (b) падгруп, ці непераходныя і пераходныя. У непераходных М. адбываецца запаўненне знешніх s- і p-электронных абалонак (напр., шчолачныя металы), у пераходных — запаўненне размешчаных бліжэй да ядра d- і f-абалонак (гл. Пераходныя элементы). Паводле тэхн. класіфікацыі адрозніваюць чорныя (жалеза і яго сплавы) і каляровыя М., якія ўмоўна падзяляюць на некалькі груп: лёгкія металы, цяжкія (свінец, цынк і інш.), тугаплаўкія металы, высакародныя металы, рэдказямельныя М. (гл. Рэдказямельныя элементы), радыеактыўныя М. (гл. Радыеактыўныя элементы) і інш. Хім. ўласцівасці М. абумоўлены электроннай будовай атамаў, якія лёгка аддаюць знешнія (валентныя) электроны, таму ў хім. рэакцыях яны звычайна з’яўляюцца аднаўляльнікамі. М. ўтвараюць асн. аксіды і гідраксіды, многія замяшчаюць вадарод у к-тах. У прыродзе ў свабодным стане трапляюцца рэдка, звычайна ў выглядзе злучэнняў (аксідаў, сульфідаў і інш.). Здабычай М. з руд займаецца металургія. Ступень выкарыстання М. абумоўлена практычнай каштоўнасцю яго ўласцівасцей, а таксама прыроднымі запасамі (распаўсюджанасцю ў зямной кары) і цяжкасцямі атрымання. Здольнасць М. да ўзаемнага растварэння з утварэннем пры крышталізацыі цвёрдых раствораў і інтэрметалідаў (гл. Металіды) дазваляе атрымліваць мноства сплаваў з разнастайным спалучэннем уласцівасцей. У тэхніцы М. выкарыстоўваюць выключна ў выглядзе сплаваў як найважнейшыя канстр. матэрыялы.

Літ.:

Венецкий С.И. Рассказы о металлах. 4 изд. М., 1985;

Гелин Ф.Д., Чаус А.С. Металлические материалы. Мн., 1999.

Г.Г.Паніч.

т. 10, с. 307

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308