Verbum

АБСАЛЮ́ТНА ЦВЁРДАЕ ЦЕ́ЛА,

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

т. 1, с. 42

БА́ЗІС, база (ад грэч. basis аснова),

1) у матэматыцы — найменшае падмноства некаторага мноства, з якога пэўнымі аперацыямі можна атрымаць любы элемент гэтага мноства. Напрыклад, 1 аперацыямі складання і множання можна атрымаць любы натуральны лік. У вектарнай прасторы такі набор вектараў, што адвольны вектар адназначна выяўляецца ў выглядзе лінейнай камбінацыі вектараў гэтага набору. Колькасць элементаў базісу наз. размернасцю прасторы. Гл. таксама Артаганальная сістэма, Артаганальнае пераўтварэнне.

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

т. 2, с. 220

ЛАГІЦЫ́ЗМ,

кірунак у асновах матэматыкі, у якім зыходныя паняцці матэматыкі зводзяцца да паняццяў логікі. Ідэі Л. прапанаваны Г.В.Лейбніцам. У сістэматызаваным выглядзе выкладзены Г.Фрэге ў кн. «Асноўныя законы арыфметыкі» (т. 1—2, 1893—1903). Ён прапанаваў звядзенне асноўнага для матэматыкі паняцця натуральнага ліку да аб’ёмаў паняццяў і распрацаваў лагічную сістэму, сродкамі якой можна было даказаць усе тэарэмы арыфметыкі. Дактрына Л. развіта Б.Раселам, які выявіў у сістэме Фрэге супярэчнасць («парадокс Расел», гл. Парадокс). У кн. «Прынцыпы матэматыкі» (т. 1—3, 1910—13) Расел і А.Н.Уайтхед прапанавалі т.зв. тэорыю тыпаў, у якой парадоксаў можна пазбегнуць пры дапамозе спец. іерархіі паняццяў. У далейшым К.Гёдэль паказаў, што сістэмы Л. няпоўныя, іх сродкамі можна сфармуляваць змястоўна правільныя, але не вырашальныя матэм. сцвярджэнні (сцвярджэнні, якія нельга даказаць і нельга абвергнуць). Сістэмы Л. садзейнічалі фарміраванню і ўдакладненню важнейшых логіка-матэм. ідэй, зрабілі значны ўплыў на развіццё матэматычнай логікі і навукі.

В.М.Пешкаў.

т. 9, с. 89