Verbum

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

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

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

Літ.:

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

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

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

т. 9, с. 256

ЛІ́КАЎ ТЭО́РЫЯ,

раздзел матэматыкі, які вывучае ўласцівасці цэлых, рацыянальных і алг. лікаў, іх сувязі з інш. лікамі (ірацыянальнымі, трансцэндэнтнымі).

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

На Беларусі даследаванні па Л.т. пачаты ў 1960-я г. пад кіраўніцтвам У.​Г.​Спрынджука і праводзяцца ў Ін-це матэматыкі Нац. АН, БДУ, Бел. агр. тэхн., Гродзенскім і Магілёўскім ун-тах. Вырашаны шэраг праблем у тэорыі трансцэндэнтных лікаў, метрычнай Л.т., дыяфантавых ураўненнях.

Літ.:

Спринджук В.Г. Метрическая теория диофантовых приближений. М.,1977;

Берник В.И., Мельничук Ю.В. Диофантовы приближения и размерность Хаусдорфа. Мн., 1988.

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

т. 9, с. 257

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308

ЗНА́КІ МАТЭМАТЫ́ЧНЫЯ,

умоўныя абазначэнні (сімвалы), якімі карыстаюцца для запісу матэм. паняццяў, суадносін, выкладак і ніш. Напр., выраз «лік тры большы за лік два» з дапамогай З.м. запісваецца як 3 > 2.

Развіццё матэм. сімволікі цесна звязана з агульным развіццём паняццяў і метадаў матэматыкі. Першымі З.м. былі лічбы — знакі для абазначэння лікаў; мяркуюць, што яны папярэднічалі ўзнікненню пісьменнасці. З.м. для абазначэння адвольных велічынь з’явіліся 5—4 ст. да н.э. ў Грэцыі. Напр., плошчы, аб’ёмы, вуглы адлюстроўваліся адрэзкамі, а здабыткі велічынь — прамавугольнікамі, пабудаванымі на такіх адрэзках. У «Асновах» Эўкліда (3 ст. да н.э.) велічыні абазначаюцца дзвюма літарамі — пачатковай і канцавой літарамі адпаведнага адрэзка, а часам і адной. Пачаткі літарнага абазначэння і злічэння ўзніклі ў познаэліністычную эпоху (Дыяфант; верагодна 3 ст.) пры вызваленні алгебры ад геам. формы. Сучасная алг. сімволіка створана ў 14—17 ст.; яе развіццё і ўдасканаленне спрыяла ўзнікненню новых раздзелаў матэматыкі (гл. напр., Аперацыйнае злічэнне, Варыяцыйнае злічэнне, Тэнзарнае злічэнне) і матэм. логікі (Алгебра логікі).

А.​А.​Гусак.

Асноўныя матэматычныя знакі

Знак	Значэнне	Кім і калі ўведзены
Знакі індывідуальных аперацый адносін, аб’ектаў
+	складанне	Я.​Відман, 1489
−	адніманне
×	множанне	У.​Оўтрэд, 1631
∙	множанне	Г.​Лейбніц, 1698
:	дзяленне	Г.​Лейбніц, 1684
${\mathrm{a}}^{\mathrm{n}}$	ступень	Р.​Дэкарт, 1637
${\mathrm{}}^{\mathrm{n}}\sqrt{a}$	корань (радыкал)	А.​Жырар, 1629
log	лагарыфм	Б.​Кавальеры, 1632
sin, cos	сінус, косінус	Л.​Эйлер, 1748
tg	тангенс	Л.​Эйлер, 1753
dx, d​2x, ...	дыферэнцыял	Г.​Лейбніц, 1675
$\int ydxy$	інтэграл
lim	ліміт	У.​Гамільтан, 1853
=	роўнасць	Р.​Рэкард, 1557
><	больш, менш	Т.​Гарыёт, 1631
∥	паралельнасць	У.​Оўтрэд, 1677
∞	бесканечнасць	Дж.​Валіс, 1655
e	аснова натуральных лагарыфмаў	Л.​Эйлер, 1736
π	адносіны даўжыні акружнасці да яе дыяметра
i	уяўная адзінка $\sqrt{\mathrm{-1}}$	Л.​Эйлер, 1777
$\overrightarrow{i}$, $\overrightarrow{j}$, $\overrightarrow{k}$	адзінкавыя вектары	У.​Гамільтан, 1853
f(x)	Знакі пераменных аперацый і аб’ектаў функцыя	Л.​Эйлер, 1734
x, y, z	невядомыя (пераменныя)	Р.​Дэкарт, 1637
a, b, c	адвольныя пастаянныя
$\overrightarrow{r}$	вектар	А.​Кашы, 1853

т. 7, с. 99

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

раздзел геаметрыі, што вывучае ўласцівасці фігур, якія не змяняюцца пры праектыўных пераўтварэннях. Такія ўласцівасці наз. праектыўнымі, напр., датычнасць прамой і лініі, парадак лініі. Існуюць таксама непраектыўныя ўласцівасці, напр., паралельнасць ці перпендыкулярнасць прамых, роўнасць адрэзкаў і вуглоў. Асн. тэарэмы класічнай П.г.: Брыяншона тэарэма, Дэзарга тэарэма, Паскаля тэарэма.

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

Літ.:

Хартсхорн Р. Основы проективной геометрии: Пер. с англ. М., 1970;

Ефимов Н.В. Высшая геометрия. 6 изд. М., 1978;

Алгебра и аналитическая геометрия. Ч. 2. Мн., 1987.

А.​А.​Гусак.

т. 12, с. 541

ЗЛІЧЭ́ННЕ,

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

У матэматычнай логіцы любое З. адназначна задаецца зыходнымі элементамі (алфавітам З.), правіламі ўтварэння формул дадзенага З. (слоў ці выразаў), сукупнасцю аксіём і правіл пераўтварэння (вывядзення) яго фразеалогіі. Прыпісванне элементам З. пэўных значэнняў (гл. Семантыка лагічная) пераўтварае З. ў фармалізаваную мову. Напр., у З. выказванняў шляхам пэўнай канечнай працэдуры (доказу; улічваецца толькі праўдзівасць ці непраўдзівасць выказвання) атрымліваюць выказванні-тэарэмы (гл. Логіка выказванняў). У выніку атрымліваюць лагічную сістэму, якая фармалізуе разважанне, заснаванае на структуры складаных выказванняў у адрозненне ад унутранай структуры элементарных выказванняў. Пры З. прэдыкатаў атрымліваюць сцвярджэнні (формулы, тэарэмы) з улікам суб’ектна-прэдыкатыўнай структуры выказванняў (напр., «элемент X мае ўласцівасць P), што дае магчымасць выяўляць сувязь аб’ектаў з іх уласцівасцямі і суадносіны паміж імі, колькасна характарызаваць сувязь рэчаў, уласцівасцей і адносін з дапамогай лагічных эквівалентаў выразаў «усе», «некаторыя», «кожны» і інш. (гл. Квантары). Такое З. адпавядае логіцы прэдыкатаў, калі яно мае ўласцівасці несупярэчлівасці (кожная тэарэма агульназначная) і паўнаты (кожная агульназначная формула даказальная). З. прэдыкатаў уключае З. выказванняў і разглядаецца звычайна як яго пашырэнне шляхам фармалізацыі вывадаў, заснаваных на ўнутранай структуры выказванняў. Тэорыю З. прэдыкатаў распрацаваў ням. логік, матэматык і філосаф Г.​Фрэге, чым істотна ўзбагаціў сілагістыку Арыстоцеля і традыц. сілагістыку. Абагульненне З. выказванняў — З. класаў, дзе дадаткова разглядаецца суб’ектна-прэдыкатная структура выказванняў і пры гэтым з кожным прэдыкатам (уласцівасцю) звязваецца ўся сукупнасць элементаў (клас) з разгляданай вобласці, якія маюць гэтую ўласцівасць (гл. Логіка класаў). З. класаў часам разглядаюць як фармалізаваную тэорыю мностваў, выкарыстоўваюць як дапаможны этап пры пераходзе ад З. выказванняў да З. прэдыкатаў і будуюць на базе З. выказванняў з дапамогай адпаведнай інтэрпрэтацыі яго формул.

Літ.:

Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;

Методологические проблемы развития и применения математики. М., 1985;

Жуков Н.И. Философские основания математики. 2 изд. Мн., 1990.

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

т. 7, с. 76

МАТЭМА́ТЫКА (грэч. mathēmatikē ад mathēma веды, навука),

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

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

На Беларусі даследаванні па М. пачаліся ў 1920-я г., праводзіліся ў БДУ, БСГА, АН Беларусі, Віцебскім пед. ін-це і інш. Асн. кірункамі даследаванняў былі: дыферэнцыяльныя ўраўненні; геаметрыя, алгебра; тэорыі функцый рэчаіснай і комплекснай пераменных; лікавыя і графічныя метады, набліжаныя метады ў алгебры; тэорыя імавернасцей і матэм. статыстыка, матэм. апрацоўка вынікаў вымярэнняў; матэм. фізіка, матэм. метады ў механіцы; метадалогія навукі, філас. пытанні М. Ішло стварэнне бел. навуковай тэрміналогіі. У пасляваен. гады цэнтрам матэм. даследаванняў сталі Інстытут матэматыкі Нац. АН Беларусі, БДУ. Асн. кірункі даследаванняў: алгебра, выліч. матэматыка, геаметрыя, дыферэнцыяльныя і інтэгральныя ўраўненні, матэм. кібернетыка, тэорыя лікаў, матэм. фізіка, праграмнае забеспячэнне ЭВМ, функцыянальны аналіз. Дасягненні бел. матэматыкаў у гэтых кірунках атрымалі міжнар. прызнанне. Значны ўклад у развіццё М. на Беларусі зрабілі М.П.Яругін, У.І.Крылоў, С.А.Чуніхін, Ф.​Дз.Гахаў, Дз.А.Супруненка, Я.А.Барбашын, У.Г.Спрынджук і інш. У Мінску выдаюцца часопісы: «Дифференциальные уравнения» (з 1965), «Весці Нац. АН Беларусі. Сер. фіз.-матэм. навук» (з 1965; гл. «Весці Акадэміі навук Беларусі»), «Веснік БДУ. Сер. 1. Фізіка. Матэматыка. Механіка» (з 1969; гл. «Веснік Беларускага дзяржаўнага універсітэта»), «Труды Института математики Нац. АН Беларуси» (з 1998). Створана Бел. матэм. т-ва (1993).

Літ.:

Математика, ее содержание, методы и значение. Т. 1—3. М., 1956;

Курант Р., Роббинс Г. Что такое математика?: Пер. с англ. 2 изд. М., 1967;

Рыбников К.А. История математики. 2 изд. М., 1974;

Бурбаки Н. Очерки по истории математики: Пер. с фр. М., 1963;

Стройк Д.Я. Краткий очерк истории математики: Пер. с нем. 3 изд. М., 1978;

История математики с древнейших времен до начала XIX столетия. Т. 1—3. М., 1970—72;

История отечественной математики. Т. 1—4. Киев, 1966—70.

І.​В.​Гайшун.

т. 10, с. 211

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

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

Асн. паняцці геаметрыі (лінія, паверхня, пункт, цела геаметрычнае) узніклі ў выніку абстрагавання ад інш. уласцівасцей цел (напр., масы, колеру). Параўнанне цел абумовіла ўзнікненне паняццяў даўжыні, плошчы, аб’ёму, меры вугла. Самыя простыя геам. звесткі і паняцці былі вядомы ў стараж. Егіпце, Вавілоне, Кітаі, Індыі; геам. палажэнні фармуляваліся ў выглядзе правіл з элементарнымі доказамі або без доказаў. Самастойнай навукай геаметрыя стала ў Стараж. Грэцыі (5 ст. да н.э.); геаметрыя ў аб’ёме, які прыкладна адпавядае сучаснаму курсу элементарнай геаметрыі, выкладзена ў «Пачатках» Эўкліда (3 ст. да н.э.). Развіццё астраноміі і геадэзіі прывяло да стварэння плоскай (гл. Трыганаметрыя) і сферычнай трыганаметрыі (1—2 ст. да н.э.). Інтэнсіўнае развіццё геаметрыі пачынаецца з 17 ст.: Р.Дэкарт прапанаваў метад каардынат; І.Ньютан і Г.Лейбніц стварылі дыферэнцыяльнае і інтэгральнае злічэнне, што дало магчымасць вывучаць геам. аб’екты метадамі алгебры і аналізу бясконца малых (гл. Алгебраічная геаметрыя, Аналітычная геаметрыя, Дыферэнцыяльная геаметрыя); Ж.Дэзарг і Б.Паскаль заклалі асновы праектыўнай геаметрыі. У працах Г.Монжа (18 ст.) сучасны выгляд набыла нарысоўная геаметрыя. У 1826 М.А.Лабачэўскі пабудаваў геаметрыю на аснове сістэмы аксіём, якія адрозніваюцца ад эўклідавай толькі аксіёмай аб паралельных прамых (гл. Лабачэўскага геаметрыя). Стала магчымым будаванне разнастайных прастораў з рознымі геаметрыямі (гл., напр., Неэўклідавы геаметрыі), сістэматызацыя якіх магчыма з дапамогай груп тэорыі. Пасля гэтага павялічылася роля і пашырылася выкарыстанне аксіяматычнага метаду. У 1872 Ф.Клейн сфармуляваў новае тлумачэнне геаметрыі як навукі аб уласцівасцях, інварыянтных адносна зададзенай групы пераўтварэнняў. Паралельна развіваўся логікавы аналіз асноў геаметрыі, высвятляліся пытанні несупярэчлівасці, мінімальнасці і паўнаты сістэмы аксіём. Вынікі гэтых работ падвёў Д.Гільберт у кн. «Асновы геаметрыі» (1899). У працах сав. матэматыкаў П.​С.​Аляксандрава, Л.​С.​Пантрагіна, П.​С.​Урысона развіваліся асн. кірункі тапалогіі. Кірунак «Геаметрыя ў цэлым» заснавалі сав. матэматыкі А.​Д.​Аляксандраў, М.​У.​Яфімаў, А.​Б.​Пагарэлаў.

На Беларусі станаўленне геаметрыі пачалося ў 1930-я г. Атрыманы важныя вынікі ў праблеме ўкладання рыманавых прастораў у эўтслідавы і рыманавы прасторы (Ц.Л.Бурстын); метадамі вонкавых форм даследаваны лініі і паверхні Картана ў неэўклідавых прасторах (Л.​К.​Тутаеў); адкрыты клас аднародных прастораў і распрацавана іх тэорыя (В.​І.​Вядзернікаў, А.​С.​Фядзенка, Б.​П.​Камракоў).

Літ.:

Александров А.Д., Нецветаев Н.Ю. Геометрия. М., 1990;

Алгебра и аналитическая геометрия. Ч. 1. Мн., 1984;

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

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

А.​А.​Гусак.

т. 5, с. 121

РО́ДНАСЦЬ І СВАЯ́ЦТВА,

адносіны паміж людзьмі, заснаваныя на паходжанні ад агульнага продка (роднасць) або якія ўзнікаюць у мужа і жонкі да іх родных (сваяцтва). У першабытным грамадстве кроўнароднасныя адносіны былі асновай аб’яднання людзей у род, фратрыю, племя, яны характарызавалі формы сям’і. У сучасных сямейных адносінах адрозніваюць роднасць па лініях; прамой (бацькі і дзеці, продкі і нашчадкі), бакавой (браты і сёстры, дзядзькі, цёткі і пляменнікі), узыходнай (ад нашчадкаў да продкаў — напр., унук, сын, бацька, дзед), сыходнай (ад продкаў да нашчадкаў). Бел. назвы кроўнай роднасці па прамой лініі: 1-й ступені — бацька (тата), маці (матка, мама), сын, дачка (пазашлюбных дзяцей наз. бастрамі, байструкамі); няпоўнай роднасці паміж мужам (жонкаю) і дзецьмі ад папярэдняга шлюбу жонкі (мужа) — айчым, мачаха, пасынак, падчарыца; няпоўнай роднасці паміж дзецьмі — брат (сястра) па бацьку ці па маці; усынаўлення — выхаванец, выхаванка (у гаворках — гадаванец, гадаванка, дольнік, дольніца); дзеці мачахі і айчыма лічацца зводнымі братам і сястрой; 2-й ступені — дзед, баба, унук, унучка; 3-й ступені — прадзед, прабаба, праўнук, праўнучка; 4-й ступені — прапрадзед, прапрабаба, прапраўнук, прапраўнучка (гэтыя формы ўжываюцца вельмі рэдка і найчасцей замяняюцца апісальна). Далейшыя ступені кроўнай роднасці наз. агульна: па ўзыходнай лініі — продкі, дзяды, дзяды-прадзеды, па сыходнай — нашчадкі (патомкі). Назвы роднасці 1-й бакавой лініі: брат, сястра, пляменнік, пляменніца. У гаворках са значэннем «пляменнік» трапляюцца нябож, часам — сыновец; са значэннем «пляменніца» — нябога. Назвы роднасці 2-й бакавой лініі: дзядзька, цётка, дваюрадны (стрыечны) брат, дваюрадная (стрыечная) сястра. Назвы 3-й і наступных ліній ужываюцца радзей і звычайна перадаюцца апісальна. Назвы сваяцтва: муж, жонка, у гаворках таксама стары, старая; дзед, баба; гаспадар, гаспадыня. Да слова «муж» сінонімы мужык, чалавек, да слова «жонка» — маладзіца, дружына, жанчына і інш. Даччын муж — зяць; сынава жонка — нявестка (сынавая, сыновая). Мужавы бацькі — свёкар, свякроў (свякруха, свекрыва), жончыны — цешча, цесць; мужаў брат — дзевер, сястра — залвіца (залоўка). Слова «швагер» выражае 3 паняцці: сястрын муж, жончын брат, муж жончынай сястры; швагерка — жончына сястра. Братава жонка — братавая (браціха), братавыя паміж сабой — ятроўкі; дзядзькава жонка — дзядзіна (цётка). Бацькі мужа і жонкі адзін да аднаго — сваты, мацеры — свацці (свахі). У гаворках усе родныя мужа — сваты і свацці ў адносінах да ўсіх родных жонкі і наадварот. Асобна стаяць хросныя бацькі, хросная матка, хросныя дзеці — хроснік (хрэснік), хросніца (хрэсніца), а таксама назвы кум і кума. Усе яны звязаны з царкоўным абрадам хрышчэння. Апрача канкрэтных, ёсць агульныя назвы Р. і с.: радня, родзічы, сваякі, свае, у гаворках таксама радзіна, прырода, сраство, свайство, адроддзе, род і інш. Гл. таксама Роднасць у праве.

Літ.:

Трубачев О.Н. История славянских терминов родства и некоторых древних терминов общественного строя. М., 1959;

Булахаў М.Г. Старабеларускія назвы роднасці і сваяцтва // З жыцця роднага слова. Мн., 1968;

Алгебра родства: Родство. Системы родства. Системы терминов родства. Вып. 1. СПб., 1995.

К.​М.​Панюціч.

т. 13, с. 396

ЛО́ГІКА (ад грэч. logos слова, паняцце, розум),

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

У гіст. развіцці Л. прайшла некалькі этапаў. Фрагменты лагічных даследаванняў вядомы ў стараж.-інд. і стараж.-кіт. філасофіі. У стараж. Грэцыі Л. зарадзілася ў ранняй філасофіі і развівалася пад уплывам аратарскага мастацтва. Традыцыйная арыстоцелеўская Л. стала першай ступенню Л. высноўных ведаў, якая вывучае агульначалавечыя формы думак (паняцці і суджэнні), формы сувязі думак у разважанні (высновы), зафіксаваныя ў фармальна-лагічных законах (тоеснасці закон, супярэчнасці закон, выключанага трэцяга прынцып). Арыстоцель першы ўжыў метады фармальнага аналізу мыслення на аснове прынцыпу яго несупярэчлівасці, сфармуляваў правілы злічэння выказванняў, усебакова даследаваў адну з пашыраных форм розумазаключэнняў — сілагізм, стварыў закончаную тэорыю сілагістыкі, увёў знакавую сістэму лагічных пераменных. Прадстаўнікі мегарскай шкалы аналізавалі ўмоўныя і раздзяляльныя розумазаключэнні, увялі паняцце імплікацыі, вызначылі ідэю тэарэмы аб дэдукцыі і інш. Іх лагічныя ідэі развіты ў школе стоікаў. У раннім сярэдневякоўі Л. як самаст. навука развівалася ў краінах арабскай культуры, дзе філасофія заставалася адносна незалежнай ад рэлігіі. У Еўропе складвалася ў асн. схаластычная Л. як царк.-школьная дысцыпліна, якая прыстасавала элементы перыпатэтычнай Л. для абгрунтавання і сістэматызацыі хрысц. веравучэння. У 12—13 ст., калі творы Арыстоцеля былі кананізаваны царк. артадоксіяй, узнікла сярэдневяковая («несхаластычная») Л., асновы якой закладзены «Дыялектыкай» П.​Абеляра. У творах У.​Шэрвуда, Дунса Скота, Пятра Іспанскага, У.​Окама, Ж.​Бурыдана атрымалі развіццё палажэнні аб сферы дзеяння лагічных аперацый, адрозненні паміж формай і зместам, абгрунтаваны многія вядомыя цяпер законы Л. выказванняў, тэорыя дэдукцыі і інш. У эпоху Адраджэння Л. разглядалі як аснову «штучнага» мыслення і супрацьпастаўлялі ёй Л. «натуральнага мыслення», пад якой звычайна разумелі інтуіцыю і ўяўленне. У новы час патрэбы прыродазнаўства і тэхнікі выклікалі крытыку арыстоцелеўскай (у схаластычным тлумачэнні) Л., паслужылі стымулам у распрацоўцы індукцыйнай логікі, вучэння аб метадзе, праблем метадалогіі новай (эксперыментальнай) навукі аб прыродзе (Ф.​Бэкан, Р.​Дэкарт). І.​Кант лічыў больш важнай за звычайную, традыц. Л., трансцэндэнтальную Л., якая даследуе ў формах мыслення тое, што забяспечвае ведам апрыёрны (давопытны) характар. Г.​Гегель на ідэаліст., а К.​Маркс і Ф.​Энгельс на матэрыяліст. аснове стварылі вучэнне аб агульных законах і формах мыслення — логіку дыялектычную.

На Беларусі Л. з 17 ст. развівалася ў рэчышчы агульнанавук. даследаванняў законаў і аперацый лагічнага мыслення, распрацоўкі методыкі яе выкладання як вучэбнай дысцыпліны. Б.Дабшэвіч, аўтар некалькіх кніг па Л., лічыў яе першай з навук, здольных умацаваць сувязі паміж матэматыкай, прыродазнаўствам і філасофіяй дзеля пошуку ісціны; фундаментальнымі прынцыпамі Л. ён лічыў прынцыпы дастатковай падставы і адмаўлення. Прадстаўнік схаластычнай філасофіі М.​Карскі разглядаў Л. як мову навукі. Паводле К.Нарбута, Л. — гэта навука, якая вучыць, як спасцігаць і спазнаваць ісціну, або мастацтва правільна мысліць. Я.Снядэцкі даследаваў лагічна-фармальныя заканамернасці мовы, сэнсу і ролі знакаў і сімвалаў у пазнанні і выкарыстанні мовы. А.Доўгірд пры распрацоўцы праблем сенсуалістычнай псіхалогіі, індукцыйных і разумовых здольнасцей чалавека і звязаных з імі суджэнняў, гіпотэз увёў паняцце «натуральнага сілагізму». Уклад у тэарэт. развіццё і методыку выкладання Л. зрабілі Б.Будны, С.Майман, Сімяон Полацкі, С.Шадурскі, В.Тылкоўскі і інш.

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

Літ.:

Маковельский А.О. История логики. М., 1967;

Кант И. Трактаты и письма: Пер. с нем. М., 1980;

Клаус Г. Введение в формальную логику: Пер. с нем. М., 1960;

Аристотель. Первая аналитика. Вторая аналитика // Соч. М., 1978. Т. 2;

Поппер К. Логика и рост научного знания: Пер. с англ. М., 1983;

Брюшинкин В.Н. Логика, мышление, информация. Л., 1988;

Логика и компьютер. М., 1990;

Арно А., Николь П. Логика, или Искусство мыслить...: Пер. с фр. М., 1991;

Памятники философской мысли Белоруссии XVII — первой половины XVIII в. Мн., 1991;

Стереотипы и динамика мышления. Мн., 1993;

Минто В. Дедуктивная и индуктивная логика: Пер. с англ. СПб., 1995;

Leibniz G.W. Fragmente zur Logik. Berlin, 1960.

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

т. 9, с. 333