ГУК,

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

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

П.С.Габец, А.Р.Хаткевіч.

т. 5, с. 522

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

ЗАХО́ДНІ САЯ́Н,

горная сістэма на Пд Сібіры, Расія. Цягнецца ў паўн.-ўсх. напрамку ад вярхоўяў р. Абакан да стыку з Усх. Саянам (каля вытокаў рэк Казыр і Уда). Даўж. больш за 600 км, шыр. ад 80 да 200 км. Складаецца з вузкіх хрыбтоў, падзеленых глыбокімі рачнымі далінамі і міжгорнымі катлавінамі. Найб. вяршыня — г. Кызыл-Тайга (3121 м). Складкавая структура З.С. сфарміравалася ў эпоху каледонскай складкавасці, прадстаўлена 2 краявымі антыклінорыямі, якія падзелены сінклінорыем. Антыклінорыі складзены з гліністых і крамяністых сланцаў, кварцытаў і вапнякоў, прарванымі інтрузіямі гранітаў і дыярытаў, сінклінорыі — з магутнай пясчана-сланцавай тоўшчы. Карысныя выкапні: жал. і медна-кобальтавыя руды, нікель, хром, свінец, цынк, малібдэн, азбест.

Сучасны горны рэльеф сфарміраваўся ў выніку падняццяў канца неагену — пач. антрапагену. Высакагорным рэльефам вызначаецца водападзельны хрыбет, масіў Кызыл-Тайга, хр. Ергакі, сярэднягорным — бакавыя хрыбты (выш. да 2000—2500 м). На Пд — міжгорныя катлавіны (Усінская і Турана-Уюкская).

Клімат рэжа кантынентальны. Сярэдняя т-ра студз. на схілах гор ад -20 °C да -25 °C, у катлавінах да -30 °C, ліп. 10—12 °C, у катлавінах да 20 °C. Гадавая колькасць ападкаў на паўн. схілах 800—1200 мм, на паўд. — да 400 мм. Рэкі належаць да бас. Енісея; галоўныя — Абакан, Кантэгір, Алаш, Ус, Уюк. Большасць азёр прымеркавана да грабянёвай ч. водападзельнага хрыбта і размяшчаецца ў корах. Расліннасць залежыць ад вышыннай пояснасці і экспазіцыі схілаў. На паўн. схілах хваёва-лісцевыя лясы, на выш. 800—1800 м цемнахвойныя лясы, якія пераходзяць у рэдкалессе. Для высакагор’яў характэрны мохава-лішайнікавыя і камяністыя тундры, субальпійскія і альпійскія лугі. На паўд. схілах да выш. 1200—1800 м горны лесастэп з лістоўніцай. У катлавінах палынна-злакавы стэп. У тайзе водзяцца лось, марал, казуля, буры мядзведзь, рысь, собаль, вавёрка, у стэпах — грызуны. З.С. перасякаюць аўтадарогі Абакан—Кызыл (Усінскі тракт) і Абаза—Ак-Давурак.

т. 7, с. 17

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

ЗБОЖЖАЎБО́РАЧНЫ КАМБА́ЙН,

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

З.к. бываюць: самаходныя, прычапныя і навясныя; колавыя, паўгусенічныя і гусенічныя; 1-, 2- і 3-барабанныя. Найб. пашыраны самаходныя З.к., якія складаюцца з жняяркі (хедара), малатарні, капноўшчыка або здрабняльніка саломы з дэфлектарам, бункера для зерня, рухавіка, хадавой часткі, органаў кіравання (у найноўшых — з камп’ютэрам). У краінах СНД выкарыстоўваюць пераважна самаходныя З.к. расійскай вытв-сці: аднабарабанныя СК-5М «Ніва» (прапускная здольнасць 5,5 кг/с) і «Дон-1500» (8 кг/с); двухбарабанныя «Енісей—1200» (6 кг/с); ротарныя СК-10 «Ротар» (10—12 кг/с) і інш. Двухбарабанныя З.к. эфектыўныя на ўборцы вільготнай збажыны і збожжавых культур, якія цяжка абмалочваюцца. Першы З.к. сканструяваў рус. вынаходнік А Р.Уласенка ў 1868, серыйны выпуск З.к. ў СССР пачаўся ў 1929 на з-дзе «Камунар» у г. Запарожжа (Украіна).

На Беларусі выкарыстоўваюць у асноўным З.к. «Ніва», «Дон-1500», а таксама камбайны вытв-сці ФРГ (Е-525, Е-527, МЕГА-218) і Фінляндыі.

В.П.Чабатароў.

Схема збожжаўборачнага камбайна: 1 — рэжучы апарат; 2 — матавіла; 3, 4 — шнэкавы і нахілены транспарцёры; 5,9 — прыёмны і адбойны бітэры; 6 — малацільны барабан; 7 — выгрузны шнэк; 8 — бункер; 10, 11 — зерневы і коласавы элеватары; 12 — рухавік; 13 — саломатрэс; 14 — саломанабівальнік; 15 — капноўшчык; 16 — рашотка; 17 — вентылятар ачысткі; 18 — грохат.
Збожжаўборачны камбайн «Дон-1500».

т. 7, с. 28

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

КАЛГА́С, калектыўная гаспадарка,

форма арганізацыі с.-г. працы, створаная ў СССР у працэсе калектывізацыі сельскай гаспадаркі, спецыфічны тып с.-г. арцелі сялян, аб’яднаных для супольнай вытв-сці на аснове грамадскіх сродкаў і калект. працы. У БССР К. створаны ў 1929—37, на тэр. Зах. Беларусі — ў 1950-я г.

Мат.-тэхн. база першых К. складалася з абагуленых асн. сродкаў вытв-сці, якія належалі сялянам. У 1929 для тэхн. абслугоўвання былі створаны машынна-трактарныя станцыі (МТС; існавалі да 1958). Сучасныя К. — пераважна шматгаліновыя гаспадаркі, спецыялізаваныя на вытв-сці малака, мяса, лёну, бульбы, цукр. буракоў. Гаспадарку вядуць на зямлі, якая з’яўляецца дзярж. уласнасцю, але перадаецца К. на вечнае карыстанне. Члены К. на агульным сходзе ці сходзе ўпаўнаважаных прымаюць статут, у якім вызначаны аспекты вытв.-гасп. дзейнасці, правы і абавязкі калгаснікаў, а для штодзённага кіраўніцтва гаспадаркай выбіраюць праўленне і яго старшыню. Напачатку аплата працы калгаснікаў вялася натуральнымі прадуктамі ў адпаведнасці з выпрацаванымі працаднямі. З 1960-х г. асн. форма аплаты працы — грашовая, ажыццяўляюцца і натуральныя выплаты. Многія К. маюць свае прадпрыемствы па перапрацоўцы с.-г. прадукцыі, вытв-сці буд. матэрыялаў, швейныя майстэрні і інш. На сродкі некаторых К. пабудаваны сучасныя пасёлкі гар. тыпу, дзіцячыя дашкольныя ўстановы, санаторыі, дамы і базы адпачынку. Кожны член К. мае права карыстацца зямельным надзелам (да 1 га) для вядзення асабістай дапаможнай гаспадаркі. На 1.1.1997 у Беларусі 1810 К., якія аб’ядноўваюць 466 тыс. чал., маюць 7512 тыс. га зямель, у т. л. 3717 тыс. га ворных. З фарміраваннем рыначнай эканомікі некаторыя К. ператварыліся ў акц. т-вы, асацыяцыі фермераў, кааператываў і інш. аб’яднанні таваравытворцаў. Пашыраюцца формы арэнднага вядзення гаспадаркі. Асобныя калгаснікі выходзяць э К. і ствараюць свае фермерскія гаспадаркі.

Да арт. Калгас. Уезд у калгас «Прагрэс». Вёска Верцялішкі Гродзенскага раёна.

т. 7, с. 456

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

ЛЕ́ВЫЯ ЭСЭ́РЫ, левыя сацыялісты-рэвалюцыянеры (інтэрнацыяналісты),

партыя сацыяліст. кірунку ў Расіі ў 1917—23. З пач. 1-й сусв. вайны існавалі як плынь, з лета 1917 — як фракцыя ў партыі сацыялістаў-рэвалюцыянераў (эсэраў); як самаст. партыя аформіліся на сваім 1-м з’ездзе 19—28.11(2—11.12).1917 у Петраградзе. Яе лідэры: Б.Д.Камкоў, М.А.Натансон, М.А.Спірыдонава і інш. Цэнтр. орган — газ. «Знамя труда» (1917—18). У ліп. 1918 80 тыс. чл. Выступалі за неадкладную перадачу зямлі сялянам, за выхад Расіі з 1-й сусв. вайны, супраць кааліцыі з кадэтамі. Удзельнічалі ў Кастрычніцкай рэвалюцыі 1917, галасавалі за дэкрэты 2-га Усерас. з’езда Саветаў, увайшлі ў ВЦВК (30 чл.), аднак адмовіліся ўвайсці ў сав. ўрад (СНК), патрабуючы стварыць кааліцыйны ўрад з прадстаўнікоў сацыяліст. партый. З ліст. 1917 на пазіцыі Л.э. перайшла большасць эсэраўскіх арг-цый Беларусі. У студз. 1918 Л.э. ўвайшлі ў СНК (7 чал.). Выступалі супраць Брэсцкага міру 1918, а пасля яго ратыфікацыі (сак. 1918) выйшлі з СНК. Асуджалі палітыку бальшавікоў у адносінах да сярэдняга і заможнага сялянства, на сваім 2-м з’ездзе (крас. 1918) афіцыйна заявілі аб разрыве з імі. Улетку 1918 адбыўся леваэсэраўскі мяцеж 1918 у Маскве (6—7 ліп.), выступленні ў інш. месцах, у т. л. ў Оршы і Сянне (5—6 жн.), якія былі падаўлены. 5-ы Усерас. з’езд Саветаў 9.7.1918 выключыў Л.э. са складу Саветаў, дзесяткі тыс. радавых чл. пакінулі партыю. У вер. 1918 з Л.э. вылучыліся партыі «народнікаў-камуністаў» і «рэв. камуністаў», якія ў 1920 увайшлі ў РКП(б). Большая ч. леваэсэраўскіх кіраўнікоў, у т. л. Спірыдонава, А.А.Ізмайловіч і інш. працягвалі змагацца супраць бальшавікоў у падполлі. Страціўшы ўплыў на масы, Л.э. ў 1923 самаліквідаваліся.

Літ.:

Литвин А.Л., Овруцкий Л.М. Левые эсеры: программа и тактика: (Некоторые вопр.). Казань, 1992;

Малашко А.М. К вопросу об оформлении однопартийной системы в СССР. Мн., 1969;

Фельштинский Ю. Крушение мировой революции. Брестский мир, октябрь 1917 — ноябрь 1918. М., 1992.

Э.А.Ліпецкі.

т. 9, с. 181

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

МАДЭЛІ́РАВАННЕ ў навуцы і тэхніцы,

1) даследаванне складаных фіз. працэсаў, з’яў, аб’ектаў шляхам пабудовы і вывучэння іх мадэлей. Грунтуецца на падобнасці тэорыі і размернасцей аналізе.

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

2) Выраб мадэлей новых прамысл. вырабаў, якія плануецца выпускаць, для адпрацоўкі іх аптымальнай канструкцыі і формы; адзін з асн. метадаў мастацкага канструявання.

3) Выраб мадэлей самалётаў, суднаў і інш. у спартыўных (гл. Мадэлізм спартыўны), доследных і навуч. мэтах (дэманстрацыйнае М.).

Літ.:

Чавчанидзе В.В., Гельман О.Я. Моделирование в науке и технике. М., 1966;

Полисар Г.Л. Моделирование. М., 1963;

Новик И.Б. О моделировании сложных систем. М., 1965;

Седов Л.И. Методы подобия и размерности в механике. 10 изд. М., 1987.

У.М.Сацута.

т. 9, с. 494

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

МАРА́ЛЬ (франц. morale ад лац. moralis маральны, духоўны),

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

Літ.:

Мораль, сознание и поведение. М., 1986;

Библер В.С. Нравственность. Культура. Современность. М., 1990;

Сорокин П.А. Человек. Цивилизация. Общество. М., 1992;

Моральные ценности и личность. М., 1994.

В.В.Краснова.

т. 10, с. 104

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

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

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

Літ.:

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

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

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

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

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

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

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

т. 10, с. 212

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

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308

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

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

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

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

М. ўзнікла ў глыбокай старажытнасці як вучэнне аб мерах. Доўгі час была апісальнай навукай пра розныя меры і суадносіны паміж імі. Гіст. этапамі развіцця М. сталі: устанаўленне эталона метра (Францыя, канец 18 ст.), стварэнне абсалютных сістэм адзінак (К.Гаўс, 1832); падпісанне міжнар. Метрычнай канвенцыі (1875), распрацоўка і ўстанаўленне ў 1960 Міжнароднай сістэмы адзінак (СІ); у Расіі — далучэнне да Метрычнай канвенцыі і стварэнне ў 1893 Дз.І.Мендзялеевым Гал. палаты мер і вагі. У 20 ст. метралагічныя даследаванні асобных краін каардынуюцца міжнароднымі метралагічнымі арганізацыямі. На Беларусі арганізавана сетка арг-цый, адказных за метралагічнае забеспячэнне — метралагічная служба. Пра развіццё М. на Беларусі гл. ў арт. Метралогія гістарычная.

Літ.:

Маликов С.Ф., Тюрин Н.И. Введение в метрологию. 2 изд. М., 1966;

Бурдун Г.Д., Марков Б.Н. Основы метрологии. 3 изд. М., 1985;

Шостьин Н.А. Очерки истории русской метрологии, XI — начало XX в. 2 изд. М., 1990.

У.Л.Саламаха.

т. 10, с. 313

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