адлюстрава́нне, ‑я, н.

1. Дзеянне і стан паводле знач. дзеясл. адлюстроўваць — адлюстраваць і адлюстроўвацца — адлюстравацца.

2. Адбітак прадмета на гладкай люстранай паверхні. Адлюстраванне лодкі ў возеры нічым не адрознівалася ад рэальнай лодкі на паверхні. В. Вольскі. Пазаўчора я аглядаў у вадзе нейкай пушчанскай сажалкі сваё даволі журботнае адлюстраванне. Брыль. // Адбітак у нашай свядомасці з’яў аб’ектыўнай рэальнасці. Ленінская тэорыя адлюстравання. □ Матэрыялізм — прызнанне «аб’ектаў у сабе» або па-за розумам; ідэі і адчуванні — копіі або адлюстраванні гэтых аб’ектаў. Процілеглае вучэнне (ідэалізм): аб’екты не існуюць «па-за розумам»; аб’екты ёсць «камбінацыі адчуванняў». Ленін.

3. Тое, што ўвасабляецца, выяўляецца ў мастацкіх вобразах, малюнках і пад. У вершах, апавяданнях і байках, з якімі К. Крапіва выступіў у друку, шырокія масы працоўных убачылі адлюстраванне сваіх поглядаў, думак і пачуццяў. Казека.

4. Тое, што з’яўляецца вонкавым выяўленнем чаго‑н.; адбітак. Хоць Дзядзюля і не разбіраўся лішне ў тонкасцях тых адлюстраванняў, якія кладзе душа на твар, усё ж ён.. падумаў, што гэтая жанчына ўжо, мусіць, глыбока ведае цану з’явам свету. Чорны.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

кульга́ць, ‑аю, ‑аеш, ‑ае; незак.

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

2. Быць кульгавым, мець карацейшую ці балючую нагу. [Шолам] з прыроды быў глухаваты.. і кульгаў на правую нагу. Корбан. // перан. Разм. Мець значныя недахопы, быць непаўнацэнным у якіх‑н. адносінах. — Зразумейце вы, што ваша тэорыя кульгае... Выпраўце яе, — спачувальна ўхмыльнулася Зося. Шынклер. Непакоіла дысцыпліна. Яна, як кажуць, пачала кульгаць. Многія з выхаванцаў, што наступілі ў дзетдом у апошні час, былі хлопцы цёртыя. Нядзведскі.

3. Разм. Дрэнна ведаць які‑н. вучэбны прадмет, не паспяваць па якім‑н. прадмеце. Кульгаць па матэматыцы. // Быць недастаткова засвоеным (пра які‑н. вучэбны прадмет). У яго фізіка кульгае.

•••

Кульгаць на абедзве нагі — а) будучы недастаткова дасведчаным у якой‑н. справе, рабіць значныя промахі; б) праходзіць дрэнна, з перабоямі, зрывамі (пра справу, работу і інш.). Дысцыпліна кульгае на абедзве нагі.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

А́ТАМНЫЯ СПЕ́КТРЫ,

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

Спектральныя лініі характарызуюцца пэўнымі значэннямі частаты ваганняў святла ν, хвалевага ліку ν/c і даўжыні хвалі λ=c/ν, дзе c — скорасць святла ў вакууме. Для найбольш простых атамных спектраў, якімі з’яўляюцца спектры атама вадароду і вадародападобных іонаў, месцазнаходжанне спектральных ліній вызначаецца па формуле: 1 λ = ν c = Eni − Enk hc = RZ2 ( 1 n2k − 1 n2i ) , дзе En — энергія ўзроўню, h — Планка пастаянная, R — Рыдберга пастаянная, Z — атамны нумар, n — галоўны квантавы лік. Спектральныя лініі аб’ядноўваюцца ў спектральныя серыі, адна з якіх (пры nk=2, ni=3, 4, 5) наз. серыяй Бальмера; адкрыццё яе ў 1885 дало пачатак выяўленню заканамернасцяў у атамных спектрах. Спектры атамаў шчолачных металаў, якія маюць адзін знешні электрон, падобны да спектра атама вадароду, але зрушаны ў бок меншых частот, колькасць спектральных серый павялічана, заканамернасці ў спектрах апісваюцца больш складанымі формуламі. Атамы, у якіх дабудоўваюцца dw- і f-абалонкі (гл. ў арт. Перыядычная сістэма элементаў Мендзялеева), маюць найб. складаныя спектры (многа соцень і тысяч ліній).

Тэорыя атамных спектраў заснавана на характарыстыцы электронаў у атаме квантавымі лікамі n і 1 і дазваляе вызначыць магчымыя ўзроўні энергіі. Вывучаны спектры вял. колькасці нейтральных і іанізаваных атамаў, расшчапленне спектральных ліній атамаў у магнітным (Зеемана з’ява) і ў электрычным (Штарка з’ява) палях. З дапамогай атамных спектраў вызначаецца састаў рэчыва (спектральны аналіз).

Літ.:

Ельяшевич М.А. Атомная и молекулярная спектроскоп я. М., 1962;

Фриш С.Э. Оптические спектры атомов М.; Л., 1963;

Собельман И.И. Введение в теорию атомных спектров. М., 1977.

М.​А.​Ельяшэвіч.

т. 2, с. 68

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

ГРО́ДЗЕНСКАЯ МУЗЫ́ЧНА-ТЭАТРА́ЛЬНАЯ ШКО́ЛА ТЫЗЕНГА́ЎЗА.

Існавала ў 1774—80 у Гродне. Створана падскарбіем надворным літ. А.Тызенгаўзам для задавальнення патрэб Гродзенскага тэатра Тызенгаўза. Кіраўнік — скрыпач і капельмайстар Л.Сітанскі. Навучаліся дзеці прыгонных сялян і мяшчан, якія мелі муз. здольнасці. Вучні набывалі навыкі ігры на струнных і духавых інструментах, клавікордах. Вывучаліся таксама спевы, танец, нотная грамата, тэорыя музыкі і кампазіцыя, некат. агульнаадук. прадметы, рукадзелле; чыталіся лекцыі па выхаванні. Вучні школы выступалі ў спектаклях т-ра (у балетах Г.​Петынеці «Сялянскі балет», «Квартэт дудароў», «Балет пекараў», усе 1778). Яе выхаванцы — танцоўшчыкі Е.Валінскі, Д.Пякарская-Сітанская, М.Рымінскі, спявачка М.​Сітанская праславіліся ў польск. т-ры. З адстаўкай Тызенгаўза школа пераведзена ў Паставы.

Будынак школы пабудаваны ў 1760-я г. на Гарадніцы ў стылі позняга барока. Кампазіцыйна ён завяршыў б. Палацавую пл. (цяпер пл. Тызенгаўза), на якую выходзіў Гродзенскі палац Тызенгаўза. Мураваны, крывалінейны ў плане будынак (яго крывалінейнасць абумоўлена своеасаблівасцю арх. ансамбля плошчы, адсюль назва «Крывая афіцына»), быў накрыты 2-ярусным дахам. Спачатку 2-павярховы з мансардай; 1-ы паверх на гал. фасадзе з увагнутага боку меў адкрытую галерэю з аркадай, з якой 3 уваходы вялі ў класы на 1-м і 2-м паверхах. У мансардзе аналагічнай планіроўкі жылі навучэнцы і настаўнікі. Будынак прызначаўся таксама для адкрытых канцэртаў і наз. «Музычны флігель». Захаваўся ў перабудаваным (2-я пал. 19 — 1-я пал. 20 ст.) варыянце: зменена планіроўка, мансардавы паверх перароблены ў звычайны, замуравана галерэя 1-га паверха, зроблены балконы.

Літ.:

Prosnak Jan. Grodzieńska szkoła muzyczna w czasach Antoniego Tyzenhauza // Muzyka. 1969. № 2;

Mamontowicz-Lojek B. Szkoła artystyczno-teatralna Antoniego Tyzenhauza, 1774—1785 // Rozprawy z dziejów oświaty. Wrocław etc., 1968. Т. 11.

Г.​І.​Барышаў, В.​П.​Пракапцова.

Гродзенская музычна-тэатральная школа Тызенгаўза.

т. 5, с. 427

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

ДЫФЕРЭНЦЫЯ́ЛЬНАЯ ГЕАМЕ́ТРЫЯ,

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

Класічная Д.г. вывучае дыферэнцыяльныя ўласцівасці геам. вобразаў звычайнай трохмернай прасторы, якія не залежаць ад становішча ў прасторы. Асобныя паняцці Д.г. сустракаюцца ў 2-й пал. 17 ст. ў працах англ. вучонага І.​Ньютана, ням. матэматыка Г.​Лейбніца і інш. Асновы тэорыі паверхняў закладзены ў канцы 18 ст. працамі ням. вучонага Л.​Эйлера і франц. вучонага Г.​Монжа. Значны ўклад у развіццё Д.г. зрабілі К.​Гаўс, рус. матэматыкі К.​М.​Петэрсон (пабудаваў асновы класічнай тэорыі паверхняў) і М І.​Лабачэўскі, ням. матэматык Б.​Рыман. Асн. кірункі сучаснай Д.г.: геаметрыя аднародных прастораў, у якіх дзейнічае некат. сукупнасць (група) пераўтварэнняў (у класічнай Д.г. — група рухаў) і вывучаюцца ўласцівасці геам. вобразаў, што не мяняюцца пры пэўных пераўтварэннях; геаметрыя абагульненых прастораў, якія будуюцца на аснове дыферэнцаванай разнастайнасці, што ўключае як прыватны выпадак паняцці крывой і паверхні класічнай Д.г. Асобнае месца займае «геаметрыя ў цэлым», якая даследуе геам. вобразы, што не могуць быць вырашаны сродкамі дыферэнцыяльнага злічэння.

На Беларусі сістэматычныя даследаванні па сучаснай Д.г. пачалі праводзіцца з канца 1960-х г. Пабудавана глабальная тэорыя нармалізаваных і спалучаных звязнасцей у галоўных расслаеннях, праведзена даследаванне сіметрычных прастораў і шэрагу іх абагульненняў (В.І.Вядзернікаў, А.С.Фядэнка).

Літ.:

Погорелов А.В. Дифференциальная геометрия. 5 изд. М., 1969;

Дифференциальная геометрия. Мн., 1982;

Феденко А.С. Пространства с симметриями. Мн., 1977;

История отечественной математики. Т. 3. Киев, 1968.

В.​І.​Вядзернікаў, А.​А.​Гусак.

т. 6, с. 300

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

ЗАЛЯ́ ((Zola) Эміль) (2.4.1840, Парыж — 29.9.1902),

французскі пісьменнік. Раннія творы (зб. навел «Казкі Нінон», 1864; раманы «Споведзь Клода», 1865, «Марсельскія таямніцы», 1867) напісаны пад уплывам рамантызму. Кнігамі літ. і маст. крытыкі «Што я ненавіджу» і «Мой салон» (абедзве 1866), «Эдуар Манэ» (1867) выступіў у абарону новай плыні мастацтва, у прыватнасці імпрэсіянізму. Прыродазнаўчыя адкрыцці (тэорыя эвалюцыі Ч.​Дарвіна), філасофія і эстэтыка пазітывізму (І.​Тэн) падвялі З. да распрацоўкі канцэпцыі натуралізму, асн. палажэнні якога ён выклаў у прадмове да рамана «Тэрэза Ракэн» (1867), у працах «Эксперыментальны раман» (1880) і «Раманісты-натуралісты» (1881). У 1860-я г. З. распачаў серыю з 20 раманаў «Ругон-Макары. Звычайная і сац. гісторыя адной сям’і ў эпоху Другой імперыі» (1868—93), у якой даў маштабную панараму франц. грамадства 2-й пал. 19 ст. Тут па-майстэрску выпісаны вобразы прадстаўнікоў розных класаў, саслоўяў, прафесій і іх асяроддзе: гандлёвая і фінансавая буржуазія («Чэрава Парыжа», 1873, «Дамскае шчасце», 1883, «Грошы», 1891), рамеснікаў і шахцёраў («Пастка», 1877, «Жэрміналь», 1885), сялян («Зямля», 1887), царкоўнікаў і палітыкаў («Праступак абата Мурэ», 1875, «Яго правасхадзіцельства Эжэн Ругон», 1876), мастакоў і ваенных («Творчасць», 1886, «Разіром», 1892) і інш. Роздумы пісьменніка над сац. канфліктамі эпохі, шляхамі перабудовы грамадства, захапленне ідэямі утапічнага сацыялізму знайшлі адлюстраванне ў цыкле «Тры гарады» («Лурд», 1894, «Рым», 1896, «Парыж», 1898) і тэтралогіі «Чатыры Евангеллі» (1898—1902, незавершана). За пісьмо «Я абвінавачваю» ў абарону А.​Дрэйфуса (гл. Дрэйфуса справа) прыгавораны да турэмнага зняволення, з-за чаго вымушаны быў эмігрыраваць у 1898 (вярнуўся праз год). Творчасць З., які з’яднаў «бязлітаснасць рэалізму з мужнасцю палітычнага дзеяння» (Л.​Арагон), зрабіла значны ўплыў на еўрап. і амер. раманістыку 20 ст. У бел. пер. выйшлі «Апавяданні» (1937), раманы З. «Пастка» (1939) і «Разгром» (1941).

Тв.:

Рус. пер. — Собр. соч. Т. 1—26. М., 1960—67.

Літ.:

Владимирова М.М. Романный цикл Э.​Золя «Ругон—Маккары»: Худ. и идейно-филос. единство. Саратов, 1984.

Т.​У.​Кавалёва.

Э.Заля.

т. 6, с. 518

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

ІНСТЫТУ́Т ФІ́ЗІКА-ТЭХНІ́ЧНЫ Нацыянальнай акадэміі навук Беларусі.

Засн. ў 1931 у Мінску (існаваў да 1938). У 1945 у АН БССР створаны фізіка-тэхн. сектар, які ў 1947 рэарганізаваны ў Фізіка-тэхн. ін-т. З 1970 працавала Магілёўскае аддзяленне ін-та (з 1992 самаст. Інстытут тэхналогіі металаў Нац. АН Беларусі). У складзе ін-та (1998): эксперым. аддзел з доследнай вытв-сцю, 21 навук. лабараторыя. Аспірантура з 1950 па 6 спецыяльнасцях.

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

К.​В.​Грышановіч.

т. 7, с. 273

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

ЛІК у матэматыцы,

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

Паняцце натуральных Л. (1, 2, 3, ...) узнікла ў глыбокай старажытнасці з патрэбы параўноўваць і колькасна характарызаваць (лічыць) розныя мноствы прадметаў. З узнікненнем пісьменства Л. пазначалі рыскамі на матэрыяле, які служыў для запісу, напр. папірусе, гліняных таблічках. Пазней уведзены інш. знакі для абазначэння вял. лікаў. З цягам часу паняцце натуральнага Л. набыло больш абстрактную форму, якая ў вуснай мове перадаецца словамі, на пісьме — спец. знакамі. Важным крокам з’яўляецца асэнсаванне бясконцасці натуральнага раду Л., што адлюстравана ў помніках антычнай матэматыкі, працах Эўкліда і Архімеда. Паняцце аб адмоўных Л. узнікла ў 6—11 ст. у Індыі. Аналіз аперацый складання, адымання, множання і дзялення Л. спрыяў узнікненню навукі пра Л. — арыфметыкі. Узнікненне дробавых (рацыянальных) Л. звязана з патрэбамі праводзіць вымярэнні. Напр., даўжыня вымяралася адкладаннем адрэзка, прынятага за адзінку; аднак адзінка вымярэння не заўсёды ўкладвалася цэлую колькасць разоў, што вяло да дзялення цэлага на часткі. Патрэба ў дакладным выражэнні адносін велічынь (напр., адносіны дыяганалі квадрата да яго стараны) прывяла да ўводу ірацыянальных Л. Пры рашэнні лінейных і квадратных ураўненняў паводле фармальных правіл іншы раз атрымліваліся адмоўныя і ўяўныя Л., якім быў нададзены строгі сэнс — узнікла алгебра. Неабходнасць вывучаць фіз. працэсы, неперарыўныя ў прасторы і часе (напр., рух цела), стымулявала ўвядзенне сапраўдных Л. і паняцця лікавай прамой, што з’явілася асновай стварэння матэм. аналізу. Далейшае развіццё паняцця Л. прывяло да камплексных лікаў, гіперкамплексных лікаў, р-адычных лікаў.

Літ.:

Нечаев В.И. Числовые системы. М., 1975;

Бейкер А. Введение в теорию чисел: Пер. с англ. Мн., 1995.

В.​І.​Бернік.

т. 9, с. 256

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

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

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

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

Літ.:

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

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

У.​М.​Сацута.

т. 10, с. 237

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

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308

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