Verbum

АРЫНО́КА (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