Verbum

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

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

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

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

Літ.:

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

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

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

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

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

т. 6, с. 300

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

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

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

Літ.:

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

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

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

т. 9, с. 256

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

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

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

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

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

Літ.:

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

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

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

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

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

т. 9, с. 494

МА́ЙКАЎ (Апалон Мікалаевіч) (4.6.1821, Масква — 20.3.1897),

рускі паэт. Чл.-кар. Пецярбургскай АН (з 1853). Скончыў Пецярбургскі ун-т (1841). У 1842—44 за мяжой, пераважна ў Італіі. З 1844 пам. бібліятэкара Румянцаўскага музея, з 1852 у Пецярбургскім к-це замежнай цэнзуры (з 1875 яго старшыня). Друкаваўся з 1835. Першы зб. «Вершы» (1842), якім працягваў традыцыі анталагічнай лірыкі К.​М.​Бацюшкава і М.​І.​Гнедзіча. Уражанні ад Італіі, вобразы і тэмы антычнасці і сучаснасці ў зб. «Нарысы Рыма» (1847). Некат. празаічныя творы 1840-х г., паэмы «Два лёсы» (1845), «Машачка» (1846) і інш. напісаны ў духу натуральнай школы. У 1850-я г. перайшоў на кансерватыўныя пазіцыі, ідэі славянафільства і панславізму (паэма «Клермонцкі сабор», 1853). Часу ранняга хрысціянства, яго сутыкненням з язычніцтвам прысвечаны паэма «Тры смерці» (1857) і яе працяг «Смерць Люцыя» [1863; абедзве перапрацаваныя ўвайшлі ў драму «Два светы» (1872, 2-я рэд. 1881, Пушкінская прэмія АН 1882)]. У 1854—56 напісаў шэраг вершаў, прысвечаных рус. прыродзе. Творчасці М. ўласцівы культ прыгажосці, арыентацыя на фальклорную паэтыку, традыцыі стараж.-рус. славеснасці (паэма «Вандроўнік», 1867). Аўтар паэт. пералажэння «Слова аб палку Ігаравым» (1870), крытычных артыкулаў пра л-ру і выяўл. мастацтва. Перакладаў Фірдаўсі, стараж.-інд. эпас «Рамаяна», ант. паэтаў, І.​В.​Гётэ, Г.​Гейнэ, Г.​Лангфела, А.​Міцкевіча, сербскія і бел. (7 твораў) нар. песні і інш. Асобныя вершы М. пакладзены на музыку П.​Чайкоўскім, М.​Рымскім-Корсакавым і інш. На бел. мову яго верш «Золата, золата падае з неба» пераклаў М.​Багдановіч.

Тв.:

Избр. произв. Л., 1977;

Соч. Т. 1—2. М., 1984;

Стихотворения и поэмы. Л., 1987.

Літ.:

Анненский И.Ф. Майков и педагогическое значение его поэзии [1898] // Анненский И.Ф. Книги отражений. М., 1979;

Ямпольский И.Г. Поэты и прозаики. Л., 1986. С. 110—141.

т. 9, с. 519

МАКРАКО́СМАС І МІКРАКО́СМАС,

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

В.​І.​Боўш.

т. 9, с. 541

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

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

Літ.:

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

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

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

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

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

т. 10, с. 104

ЛО́СКІ (Мікалай Ануфрыевіч) (6.12.1870, г. Краслава, Латвія — 24.1.1965),

філосаф, заснавальнік інтуітывізму, прадстаўнік персаналізму ў Расіі. Атрымаў адукацыю ў Пецярбургскім ун-це (1891—98), скончыўшы фізіка-матэм. і гісторыка-філал. ф-ты. Д-р філасофіі (1907). З 1916 праф. Пецярбургскага ун-та. У 1922 высланы за мяжу. Выкладаў ва ун-тах Прагі, Брно, Браціславы (да 1945). У 1946 пераехаў у ЗША (праф. філасофіі Свята-Уладзіміраўскай духоўнай акадэміі ў Нью-Йорку, 1947—50). У аснову тэорыі пазнання Л. пакладзена сістэма т.зв. інтэгральнага інтуітывізму — любы прадмет пазнаецца шляхам інтуіцыі (інтэлектуальнай, пачуццёвай, містычнай) у залежнасці ад характару аб’екта. У вучэнні аб быцці (анталогіі) зыходзіў з таго, што свет складаецца з мноства субстанцый — звышпрасторавых і звышчасавых ідэальных асоб, «субстанцыянальных дзеячаў», падобна паняццю манады Г.​Лейбніца, якія звязаны паміж сабой і звышсусв. пачаткам (Богам) і ўтвараюць вышэйшую сферу свету — Царства Божае, або Царства гармоніі. У сваіх этычных працах развіваў анталагічную тэорыю каштоўнасцей, паводле якой абс. каштоўнасці ўвасоблены ў «паўнаце быцця», У Богу; грамадства, у якім знікаюць уяўленні аб вышэйшых каштоўнасцях і ідэалах, становіцца арэнай неўтаймаванага эгаізму і маральнага хаосу, што вядзе да ўзаемнага непаразумення і бязлітаснасці, росту злачыннасці, духоўнаму збядненню ўнутр. свету асобы. На яго думку, у рамках маральнага прагрэсу, які падымае сусв. істоты на больш высокія ступені дасканаласці, адбываецца і маральны рэгрэс — працэс аддалення ад Бога носьбітаў «сатанінскай прыроды»; у гісторыі адбываецца рух «ад нуля» ў бок абс. дабра і адноснага зла, прамежкавых фаз на шляху прагрэсу да больш высокіх форм боскага дабра і справядлівасці.

Тв.:

Свобода воли. Париж, 1927;

Избранное. М., 1991;

Условия абсолютного добра. М., 1991;

Чувственная, интеллектуальная и мистическая интуиция. М., 1995.

Літ.:

Старченко Н.Н. Мир, интуиция и человек в философии Н.​О.​Лосского. М., 1991.

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

т. 9, с. 348

ПА́ДУЯ (Padova),

горад на Пн Італіі. Адм. цэнтр прав. Падуя. Каля 220 тыс. ж. (1999). Вузел чыгунак і аўтадарог, суднаходным каналам злучаны з Адрыятычным м. Прам-сць: машынабудаванне (вытв-сць станкоў, прылад, веласіпедаў, с.-г. машын, матораў і інш.), эл.-тэхн., металургічная, хім., абутковая, швейная, мэблевая, дрэваапр., папяровая, харч., паліграфічная. Падуанскі універсітэт, у якім працавалі Г.Галілей, А.Везалій і інш., вучыўся Ф.​Скарына. Бат. сад (з 1545, найстарэйшы ў Еўропе). Штогадовы міжнар. кірмаш.

Згадваецца ў 4 ст. да н.э. (лац. Patavium) Цітам Лівіем. У 49 да н.э. атрымала правы рым. муніцыпіі. У 601 н.э. разбурана лангабардамі. З пач. 12 ст. гар. камуна. У 13 ст. рамесніцкі і гандл. цэнтр (штогадовыя кірмашы агульна-італьян. значэння). У 1318 у П. ўсталявалася сіньёрыя роду Карара, пазней дэла Скала і Вісконці. У 1405—1797 у складзе Венецыянскай рэспублікі. У 15—17 ст. П. — буйны культ. цэнтр: у 1222 засн. ун-т, у 1545 — першы ў свеце бат. сад. Пасля 1797 П. па чарзе валодалі Аўстрыя і Францыя. У 1813 падпарадкавана аўстр. Габсбургамі. З 1866 у складзе Італьян. каралеўства.

Захаваліся рэшткі стараж.-рым. грабніц, мастоў, амфітэатра і форума. Сярод арх. помнікаў: Палацца дэла Раджоне (1215—1306), базіліка Сант-Антоніо (1232; побач з ёй конны помнік кандацьеру Гатамелату, 1447—53, скульпт. Данатэла), Капэла дэль Арэна (Скравены; пач. 14 ст., фрэскі Джота ды Бандоне), араторый Сант-Джорджо (1384, фрэскі Альтык’ера і Аванца), будынак ун-та (1493), сабор Санта-Марыя Асунта (16 ст., арх. Андрэа да Вале). Музеі: гарадскі (пераважна жывапіс і скульптура 15—19 ст.), Сант-Антоніо (творы з царквы і манастыра Сант-Антоніо), Батачын (нумізматычныя і археал. калекцыі).

Літ.:

Акты Падуи конца XIII — XIV в. в собрании Академии наук СССР. Л., 1987.

т. 11, с. 508

ПАНАМЕРЫКАНІ́ЗМ,

палітычная дактрына, у аснове якой ідэя агульнасці гіст. лёсу, эканомікі і культуры амер. дзяржаў. Ідэя П. прапанавана ў пач. 19 ст. С.Баліварам, які ў 1826 склікаў Панамскі кангрэс з мэтай стварэння федэрацыі лац.-амер. дзяржаў. Пасля смерці Балівара і распаду Вялікай Калумбіі (1830) ідэя П. ў паўд.-амер. варыянце страціла значэнне. У канцы 19 ст. ЗША прапанавалі ўласную канцэпцыю П., як руху дзеля абароны інтарэсаў Амерыкі перад еўрап. дзяржавамі і шматбаковага супрацоўніцтва (пераважна эканамічнага) амер. дзяржаў пад эгідай ЗША. Гэта ідэалогія была ў аснове Міжамерыканскіх канферэнцый (1889—1967) і Панамерыканскага саюза (1910—48). Яна зыходзіла з Манро дактрыны і развіта ў т.зв. дадатку (1904) прэзідэнта Т.Рузвельта, у якім абвяшчалася права ЗША ажыццяўляць ваен. інтэрвенцыі ў Лац. Амерыцы дзеля абароны яе дзяржаў. У 1-й пал. 20 ст. ЗША неаднаразова выкарыстоўвалі гэта права (уварванні на Кубу, Гаіці, у Мексіку, Дамініканскую Рэспубліку, Нікарагуа). У 1930-я г. ЗША перагледзелі свае адносіны да краін Лац. Амерыкі: у 1933 прэзідэнт Ф.Рузвельт абвясціў палітыку добрасуседства, у 1936 на канферэнцыі ў Мантэвідэо ён падпісаў дагавор пра забарону агрэсіі і інтэрвенцыі. Створаная ў 1948 Арганізацыя амерыканскіх дзяржаў аформіла сістэму дамінавання ЗША у Лац. Амерыцы. З 1960-х г. акцэнт зроблены на супрацоўніцтва і эканам. развіццё (у 1960 створаны Міжамер. банк рэканструкцыі і развіцця). З 1961 дзейнічае Саюз дзеля прагрэсу — праграма развіцця Лац. Амерыкі пры падтрымцы і супрацоўніцтве ЗША. У 1975 створана Лац.-амер. гасп. сістэма, у 1980 — Лац.-амер. інтэграцыйная асацыяцыя. У канцы 1980-х г. ЗША аднавілі П. як ідэю эканам. сувязей паміж краінамі Амерыкі, стварыўшы Паўн.-амер. пагадненне пра свабодны гандаль (1992), мэта якога — інтэграцыя краін Зах. паўшар’я.

Літ.:

Антясов М.В. Современный панамериканизм: Происхождение и сущность доктрин панамериканской «солидарности». М., 1960.

т. 12, с. 42

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308