Verbum

МЕТАМЕРЫ́Я (ад мета... + грэч. meros частка, доля),

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

А.С.Леанцюк.

т. 10, с. 308

АРЫНО́КА (Orinoco),

рака на Поўначы Паўднёвай Амерыкі, у Венесуэле і Калумбіі. Даўжыня 2730 км, плошча басейна больш за 1 млн. км². Пачынаецца ў паўднёва-заходняй частцы Гвіянскага пласкагор’я, цячэ на Паўночны Усход сярод астанцовых гор Гвіянскага шчыта, утварае шматлікія парогі, вадаспады да 17 м, месцамі цясніны; ніжняе цячэнне Арынока — на Гвіянскай нізіне; упадае ў Атлантычны акіян. Асноўныя прытокі: Каўра, Карані (справа); Гуаўярэ, Мета, Араўка, Апурэ (злева). У вярхоўях ад Арынока аддзяляецца рака Касік’ярэ, па рэчышчы якой каля ​¹/₃ сцёку паступае ў басейн ракі Амазонка (з’ява біфуркацыі рэк). За 200 км ад акіяна — шырокая дэльта (плошча каля 20 тысяч км²), дзе рака падзяляецца на 36 рукавоў (найбольшыя Манама, Макарэа — суднаходны, Бока-Грандэ і іншыя. Марскія прылівы на 400 кіламетраў ад вусця.

Сярэдні расход вады каля 29 тысяч м³/с, гадавы сцёк каля 915 км³. Дажджавыя паводкі з красавіка да кастрычніка. Цвёрды сцёк да 45 млн. т за год. Марское суднаходства — да горада Сьюдад-Балівар, рачное — да горада Пуэрта-Аякуча (Венесуэла), у перыяд дажджоў — да вусця ракі Гуаўярэ (з перарывамі каля парогаў). Каскад ГЭС (найбольшыя — Гуры, на рацэ Карані). На Арынока гарады Санта-Барбара, Пуэрта-Аякуча, Сьюдад-Балівар, Пуэрта-Ардас (Венесуэла), Пуэрта-Карэньё (Калумбія).

М.В.Лаўрыновіч.

т. 2, с. 7

МЕТАЛО́ГІКА (ад мета... + логіка),

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

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

т. 10, с. 306

МЕТАСАМАТЫ́ЗМ, метасаматоз

[ад мета... + грэч. sōma (sōmatos) цела],

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

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

Літ.:

Коржинский Д.С. Теория метасоматической зональности. 2 изд. М., 1982.

І.В.Найдзянкоў.

т. 10, с. 308

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308