Verbum

ДЗЕСЯТКО́ВАЯ СІСТЭ́МА ЛІЧЭ́ННЯ,

найбольш пашыраная пазіцыйная сістэма лічэння з асновай 10. Мае 10 сімвалаў — лічбы 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. Мяркуюць, што выбар у якасці асновы ліку 10 бярэ пачатак ад лічэння на пальцах. Узнікла на аснове нумарацыі, якая зарадзілася ў Індыі ў 5 ст., назву арабскай атрымала таму, што ў Еўропе з ёй пазнаёміліся ў 10—12 ст. па лац. перакладах з араб. мовы; у Расіі Дз.с.л. пачала пашырацца з 17 ст.

Пазіцыйны прынцып Дз.с.л. азначае, што адзін і той жа знак (лічба) мае розныя значэнні ў залежнасці ад таго месца, на якім ён стаіць, і таму асобныя сімвалы патрэбныя толькі пры запісе першых 10 лікаў. Лік 10 (аснова Дз.с.л.) утварае адзінку 2-га разраду, 10 адзінак 2-га разраду (лік 100 = 10​²) — адзінку 3-га разраду і г.д. (адзінка кожнага наступнага разраду ў 10 разоў большая за адзінку папярэдняга). Для запісу ліку ў Дз.с.л. выяўляюць колькасць адзінак найвышэйшага разраду, потым у астачы — колькасць адзінак разраду, на 1 меншага, і г.д. Атрыманыя лічбы запісваюць побач, напр., 4·10​² + 7·10​¹ + 3·10​⁰ = 473. Гл. таксама Лічэнне.

М.П.Савік.

т. 6, с. 107

ДЭТЭРМІНА́НТ, вызначнік, алгебраічны выраз, складзены паводле пэўнага правіла з n​² лікаў, дзе n — парадак дэтэрмінанта. Д. квадратнай матрыцы $\left|\begin{array}{cccc}{a}_{11}& a_{12}& \text{...}& a_{1n}\\ a_{21}& a_{22}& \text{...}& a_{2n}\\ \text{.}& \text{.}& \text{...}& \text{.}\\ a_{n1}& a_{n2}& \text{...}& a_{nn}\end{array}\right|$ з n​² элементы a_ik (i — нумар радка, k — нумар калонкі, 1 ≤ i ≤ n, 1 ≤ k ≤ n) наз. алг. сума $\sum \pm \begin{array}{cccc}{a}_{1j_1}& a_{2j_2}& \text{...}& a_{n{j}_n}\end{array}$ усіх здабыткаў элементаў гэтай матрыцы, узятых па аднаму з кожнага радка і з кожнай калонкі. Складаемаму a_1j1, a_2j2 ... a_njn прыпісваецца знак «+», калі перастаноўка j₁, j₂, ..., j_n лікаў 1, 2, ... n мае цотную колькасць інверсій, і знак «−», калі колькасць інверсій у ёй няцотная. Напр., Д. 2-га парадку $\left|\begin{array}{cc}{a}_{11}& a_{12}\\ a_{21}& a_{22}\end{array}\right|$ $=a_{11} a_{22}-a_{12} a_{21}$ .

Лічаць, што: радок (калонка) Д. памнажаецца на лік α, калі кожны элемент гэтага радка (калонкі) памнажаецца на α; складваюцца 2 радкі (калонкі) Д., калі складваюцца адпаведныя элементы гэтых радкоў (калонак), якія стаяць у адной калонцы (радку); да i-га радка (калонкі) Д. дадаецца яго k-ы радок (калонка), калі i-ы радок (калонка) замяняецца сумай i-га і k-га радкоў (калонак); робіцца лінейная камбінацыя радкоў (калонак) Д., калі кожны i-ы радок (калонка) множыцца на адвольны лік a_i і складваюцца атрыманыя радкі (калонкі). Д. мае шэраг уласцівасцей, якія аблягчаюць яго вылічэнне: калі элементы a_kj k-га радка Д. d ёсць сумы двух складаемых a_kj = b_j + c_j, то Д. d роўны суме двух Д. d = d₁ + d₂, якія адрозніваюцца ад d толькі k-м радком: b₁, b₂ ..., b_n — k-ы радок Д. d₁, c₁, c₂..., c_n k-ы радок Д. d₂ калі які-н. радок (калонка) Д. памнажаецца на лік α, то і Д. памнажаецца на α; Д. не зменіцца, калі да якога-н. яго радка (калонкі) дадаецца адвольная лінейная камбінацыя інш. радкоў (калонак); для таго, каб Д. быў роўны нулю, неабходна і дастаткова, каб які-н. яго радок (калонка) быў лінейнай камбінацыяй іншых радкоў (калонак). Тэорыя Д. створана ў асноўным у 2-й пал. 18 ст. і 1-й пал. 19 ст. ў працах матэматыкаў: швейц. Г.Крамера, франц. А.Вандэрмонда, П.С.Лапласа, А.Кашы, ням. К.Гаўса і К.Якобі. Франц. матэматык Ж.Дзьеданэ ўвёў паняцце Д. матрыцы над целам (мае важнае значэнне для сучаснай алгебры). Шматлікія дастасаванні Д. да розных пытанняў матэматыкі і фізікі, напр. пры рашэнні лінейных ураўненняў.

Літ.:

Курош А.Г. Курс высшей алгебры. 10 изд. М., 1971;

Артин Э. Геометрическая алгебра: Пер. с англ. М., 1969;

Милованов М.В., Тышкевич Р.И., Феденко А.С. Алгебра и аналитическая геометрия. Ч. 1. Мн., 1984.

Р.І.Тышкевіч.

т. 6, с. 362

А́ЛГЕБРА,

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

Вялікі ўплыў на развіццё алг. ідэй і сімволікі зрабіла «Арыфметыка» Дыяфанта (3 ст.). Тэрмін «алгебра» паходзіць ад назвы твора Мухамеда аль-Харэзмі «Альджэбр аль-мукабала» (9 ст.), які мае агульныя метады рашэння алгебраічных ураўненняў (АУ) 1-й і 2-й ступеняў. У канцы 15 ст. замест грувасткіх слоўных апісанняў алг. дзеянняў у матэм. творах з’яўляюцца знакі «+» і «-», потым знакі ступеняў, кораняў, дужкі. У канцы 16 ст. Ф.Віет першы выкарыстаў літарныя абазначэнні. Да сярэдзіны 17 ст. ў асн. склалася сучасная алг. сімволіка. У далейшым погляд на алгебру мяняўся. Алгебра 17—18 ст. займалася літарнымі вылічэннямі (рашэнне АУ, тоеснае пераўтварэнне формул і інш.) у адрозненне ад арыфметыкі, якая аперыруе канкрэтнымі лікамі. Да сярэдзіны 18 ст. алгебра склалася прыблізна ў аб’ёме цяперашняй т.зв. элементарнай алгебры. Алгебра 18—19 ст. з’яўляецца ў асн. алгебрай мнагачленаў. Першай гіст. задачай алгебры было рашэнне АУ з адным невядомым. У 16 ст. італьян. матэматыкамі была знойдзена формула для рашэння ўраўненняў 3-й ступені (формула Кардана), потым метад рашэння ўраўненняў 4-й ступені (метад Ферары). Амаль 3 стагоддзі вёўся пошук формулы для рашэння ўраўненняў вышэйшай ступені. У 17 ст. ўпершыню выказана А.Жырарам, а ў канцы 18 ст. К.Гаўсам даказана асн. тэарэма алгебры аб існаванні камплекснага кораня для адвольных АУ з камплекснымі каэфіцыентамі. У 1824 Н.Абель даказаў, што ўраўненне вышэй 4-й ступені ў агульным выпадку ў радыкалах невырашальнае, а ў 1830 Э.Галуа знайшоў крытэрый вырашальнасці ў радыкалах АУ. Разам з тэарэмай АУ з адным невядомым разглядаліся сістэмы АУ з многімі невядомымі, у прыватнасці сістэмы лінейных ураўненняў, у сувязі з чым узніклі паняцці матрыцы і дэтэрмінанта. З сярэдзіны 19 ст. даследаванні ў алгебры паступова пераносяцца з тэорыі АУ да вывучэння адвольных алг. аперацый. Абстрактнае паняцце алг. аперацыі ўзнікла ў сярэдзіне 19 ст. ў сувязі з даследаваннем прыроды камплексных лікаў, а таксама ў выніку з’яўлення прыкладаў алг. аперацый над элементамі зусім інш. прыроды, чым лікі, — складанне і множанне матрыц і інш.

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

Алг. паняцці і метады выкарыстоўваюцца ў геаметрыі, тэорыі лікаў, функцыян. аналізе, тэорыі дыферэнцыяльных ураўненняў, метадах вылічэнняў і інш. Алгебра мае вял. дачыненне да фізікі (выяўленні груп у квантавай фізіцы), крышталяграфіі (дыскрэтныя групы), кібернетыкі (тэорыі аўтаматаў і кадзіравання), матэм. эканомікі (лінейныя няроўнасці) і інш. Сістэм. даследаванні па алгебры на Беларусі пачалі Дз.А.Супруненка (1945) і С.А.Чуніхін (1953). Вядуцца пераважна ў Ін-це матэматыкі АН Беларусі, БДУ, Гомельскім ун-це ў школах У.П.Платонава, А.Я.Залескага, Л.А.Шамяткова.

Літ.:

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

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

Р.Т.Вальвачоў.

т. 1, с. 233

ГРА́ФАЎ ТЭО́РЫЯ,

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

Першыя задачы графаў тэорыі былі звязаны з рашэннем галаваломак і матэм. забаўляльных задач (напр., задачы аб Кёнігсбергскіх мастах, аб расстаноўцы ферзей на шахматнай дошцы, аб перавозках, кругасветным падарожжы, задача 4 фарбаў і інш.). Адным з першых вынікаў у графаў тэорыі быў крытэрый існавання абходу графа без паўтораў рэбраў (Л.Эйлер, 1736). У 19 ст. з’явіліся работы, у якіх пры рашэнні практычных задач атрыманы важныя вынікі ў графаў тэорыі (задачы пабудавання эл. ланцугоў, падліку хім. рэчываў з рознымі тыпамі малекулярных злучэнняў і інш.). У 20 ст. задачы, звязаныя з графамі, з’явіліся ў тапалогіі, алгебры, тэорыі лікаў, тэорыі імавернасці і інш. Найб. развіццё графаў тэорыя атрымала з 1950-х г. у сувязі са станаўленнем кібернетыкі і развіццём выліч. тэхнікі.

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

Літ.:

Лекции по теории графов. М., 1990.

Ю.Н.Сацкоў.

т. 5, с. 411

ІЗАТАПІ́ЧНЫ СПІН,

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

Моцны І.с. вызначае колькасць розных зарадавых станаў адронаў ці кваркаў у ізатапічным мультыплеце (гл. Ізатапічная інварыянтнасць). І.с. адронаў можа прымаць цэлыя і паўцэлыя значэнні: 0; ​¹/₂; 1; ​³/₂... Паміж эл. зарадам Q, трэцяй праекцыяй І.с. Т₃, барыённым зарадам B, дзіўнасцю S, чароўнасцю C і прыгажосцю b існуе сувязь: Q=T₃+​¹/₂(B+S+C-b). Напр., нуклону (B=l, S=0, C=0, b=0) адпавядае T₃=Q-​¹/₂, што дае Т₃=​¹/₂ для пратона (Q=l) і Т₃=-​¹/₂ для нейтрона (Q=0), т. ч. нуклон мае 2 зарадавыя станы і ўтварае ізадублет. І.с. сістэмы адронаў захоўваецца ў моцных (ядзерных) узаемадзеяннях, а Т₃ — у эл.-магн. узаемадзеяннях. Слабы І.с. характарызуе лептоны, кваркі, прамежкавыя вектарныя базоны і скалярныя базоны Хігса ў дачыненні да электраслабага ўзаемадзеяння. Для кваркаў і лептонаў прымае значэнні: 0; ​¹/₂. Паміж эл. зарадам Q, трэцяй праекцыяй слабага І.с. T₃​^w і слабым гіперзарадам Y​^w існуе сувязь: Q=T₃​^w+​¹/₂Y​^w (абагульненая ф-ла Гел-Мана—Нішыджымы). Слабы І.с. дазваляе правесці класіфікацыю лептонаў і кваркаў і дакладна вызначыць законы электраслабага ўзаемадзеяння ўсіх элементарных часціц.

Літ.:

Окунь Л.Б. Лептоны и кварки. 2 изд. М., 1990.

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

т. 7, с. 177

ГРАФІ́ЧНЫЯ ВЫЛІЧЭ́ННІ,

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

Лікі пры графічных вылічэннях алг. выразаў адлюстроўваюцца ў выбраным маштабе накіраванымі адрэзкамі. Пры графічным складанні і адніманні лікаў адпаведныя адрэзкі адкладваюць на прамой у пэўным (аднімаемае — у процілеглым) напрамку адзін за адным так, каб пачатак наступнага адрэзка супадаў з канцом папярэдняга. Сума (рознасць) — адрэзак, пачатак якога супадае з пачаткам 1-га, а канец — з канцом апошняга. Множанне і дзяленне ажыццяўляюцца будаваннем прапарцыянальных адрэзкаў, што адсякаюць на старанах вугла паралельныя прамыя, і выкарыстаннем адпаведных дачыненняў. Для графічнага ўзвядзення ў цэлую дадатную (адмоўную) ступень паслядоўна паўтараюць множанне (дзяленне). Для графічнага рашэння ўраўнення $𝑓\text{(}x\text{)}$ = 0 будуюць графік функцыі у = $𝑓\text{(}x\text{)}$ і знаходзяць яго пункты перасячэння з воссю абсцыс [пры рашэнні ўраўненняў 𝑓₁(x) = 𝑓₂(x) знаходзяць абсцысы пунктаў перасячэння крывых y₁ = 𝑓₁(x) і y₂ = 𝑓₂(x)]. Графічнае вылічэнне вызначанага інтэграла заснавана на замене графіка падінтэгральнай функцыі ступеньчатай ломанай, плошча пад якой лікава роўная дадзенаму інтэгралу. Для графічнага дыферэнцыравання будуецца графік вытворнай па значэннях тангенса вугла нахілу датычнай у розных пунктах графіка дадзенай функцыі. Графічнае рашэнне дыферэнцыяльнага ўраўнення dy/dx = 𝑓(x,y) зводзіцца да будавання поля напрамкаў на плоскасці: у некаторых пунктах малююць напрамкі датычнай dy/dx да інтэгральнай крывой, што праходзіць праз іх. Шуканую крывую праводзяць так, каб датычныя да яе мелі зададзеныя напрамкі. Часта папярэдне будуюць сям’ю ліній 𝑓(x,y) = C (ізаклінаў) для розных значэнняў C. У кожным пункце такой лініі вытворная пастаянная і роўная C. Гл. таксама Лікавыя метады, Набліжанае вылічэнне, Набліжанае інтэграванне.

С.У.Абламейка.

т. 5, с. 415

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

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

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

А.А.Гусак.

т. 7, с. 99

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308

МАТЭМА́ТЫКА (грэч. 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

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

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

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

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

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.Т.Вальвачоў, У.К.Лукашэвіч.

т. 1, с. 207