Verbum

ГАМЕАПА́ТЫЯ (ад гамеа... + патыя),

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

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

Літ.:

Гомеопатический домашний лечебник. 2 изд. М., 1993;

Гомеопатия: Практ. руководство к гомеопат. медицине. Т. 1—2. М., 1995;

Шаретт Ж. Практическое гомеопатическое лекарствоведение: Пер. с фр. Киев, 1990;

Вавилова Н.М., Кент Дж.Т. Реперторий гомеопатических лекарств. Новосибирск, 1995.

Т.​А.​Багрова.

т. 5, с. 13

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

Існавала ў 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

НЕАПЛАТАНІ́ЗМ,

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

В.​І.​Боўш.

т. 11, с. 257

О́ПТЫКА РАССЕ́ЙВАЛЬНЫХ АСЯРО́ДДЗЯЎ,

раздзел фіз. оптыкі, які вывучае распаўсюджванне светлавых хваль у дысперсных сістэмах, аснова метадаў вызначэння структуры рэчыва па характарыстыках рассеяння святла.

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

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

Літ.:

Иванов А.П. Оптика рассеивающих сред. Мн., 1969;

Пришивалко А.П., Бабенко В.А., Кузьмин В.Н. Рассеяние и поглощение света неоднородными и анизотропными сферическими частицами. Мн., 1984;

Зеге Э.П., Иванов А.П., Кацев И.Л. Перенос изображения в рассеивающей среде. Мн., 1985;

Иванов А.П., Лойко В.А., Дик В.П. Распространение света в плотноупакованных дисперсных средах. Мн., 1988.

А.​П.​Іваноў.

т. 11, с. 443

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

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

Спектральныя лініі характарызуюцца пэўнымі значэннямі частаты ваганняў святла ν, хвалевага ліку ν/c і даўжыні хвалі $\mathrm{\lambda }=\mathrm{c/\nu }$, дзе c — скорасць святла ў вакууме. Для найбольш простых атамных спектраў, якімі з’яўляюцца спектры атама вадароду і вадародападобных іонаў, месцазнаходжанне спектральных ліній вызначаецца па формуле: ${\displaystyle \frac{1}{\mathrm{\lambda }}=\frac{\mathrm{\nu }}{\mathrm{c}}=\frac{{\mathrm{En}}_{\mathrm{i}}-{\mathrm{En}}_{\mathrm{k}}}{\mathrm{hc}}={\mathrm{RZ}}^2(\frac{1}{{{\mathrm{n}}^2}_{\mathrm{k}}}-\frac{1}{{{\mathrm{n}}^2}_{\mathrm{i}}})}$ , дзе En — энергія ўзроўню, h — Планка пастаянная, R — Рыдберга пастаянная, Z — атамны нумар, n — галоўны квантавы лік. Спектральныя лініі аб’ядноўваюцца ў спектральныя серыі, адна з якіх (пры ${\mathrm{n}}_{\mathrm{k}}=2$, ${\mathrm{n}}_{\mathrm{i}}=\mathrm{3,\; 4,\; 5}$) наз. серыяй Бальмера; адкрыццё яе ў 1885 дало пачатак выяўленню заканамернасцяў у атамных спектрах. Спектры атамаў шчолачных металаў, якія маюць адзін знешні электрон, падобны да спектра атама вадароду, але зрушаны ў бок меншых частот, колькасць спектральных серый павялічана, заканамернасці ў спектрах апісваюцца больш складанымі формуламі. Атамы, у якіх дабудоўваюцца dw- і f-абалонкі (гл. ў арт. Перыядычная сістэма элементаў Мендзялеева), маюць найб. складаныя спектры (многа соцень і тысяч ліній).

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

Літ.:

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

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

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

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

т. 2, с. 68

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

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

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

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

Літ.:

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

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

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

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

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

т. 6, с. 300

ЗАЛЯ́ ((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

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

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

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

Літ.:

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

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

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

т. 9, с. 256

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

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

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

Літ.:

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

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

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

т. 10, с. 237

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308