Verbum

ПАСКАРА́ЛЬНІКІ ЗАРА́ДЖАНЫХ ЧАСЦІ́Ц,

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

У 1919—32 развіццё П.з.ч. грунтавалася на атрыманні высокіх напружанняў і іх выкарыстанні для паскарэння зараджаных часціц. У 1931 створаны электрастатычны генератар (гл. Ван-дэ-Граафа генератар), у 1932 — каскадны генератар, што дазволіла атрымліваць патокі паскораных часціц з энергіяй да 10 МэВ. У 1931—44 распрацаваны рэзанансныя метады паскарэння часціц, пры якіх паскораныя часціцы шматразова праходзілі паскаральны прамежак і набіралі энергію пры адносна невял. паскаральным напружанні (гл. Цыклатрон). У 1940 пабудаваны цыклічны індукцыйны паскаральнік электронаў — бэтатрон. У 1950-я г. прапанаваны прынцыпы аўтафазіроўкі і моцнай факусіроўкі часціц, у выніку павялічыліся межы дасягальных энергій у цыклічных і лінейных П.З.Ч. Існуюць лінейны паскаральнік даўжынёй больш за 3 км, дзе электроны і пазітроны маюць энергію да 45 ГэВ (г. Станфард. ЗША); цыклічны паскаральнік з даўжынёй арбіты каля 27 км з энергіяй да 103 ГэВ (г. Жэнева, Швейцарыя); тэватрон паскарае пратоны і антыпратоны да энергіі 940 ГэВ (г. Батавія, ЗША). Развіццё паскаральнікаў звязана з павелічэннем энергій паскораных часціц, нарошчваннем іх інтэнсіўнасці (сілы току ў пучку) і працягласці імпульсу паскоранага пучка. Распрацоўваюцца новыя і ўдасканальваюцца метады паскарэння, дзе выкарыстоўваюцца звышправодныя матэрыялы ў магнітах і паскаральных сістэмах. аўтам. кіраванне, паскаральнікі 3 накапляльнымі кольцамі (гл. Паскаральнік з сустрэчнымі пучкамі) і інш. Выкарыстоўваюцца для навук. мэт (нараджэння новых часціц, атрымання штучных нуклідаў, вывучэння ядз. рэакцый, для доследаў у радыебіялогіі, хіміі, фізіцы цвёрдага цела і інш.), а таксама ў металургіі (для дэфектаскапіі), дрэваапр. прам-сці (для хуткай высакаякаснай апрацоўкі вырабаў), харч. прам-сці (для стэрылізацыі прадуктаў), медыцыне (для прамянёвай тэрапіі, «бяскроўнай хірургіі» і інш.). Гл. таксама Фазатрон, Сінхрафазатрон.

Літ.:

Комар Е.Г. Основы ускорительной техники. М., 1975;

Лебедев АН., Шальнов А.В. Основы физики и техники ускорителей. 2 изд. М., 1991.

І.​С.​Сацункевіч.

т. 12, с. 163

ПАТСДА́М (Potsdam),

горад на У Германіі, каля паўд.-зах. ускраіны Берліна. Адм. ц. зямлі Брандэнбург. Каля 150 тыс. ж. (2000). Вузел чыгунак і аўтадарог, рачны порт на р. Хафель. Прам-сць: маш.-буд. (буд-ва і рамонт цеплавозаў, рачных суднаў, дакладная механіка і оптыка, эл.-тэхн.), прыладабуд., тэкст., хім.-фармацэўтычная, паліграф., харчасмакавая. Кінастудыя. Астрафіз. абсерваторыя.

Засн. на мяжы 9—10 ст. як слав. паселішча, у пісьмовых крыніцах згадваецца з 993. Пасля 1150 пры Альбрэхце Мядзведзю засн. зноў як ням. паселішча. З 1317 горад (гар. права з 1345). З 1416 уладанне Гогенцолернаў, з 1660 другая (пасля Берліна) рэзідэнцыя курфюрстаў Брандэнбурга, з 1701 — каралёў Прусіі. У 1838 П. злучаны чыг. лініяй з Берлінам. З 1875 навук. цэнтр. У мясц. палацы Цэцыліенгоф адбылася Патсдамская канферэнцыя 1945. У 1952—90 адм. ц. аднайм. акругі ГДР. У 1945—52 і з 1990 адм. ц. зямлі Брандэнбург. У 1991 засн. Патсдамскі ун-т.

У 17—18 ст. адбудаваны як ваен. горад з палісадамі і манум. варотамі. Моцна пашкоджаны ў 2-ю сусв. вайну, адноўлены. Сярод помнікаў стылю барока: «Галандскі квартал» (1737—42), ратуша (1753), Брандэнбургскія вароты (1770). У палацава-паркавым ансамблі Сан-Сусі спалучэнне позняга барока, ракако і ранняга класіцызму; уключае рэгулярны франц. парк, палац (1745—62, арх. Г. фон Кнобельсдорф, прыбудовы 19 ст.), «Кітайскі чайны домік» (1754—56), карцінную галерэю (1755—62), «Павільён з драконамі» (1770) і інш. Ёсць пейзажны англ. парк з палацам Шарлотэнгоф (1826—29, класіцызм) і «Рымскімі лазнямі» (1828—44, абодва арх. К.​Ф.​Шынкель). Комплекс палацаў і паркаў П. ўключаны ЮНЕСКА у спіс Сусветнай спадчыны. Найб. значнае збудаванне 20 ст. — абсерваторыя (вежа Эйнштэйна, 1920—21, арх. Э.​Мендэльзон). Музей першабытнай і стараж. гісторыі.

У.​Я.​Калаткоў (гісторыя).

т. 12, с. 185

«МИ́НСКИЙ ЛИСТО́К»,

першая на Беларусі прыватная грамадска-паліт. і літ. газета ліберальна-асветніцкага кірунку. Выходзіла з 2(14).4.1886 да 31.10(13.11).1902 у Мінску на рус. мове 2—3 разы на тыдзень. Кіраўнікі газеты дапускалі памяркоўную апазіцыю да царызму, некат. з іх прытрымліваліся больш радыкальных народніцкіх поглядаў, за што газета мела адм. спагнанні, а з 27.2.1897 яе выхад прыпынены на 8 месяцаў. Асвятляла мясц. жыццё, падзеі ў краіне і за мяжой, сац.-эканам. становішча сялян і гар. жыхароў, дзейнасць грамадскіх дэмакр. арг-цый. Змяшчала агляды рас. кніг і часопісаў прагрэс. кірунку, прапагандавала дэмакр. і рэалістычныя традыцыі рус. л-ры і маст. культуры, памяркоўна крытыкавала мадэрнісцкія і дэкадэнцкія тэндэнцыі. У пэўнай ступені падтрымлівала развіццё бел. мовы (7.3.1893) і л-ры (рэцэнзія на бел. пераклад апавядання У.​Гаршына «Сігнал», 9.4.1891), друкавала творы Я.​Лучыны, К.​Каганца, мясц. літаратараў Д.​Бохана, А.​Бярозы, Р.​Цягло, А.​Шункевіча (Марозіка), бел. народныя песні, казкі, легенды. Упершыню апубл. ананімную паэму «Тарас на Парнасе» (16.5.1889, пад назвай «Тарас»). Змяшчала краязнаўчыя і этнагр. даследаванні А.​Багдановіча (19.8, 18.11 і 5.12.1886), А.​Слупскага (5.5.1895), М.​Доўнар-Запольскага (пра Ф.​Скарыну, 27.12.1886), рэцэнзіі на фальклорна-этнагр. зборнікі Е.​Раманава (21.4.1887) і П.​Шэйна (8.9.1887). Знаёміла з мясц. выстаўкамі выяўл. мастацтва, асвятляла работу Мінскага таварыства аматараў прыгожых мастацтваў, тэатр. і муз. жыццё, маст. самадзейнасць горада. З 1888 выдавала неперыядычны навук.-папулярны і літ.-публіцыстычны дадатак «Северо-Западный календарь». Пераўтворана ў газ. «Северо-Западный край».

Літ.:

Федорова Т.Н. Общественно-политическая мысль в Белоруссии и «Минский листок» (1886—1902 гг.). Мн., 1966;

Дорошевич Э., Конон В. Очерк истории эстетической мысли Белоруссии. М., 1972. С. 212—230;

Очерки истории философской и социологической мысли Белоруссии (до 1917 г.). Мн., 1973. С. 408—425.

У.​М.​Конан.

т. 10, с. 455

МАДЭЛІ́РАВАННЕ,

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

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

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

Літ.:

Ракитов А.И. Философия компьютерной революции. М., 1991;

Абдеев Р.Ф. Философия информационной цивилизации. М., 1994;

Степин В.С., Горохов В.Г., Розов М.А. Философия науки и техники. М., 1996.

В.​В.​Філіпава.

т. 9, с. 494

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

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

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

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

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

Літ.:

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

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

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

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

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

т. 9, с. 494

МУЗЕ́Й ВЫЯЎЛЕ́НЧЫХ МАСТА́ЦТВАЎ імя А.​С.​Пушкіна ў Маскве,

збор замежнага мастацтва; другі ў Расіі па значнасці (пасля Эрмітажа). Утвораны на аснове Кабінета прыгожых мастацтваў пры Маскоўскім ун-це, існаваў з сярэдзіны 19 ст., пераўтвораны па ініцыятыве праф. І.​Цвятаева ў Музей злепкаў. Адкрыты ў 1912 як Музей прыгожых мастацтваў імператара Аляксандра III пры Маскоўскім ун-це; з 1917 Музей прыгожых мастацтваў, з 1937 сучасная назва. Першапачаткова ў калекцыю музея ўваходзілі злепкі з шэдэўраў ант. і зах.-еўрап. скульптуры, складзены гісторыкам У.​Галянішчавым: збор помнікаў мастацтва Стараж. Егіпта, твораў еўрап. жывапісу, ант. ваз і манет. Пасля 1917 фонды музея папаўняліся творамі з Эрмітажа, Траццякоўскай галерэі, Музея новага зах. мастацтва, інш. музеяў і прыватных калекцый (А.​Бракара, В.​Мандла, Дз.​Шчукіна і інш.). Музей захоўвае помнікі мастацтва Стараж. Усходу, ант. Грэцыі і Рыма, Візантыі, краін Усх. і Зах. Еўропы. У карціннай галерэі вылучаюцца зборы палотнаў галанд. і флам. (Рэмбрант, Я. ван Ройсдал, Г.​Тэрбарх, А. ван Астадэ, Я.​Іорданс, Ф.​Снейдэрс, П.​П.​Рубенс, А. ван Дэйк), франц. (Н.​Пусэн, К.​Ларэн, А.​Вато, Ф.​Бушэ, Ж.​Л.​Давід, К.​Каро, Г.​Курбэ) і інш. школ; адзін з лепшых у свеце збораў майстроў барбізонскай школы, франц. імпрэсіяністаў (К.​Манэ, К.​Пісаро, А.​Рэнуар), постімпрэсіяністаў (В. ван Гог, П.​Гаген, П.​Сезан), а таксама творы А.​Матыса і П.​Пікасо. У аддзеле гравюры і малюнка каля 350 тыс. твораў еўрап., усх. і рас. графікі. З 1981 музей праводзіць муз. фестывалі, якія суправаджаюцца тэматычнымі маст. выстаўкамі. У 1985 створаны фонд маст. фотаздымкаў, у 1994 — Музей асабістых калекцый (на правах навук. аддзела).

Літ.:

Государственный музей изобразительных искусств им. АС.​Пушкина: [Альбом]. М., 1989;

Государственный музей изобразительных искусств им. А.​С.​Пушкина: Кат. картинной галереи. Живопись. Скульптура. Миниатюра. М., 1986.

т. 11, с. 11

МА́ЛЬДЗІС (Адам Восіпавіч) (н. 7.8.1932, в. Расолы Астравецкага р-на Гродзенскай вобл.),

бел. літ.-знавец, крытык, празаік, публіцыст. Д-р філал. н. (1987), праф. (1990). Заслужаны дзеяч польскай культуры (1982). Скончыў БДУ (1956). Працаваў у друку, з 1962 у Ін-це л-ры АН Беларусі. З 1991 у Нац. навук.-асв. цэнтры імя Ф.​Скарыны (у 1991—98 дырэктар). Друкуецца з 1954. Даследуе гісторыю бел. культуры і л-ры 17—19 ст., бел.-польскія і бел.-літоўскія літ. ўзаемасувязі. Адзін з аўтараў кніг «Садружнасць літаратур» (1968), «Гісторыя беларускай дакастрычніцкай літаратуры» (т. 2, 1969), «Старонкі літаратурных сувязей» (1970), «Шляхі вялі праз Беларусь» (1980, з В.​Грыцкевічам), «Перазовы сяброўскіх галасоў» (1988, з А.​Лапінскене). Складальнік зб-каў «Зямля навагрудская, краю мой родны...» А.​Міцкевіча (1969) і «Творы» Я.​Дылы (1981). Падрыхтаваў для выдання рукапіс перакладу Б.​Тарашкевіча на бел. мову паэмы Міцкевіча «Пан Тадэвуш» (1981). Аўтар гіст. аповесці «Восень пасярод вясны» (1984). З 1987 старшыня камісіі «Вяртанне» Бел. фонду культуры, з 1991 прэзідэнт Міжнар. асацыяцыі беларусістаў, з 1996 кіраўнік аддзела культуралогіі Міжнар. АН Еўразіі. Рэдактар біябібліяграфічнага слоўніка «Беларускія пісьменнікі» (т. 1—6, 1992—95) і час. «Кантакты і дыялогі» (з 1996). Дзярж. прэмія Беларусі імя Я.​Коласа 1980 за ўдзел у 2-томным даследаванні «Гісторыя беларускай дакастрычніцкай літаратуры» і «Гісторыя беларускай савецкай літаратуры» (1977, на рус. мове).

Тв.:

Творчае пабрацімства. Мн., 1966;

Падарожжа ў XIX ст. Мн., 1969;

Традыцыі польскага Асветніцтва ў беларускай літаратуры XIX ст. Мн., 1972;

Таямніцы старажытных сховішчаў. Мн., 1974;

Астравеччына, край дарагі... Мн., 1977;

На скрыжаванні славянскіх традыцый. Мн., 1980;

Беларусь у люстэрку мемуарнай літаратуры XVIII ст. Мн., 1982;

3 літаратуразнаўчых вандраванняў. Мн., 1987;

Францыск Скарына як прыхільнік збліжэння і ўзаемаразумення людзей і народаў. Мн., 1988;

Жыццё і ўзнясенне Уладзіміра Караткевіча. Мн.,1990;

І ажываюць спадчыны старонкі: Выбр. Мн., 1994.

С.​С.​Лаўшук.

т. 10, с. 43

МАНТЭСК’Ё ((Montesquieu) Шарль Луі) (18.1.1689, Лабрэд, каля г. Бардо, Францыя — 10.2.1755),

французскі філосафа-светнік, сацыёлаг, правазнаўца, пісьменнік. Чл. Ін-та Францыі (1727). Скончыў каталіцкі каледж (1705). Вывучаў права ў г. Бардо і Парыж. З 1714 саветнік, з 1716 віцэ-прэзідэнт парламента (суда) Бардо. З 1726 у Парыжы. У 1729—31 у Вялікабрытаніі. У творы «Пра дух законаў» (1747), зыходзячы з ант. паліт. тэорый, вылучаў 3 правільныя формы праўлення (дэмакратыя, арыстакратыя і манархія) і адну няправільную (дэспатыя). Найлепшым спосабам недапушчэння дэспатыі лічыў раздзяленне ўлад на заканадаўчую, выканаўчую, судовую, свабоднае функцыянаванне дэмакр. ін-таў грамадзянскай супольнасці і прававой дзяржавы. Прынцыпы раздзялення ўлад і 3 відаў праўлення пакладзены ў аснову паліт. ўладкавання шэрагу краін Еўропы і ЗША, служаць важнай навук.-тэарэт. крыніцай для даследчыкаў і заканадаўцаў. Жорсткасці і бессэнсоўнасці дэспатызму проціпастаўляў сац. роўнасць грамадзян, паліт. плюралізм, свабоду слова і друку, забеспячэнне законнасці і асабістай бяспекі грамадзян. У дэмакратыі рухаючай сілай і ўмовай росквіту краіны абвяшчаў доблесць — павагу да законаў і любоў да Айчыны, адданасць кожнай асобы дэмакр. ідэалам і агульнадзярж. справе. Развіваў канцэпцыю функцыянальнай ролі рэлігіі, якая, на яго думку, паляпшае норавы падданых, змякчае дэспатызм і садзейнічае падтрыманню сац. парадку ў грамадстве. У рамане «Персідскія пісьмы» (1721) крытыкаваў норавы франц. грамадства, яго паказную «цывілізаванасць» і адарваную ад жыцця «вучонасць», прыгон з боку ўлады і царквы. У духу палітыка-прававой і гіст. канцэпцыі М. развівалі вучэнне аб формах сац.-эканам. і паліт. ладу, грамадзянскай супольнасці, пастаянным прагрэсе прававых норм і законапалажэнняў бел. мысліцелі-асветнікі К.​Вырвіч, Ф.​Карпінскі, М.​Карповіч, А.​Нарушэвіч, І.​Страйноўскі, М.​Чацкі і інш.

Тв.:

Рус. пер. — Избр. произв. М., 1955;

Персидские письма. Элиста, 1988.

Літ.:

Баскин М.П. Монтескье. 2 изд. М., 1975;

Азаркин Н.М. Монтескье. М., 1988.

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

т. 10, с. 90

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308

МІКАЛО́ГІЯ (ад грэч. mykēs грыб + ...логія),

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

Да сярэдзіны 19 ст. характэрны апісанне і спробы класіфікацыі грыбоў, пераважна макраскапічных (Н.​А.​Вейнман, К.​Клаўзіус, Х.​Персан, Э.​М.​Фрыс і інш.). У 2-й пал. 19 ст., з пачаткам вывучэння патагенных грыбоў, М. вылучылася ў самаст. навуку (А. дэ Бары, М.С Варонін, О.​Брэфельд, Л.​Р.​Цюлан, Ш.​Цюлан і інш.). З канца 19 ст. развіваюцца фізіялогія і біяхімія грыбоў, эксперым. метады даследаванняў (А.А.Ячэўскі, Г.​А.​Клебс, Л.​І.​Курсанаў, М.​А.​Навумаў, В.​Г.​Траншэль і інш.).

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

С.​Л.​Бельская.

т. 10, с. 352