Verbum

АКСІЁМА

(грэч. axiōma),

палажэнне, якое прымаецца без лагічных доказаў на падставе непасрэднай пераканаўчасці; сапраўднае зыходнае палажэнне, на якім грунтуюцца доказы інш. палажэнняў навук. тэорыі. Сістэма аксіёмы не з’яўляецца раз і назаўсёды закончанай і, як і самі аксіёмы, змяняецца з развіццём чалавечага пазнання. Тэрмін «аксіёма» ўпершыню сустракаецца ў Арыстоцеля, потым праз працы паслядоўнікаў і каментатараў Эўкліда трывала ўвайшоў у геаметрыю. У сярэднявеччы пранік ў інш. навукі, а праз іх — у штодзённы побыт, дзе аксіёмай наз. суджэнні, шмат разоў правераныя на практыцы. Доўгі час аксіёма разглядалася як вечная і непарушная ісціна, што не патрабуе доследу і не залежыць ад яго. Лічылася, што спроба абгрунтавання можа толькі падарваць яе відавочнасць. Пераасэнсаванне праблемы абгрунтавання аксіёмы змяніла і змест самога тэрміна, паводле якога аксіёма не зыходны пачатак пазнання, а хутчэй яго прамежкавы вынік. Яна абгрунтоўваецца не сама па сабе, а як неабходны састаўны элемент тэорыі, пацвярджэнне якой ёсць адначасова і пацвярджэнне яе аксіёмай. У сучаснай навуцы пытанне пра ісціннасць аксіёмы вырашаецца ў рамках іншых навук. тэорый або шляхам інтэрпрэтацыі дадзенай тэорыі.

У.К.Лукашэвіч.

т. 1, с. 206

сілагізма аксіёма

т. 14, с. 376

АРХІМЕ́ДА АКСІЁМА,

зводзіцца да таго, што пры паўтарэнні дастатковай колькасці разоў меншага з двух зададзеных адрэзкаў можна атрымаць адрэзак, большы за большы з іх (сфармулявана Архімедам). Адносіцца таксама да плошчаў, аб’ёмаў, лікаў і інш. У агульным выпадку, калі A і B — два значэнні адной і той жа велічыні і A < B, можна заўсёды знайсці такі цэлы лік т, што Ат > B; на гэтым заснаваны працэс паслядоўнага дзялення ў арыфметыцы і геаметрыі. У 19 ст. выявілася існаванне т.зв. неархімедавых велічынь, у дачыненні да якіх Архімедава аксіёма не выконваецца (напр., вектары, для якіх паняцце няроўнасці страчвае сэнс).

т. 1, с. 525

АРЫФМЕ́ТЫКА

(ад грэчаскага arithmos лік),

навука, галоўны аб’ект якой цэлыя, рацыянальныя лікі і дзеянні над імі. Узнікла ў старажытныя часы з практычных патрэб чалавека лічыць і вымяраць. Для падліку вялікай колькасці аб’ектаў створаны сістэмы лічэння. Найбольш зручная дзесятковая сістэма лічэння; існуюць таксама сістэмы лічэння з асновамі 5, 12, 20, 40, 60 і нават 11 (Новая Зеландыя). З пашырэннем вылічальнай тэхнікі выкарыстоўваецца двайковая сістэма лічэння.

Да пачатку нашай эры былі атрыманы дастаткова глыбокія вынікі: даказана бесканечнасць мноства простых лікаў, несувымернасць стараны квадрата і яго дыяганалі (па сутнасці доказ ірацыянальнасці ліку √2), створаны алгарытм выяўлення агульнай меры двух адрэзкаў і найбольшага агульнага дзельніка, Піфагорам знойдзены агульны выгляд цэлалікавых катэтаў і гіпатэнузы прамавугольных трохвугольнікаў, значны ўплыў на развіццё арыфметыкі зрабіў Архімед. Фундаментальнае значэнне арыфметыкі як навукі стала зразумелым у канцы 17 стагоддзя ў сувязі з далучэннем да яе паняцця ірацыянальнага ліку. Развіццё апарату сувязяў паміж гэтымі лікамі і іх рацыянальнымі набліжэннямі (у прыватнасці, дзесятковымі), а таксама вынаходства і дастасаванне лагарыфмаў (шатландскі матэматык Дж.Непер) значна пашырылі тэматыку даследаванняў. Шматлікія пытанні знайшлі вырашэнне ў лікаў тэорыі. Спроба Г.Грасмана аксіяматычнай пабудовы арыфметыкі (сярэдзіна 19 стагоддзя) завершана італьянскім матэматыкам Дж.Пеана ў выглядзе 5 аксіём: 1) адзінка ёсць натуральны лік; 2) наступны за натуральным лікам ёсць таксама натуральны лік; 3) у адзінкі няма папярэдняга натуральнага ліку; 4) калі натуральны лік a стаіць за натуральным лікам b і за натуральным лікам c, то b і c тоесныя; 5) калі якое-небудзь сцвярджэнне даказана для адзінкі і калі з дапушчэння, што яно праўдзівае для натуральнага ліку n, вынікае, што яно выконваецца і для наступнага за n натуральнага ліку, то гэта сцвярджэнне справядліва для адвольнага натуральнага ліку (аксіёма поўнай матэматычнай індукцыі). Па-за прапанаванай сістэмай аксіём застаюцца многія пытанні, у якіх вывучаецца ўся бесканечная сукупнасць натуральных лікаў, што патрабуе даследавання несупярэчлівасці адпаведнай сістэмы аксіём і больш дэталёвага аналізу сэнсу сцвярджэнняў, якія вынікаюць з яе. Як навука арыфметыка часам атаясамліваецца з тэорыяй лікаў.

Літ.:

История математики с древнейших времен до начала XIX столетия. Т. 1—3. М., 1970—72. Депман И.Я. История арифметики. 2 изд. М., 1965.

В.І.Бернік.

т. 2, с. 9