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

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

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

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

Літ.:

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

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

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

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

т. 1, с. 207

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

дыяпазо́н

[лац. diapason, ад гр. dis pason (chordon) = праз усе (струны)]

1) гукавы аб’ём (інтэрвал паміж самым нізкім і самым высокім гукамі), даступны якому-н. музычнаму інструменту або пеўчаму голасу (напр. д. скрыпкі, тэнаравы д.);

2) перан. аб’ём, ахоп ведаў, інтарэсаў і г. д. (напр. шырокі д. ведаў, творчы д. артыста).

Слоўнік іншамоўных слоў. Актуальная лексіка (А. Булыка, 2005, правапіс да 2008 г.)

во́пыт, -у, М -пыце, мн. -ы, -аў, м.

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

Пачуццёвы в.

2. Сукупнасць ведаў і практычна засвоеных звычак.

Жыццёвы в.

В. будаўніцтва.

3. Узнаўленне якой-н. з’явы эксперыментальным шляхам, стварэнне чаго-н. новага ў пэўных умовах з мэтай даследавання, выпрабавання.

Хімічныя вопыты.

Вопыты калекцыянераў.

4. Спроба ажыццявіць што-н., пробнае ажыццяўленне чаго-н.

Першы в. маладога пісьменніка.

|| прым. во́пытны, -ая, -ае (да 1 і 3 знач.).

Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)

меха́нік, ‑а, м.

Спецыяліст, які займаецца пытаннямі механікі. Усе .. [студэнты] у недалёкім будучым — інжынеры: хто — механік, хто — будаўнік, хто — канструктар, хто — тэхнолаг... Хадкевіч. // Той, хто назірае за работай машын і правільным іх выкарыстаннем. Стары механік ведаў трактар, любіў яго. Якімовіч.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

не́вуцтва, ‑а, н.

Адсутнасць ведаў, неадукаванасць, недасведчанасць у чым‑н. [Антаніна Аркадзеўна:] — Божа мой, якое дрымучае невуцтва! Дваццаць гадоў вучыць дзяцей і не ведаць, дзе востраў Калімантан. Шамякін. [Шэмет:] — Судзяць не Дубалеку, а непаваротлівасць, абыякавасць, .. бязволле, марудлівасць, невуцтва — вось што судзяць. Лобан.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

самазахава́нне, ‑я, н.

Імкненне захаваць сваё жыццё, засцерагчы сябе ад небяспекі. Інстынкт самазахавання. □ Але засцярога і голас самазахавання бяруць верх, і.. [Лабановіч] кажа: — Ведаеце, Аксён, мы аб гэтым пагаворым як-небудзь другім разам, пагаворым так, каб ніхто не ведаў. Колас.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

утыліта́рнасць, ‑і, ж.

1. Уласцівасць утылітарнага. Утылітарнасць ведаў.

2. Утылітарныя адносіны, утылітарны падыход да чаго‑н. У Коласа прыгожым, паэтычным выступае звычайная, будзённая праца. Ва утылітарнасці, г. зн. практычнай мэтазгоднасці прыгожага, пісьменнік падкрэслівае яго жыццёвасць, яго «зямную» прыроду. Навуменка.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

эргано́міка

(ад гр. ergon = работа + nomos = закон)

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

Слоўнік іншамоўных слоў (А. Булыка, 1999, правапіс да 2008 г.)

pragnienie

н.

1. смага;

mam pragnienie — мне хочацца піць; у мяне смага;

2. прага; жаданне; імкненне;

pragnienie wiedzy — прага ведаў

Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)

głód, głodu

м.

1. голад;

2. прага;

głód wiedzy — прага ведаў;

3. голад; брак, недахоп чаго;

głód narkotyczny — наркатычная ломка

Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)