Verbum

ДУ́МБАРТАН-ОКС КАНФЕРЭ́НЦЫЯ 1944,

папярэдняя нарада прадстаўнікоў СССР, ЗША, Вялікабрытаніі, Кітая па пытаннях стварэння Арганізацыі Аб’яднаных Нацый (ААН). Склікана па прапанове СССР у адпаведнасці з дэкларацыяй 4 дзяржаў аб усеагульнай бяспецы, прынятай у 1943 у Маскве (гл. Маскоўскія нарады 1941, 1943, 1945). Праходзіла на віле Думбартан-Окс (прыгарад Вашынгтона) у 2 этапы: перагаворы прадстаўнікоў СССР, ЗША, Вялікабрытаніі (21.8—28.9.1944) і прадстаўнікоў ЗША, Вялікабрытаніі, Кітая (28.9—7.10.1944). На канферэнцыі ўзгоднены асн. палажэнні праекта Статута ААН, аднак з-за рознагалоссяў бакоў засталіся нявырашанымі пытанні аб першапачатковых членах будучай арг-цыі (сав. бок, які прадстаўляў ураджэнец Беларусі А.А.Грамыка, прапаноўваў уключыць у лік дзяржаў-заснавальніц ААН усе 16 саюзных рэспублік) і аб парадку галасавання ў Савеце Бяспекі.

Літ.:

Снапковский В.Е. Путь Беларуси в ООН, 1944—1945 гг. Мн., 1994.

т. 6, с. 257

ДЭШЫФРА́ТАР (ад франц. dēchiffrer разбіраць, разгадваць),

прылада для аўтам. расшыфроўкі кода (дэкадзіравання) паведамленняў. Пераўтварае даныя ў зыходную форму, якую яны мелі да кадзіравання (шыфравання).

Інфармацыя. што паступае на ўваходы Д., пераўтвараецца і на адпаведным выхадзе (ці групе выхадаў) вылучаецца сігнал, які паказвае прыкмету (або змест) уваходнага сігналу, напр. код прынятага ліку пераўтварае ў сігнал кіравання пэўным каналам сувязі (калі лік мае n двайковых разрадаў, Д. можа мець да 2​ⁿ выхадаў), код аперацыі — у кіроўны сігнал, код адраса — у сігнал выбаркі адпаведнай ячэйкі памяці запамінальнага прыстасавання ЭВМ і інш. Бываюць патэнцыяльныя, імпульсныя і патэнцыяльна-імпульсныя; паводле прынцыпу дзеяння адрозніваюць паралельныя, паслядоўныя і паралельна-паслядоўныя, паводле будовы — лінейныя, пірамідальныя і прамавугольныя. Выкарыстоўваюцца ў радыё-, выліч. і вымяральнай тэхніцы, тэлеф. і тэлегр. сувязі, тэлекіраванні і інш. Гл. таксама Дэкодэр, Дэтэктар.

М.​П.​Савік.

т. 6, с. 366

ІМАВЕ́РНАСНАЯ ЛО́ГІКА,

лагічная сістэма, у якой выказванням (суджэнням, сцвярджэнням, сказам) акрамя значэнняў ісціны і няісціны могуць прыпісвацца «прамежкавыя» значэнні, якія называюць імавернасцямі ісціннасці выказванняў, ступенямі іх праўдападобнасці, ступенямі пацвярджэння і інш. Уяўляе сабой удакладненне індукцыйнай логікі і адзін з відаў мнагазначнай логікі. Ісцінным выказваннем (верагодным падзеям) прыпісваецца ісціннаснае значэнне (імавернасць) — 1, няісцінным выказванням (немагчымым падзеям) — 0. Значэннем выказванняў І.л., што разглядаюцца як гіпотэзы, можа быць любы сапраўдны лік паміж 0 і 1. Вылічэнне імавернасцей складаных гіпотэз, калі вядомы імавернасці выказванняў, якія іх складаюць, робіцца па правілах матэм. вылічэння імавернасцей. Праблематыка Іл. ў стараж.-грэч. філасофіі распрацоўвалася Арыстоцелем, у Новы час — Г.​Лейбніцам, Дж.​Булем, У.​Джэвансам, Дж.​Венам. Сучаснае развіццё грунтуецца на сувязі тэарэтыка-імавернасных паняццяў з ідэямі тэорыі інфармацыі і лагічнай семантыкі. Гл. таксама Імавернасцей тэорыя, Імавернасць, Матэматычная логіка.

т. 7, с. 206

ЛАГІ́ЧНЫ ЗАКО́Н,

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

В.​М.​Пешкаў.

т. 9, с. 89

ПІФАГО́Р (Pythagoras) Самаскі

(каля 580, в-аў Самас, Грэцыя — 500 да н.э.),

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

Літ.:

Болгарский Б.В. Очерки по истории математики. Мн., 1974.

т. 12, с. 392