Verbum

КІСЯЛЁЎ (Генадзь Васілевіч) (н. 19.3.1931, г. Каломна Маскоўскай вобл.),

бел. гісторык, літ.-знавец, пісьменнік, археограф. Канд. гіст. н. (1964), д-р філал. н. (1994). Скончыў Маск. гісторыка-архіўны ін-т (1953). У 1953—56, 1960—71 працаваў у архіўных установах Вільнюса. З 1971 у Ін-це л-ры Нац. АН Беларусі. Даследуе гісторыю грамадскай думкі і нац.-вызв. руху на Беларусі 19 ст., жыццё, дзейнасць К.Каліноўскага і яго паплечнікаў: «Сейбіты вечнага» (1963), «З думай пра Беларусь» (1966), «Паплечнік Каліноўскага» (1976), «Радаводнае дрэва: Каліноўскі — эпоха — наступнікі» (1994). Аўтар прац па гісторыі бел. культуры 19—20 ст., напісаных у жанры займальнага літ.-знаўства, у т. л. «Загадка беларускай «Энеіды» (1971), «Пошукі імя» (1978), «Расшукваецца класік...» (1989) пра аўтарства ананімных паэм «Энеіда навыварат» і «Тарас на Парнасе». Даследуе жыццё і творчасць В.Дуніна-Марцінкевіча, Ф.Багушэвіча, А.Вярыгі-Дарэўскага, П.Шпілеўскага і інш. Распрацаваў тэарэт. асновы археаграфіі і літ. крыніцазнаўства як асобнай навук. дысцыпліны («Ад Чачота да Багушэвіча», 1993). Складальнік і рэдактар зб-каў гіст.-архіўных дакументаў «Рэвалюцыйны пад’ём у Літве і Беларусі 1861—1862 гг.» (1964), «Паўстанне ў Літве і Беларусі 1863—1864 гг.» (1965), зб-каў па гісторыі бел. л-ры 19—20 ст. «Пачынальнікі» (1977), «Пуцявінамі Янкі Купалы» (1981), «З жыццяпісу Якуба Коласа» (1982). Распрацаваў канцэпцыю і склаў гіст.-літ. зб. «Шляхам гадоў» (1990). Дзярж. прэмія Беларусі імя Я.Коласа 1990.

Тв.:

Героі і музы: Гіст.-літ. нарысы. Мн., 1982;

Спасцігаючы Дуніна-Марцінкевіча. Мн., 1988;

На пераломе дзвюх эпох: Паўстанне 1863 г. на Міншчыне. Мн., 1990.

Літ.:

Александровіч С. Плён навуковага пошуку // Александровіч С. Слова — багацце. Мн., 1981;

Мальдзіс А. У пошуках залатых самародкаў // Мальдзіс А.І. ажываюць спадчыны старонкі. Мн., 1994;

Батвіннік М.Б. Г.В.Кісялёў — даследчык жыцця, дзейнасці і светапогляду К.Каліноўскага // Весці АН Беларусі. Сер. гуманіт. навук. 1995. № 3;

Кароль факта // Бел. мінуўшчына. 1996. № 6.

В.У.Скалабан.

т. 8, с. 294

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308

НЬЮ́ТАН ((Newton) Ісаак) (4.1.1643, Вулстарп, каля г. Грантэм, Вялікабрытанія — 31.3.1727),

англійскі фізік, матэматык і астраном, стваральнік класічнай механікі і асноў сучаснага прыродазнаўства. Чл. Лонданскага каралеўскага т-ва (1672, з 1703 яго прэзідэнт). Замежны чл. Парыжскай АН (1699). Скончыў Трыніты-каледж Кембрыджскага ун-та (1665). У 1669—1701 заг. кафедры матэматыкі гэтага ун-та. З 1696 даглядчык, з 1699 дырэктар Манетнага двара ў Лондане. Навук. працы па механіцы, оптыцы, астраноміі, матэматыцы. Даў азначэнні зыходных паняццяў і сфармуляваў асн. законы класічнай механікі (гл. Ньютана законы механікі). Адкрыў сусветнага прыцягнення закон. Увёў тэрмін «гравітацыя» і стварыў класічную тэорыю гравітацыі. На яе аснове растлумачыў Кеплера законы, асаблівасці руху Месяца, прэцэсію Юпітэра, прапанаваў тэорыю фігуры Зямлі, тэорыю прыліваў і адліваў. У галіне оптыкі адкрыў дысперсію святла (1666), храматычную аберацыю, інтэрферэнцыю святла ў тонкіх слаях паветра (гл. Ньютана кольцы). Сканструяваў люстэркавы тэлескоп-рэфлектар (1668), вынайшаў рэфлектарны мікраскоп (1672) і секстант. Развіў карпускулярную тэорыю святла. Распрацаваў дыферэнцыяльнае і інтэгральнае злічэнні (1665—66; гл. Ньютана—Лейбніца формула), пашырыў бінаміяльную формулу на выпадак адвольных рэчаісных паказчыкаў (гл. Ньютана біном). Гал. праца Н. — «Матэматычныя асновы натуральнай філасофіі» (1687), якая стала фундаментам класічнай фізікі і вызначыла развіццё прыродазнаўства ў наступныя 2 стагоддзі. У аснову ньютанаўскай карціны свету пакладзены паняцці абс. прасторы і часу, апісанне фіз. ўзаемадзеяння праз паняцце сілы, тэорыя далёкадзеяння, а таксама філас.-тэалагічныя погляды Н. Яго імем названа адзінка сілы ў СІ — ньютан.

Тв.:

Рус. пер. — Всеобщая арифметика или книга об арифметических синтезе и анализе. М., 1948;

Оптика или трактат об отражениях, преломлениях, изгибаниях и цветах света. 2 изд. М., 1954;

Математические начала натуральной философии. М., 1989.

Літ.:

Исаак Ньютон, 1643—1727: Сб. статей к трехсотлетию со дня рождения. М.; Л., 1943;

Карцев В.П. Ньютон. М., 1987;

Вавилов С.И. Исаак Ньютон, 1643—1727. 4 изд. М., 1989.

М.М.Касцюковіч.

т. 11, с. 397

НЯБЕ́СНАЯ МЕХА́НІКА,

раздзел астраноміі, які вывучае рух цел Сонечнай сістэмы ў іх агульным гравітацыйным полі. У шэрагу выпадкаў (у тэорыі руху камет, ШСЗ і інш.), акрамя гравітацыйных сіл, улічваюцца рэактыўныя сілы, ціск выпрамянення, супраціўленне асяроддзя, змена масы і інш. фактары. Задачы Н.м.: вывучэнне агульных пытанняў руху нябесных цел і канкрэтных аб’ектаў (планет, ШСЗ і інш.); вылічэнне значэнняў астр. пастаянных, састаўленне эфемерыд і інш. Рух штучных нябесных цел вывучае раздзел Н.м. — астрадынаміка. Н.м. з’яўляецца вынікам дастасавання законаў класічнай механікі да руху нябесных цел. Тэарэт. асновы сучаснай Н.м. закладзены І.Ньютанам. Значны ўклад у развіццё Н.м. зрабілі Ж.Л.Лагранж, П.С.Лаплас, У.Ж.Ж.Левер’е, С.Ньюкам і інш. Адно з дасягненняў Н.м. — адкрыццё планеты Нептун, існаванне якой разлічана па адхіленнях руху планеты Уран.

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

Літ.:

Гребеников Е.А., Рябов Ю.А. Новые качественные методы в небесной механике. М., 1971;

Брумберг В.А. Релятивистская небесная механика. М., 1972.

А.А.Шымбалёў.

т. 11, с. 402