Verbum

БУЛЬ

(Boole) Джордж (2.11.1815, г. Лінкальн, Вялікабрытанія — 8.12.1864),

англійскі матэматык і логік; заснавальнік матэм. логікі. Праф. матэматыкі (1849) Куінс-каледжа ў Корку (Ірландыя). Спец. матэматычнай адукацыі не меў. У працах «Матэматычны аналіз логікі» (1847), «Логікавае злічэнне» (1848), «Даследаванне законаў мыслення» (1854) распрацаваў алгебру логікі. Імем Буля названы асобныя алг. сістэмы — булевы алгебры.

т. 3, с. 332

ГЁДЭЛЬ

(Gödel) Курт (28.4.1906, г. Брно, Чэхія — 14.1.1978),

аўстрыйскі матэматык і логік. Чл. Нацыянальнай АН ЗША. У 1933—38 у Венскім ун-це. У 1940 эмігрыраваў у ЗША; з 1953 праф. Ін-та перспектыўных даследаванняў у Прынстане. Навук. працы па матэм. логіцы і тэорыі мностваў. Аўтар тэарэм Гёдэль пра непаўнату і паўнату.

Літ.:

Нагель Э., Ньюмен Д.Р. Теорема Гёделя: Пер. с англ. М., 1970.

т. 5, с. 211

АЙДУКЕ́ВІЧ

(Ajdukiewicz) Казімеж (12.12.1890, г. Цярнопаль, Украіна — 12.4.1963),

польскі логік, філосаф. Правадзейны чл. Польскай АН (з 1952). Праф. Львоўскага, Варшаўскага ун-таў (1925—38). У 1938 узначаліў Пазнанскае філас. т-ва, з 1953 гал. рэдактар час. «Studia logica» («Лагічныя даследаванні»). Прадстаўнік львоўска-варшаўскай школы, якая ставіла задачу лагічнага абгрунтавання і ўмацавання рацыяналізму ў процівагу ірацыяналізму. Паводле філас. поглядаў быў блізкі да ідэй лагічнага пазітывізму. Распрацаваў логіка-семантычную канцэпцыю значэння як спосабу ўжывання тэрміна ў пэўнай канцэптуальнай сістэме тэорыі лагічнага вываду, індуктыўнай логікі, азначэння, лагічнай семантыкі і сінтаксісу.

Тв.:

Język i poznanie. T. 1—2. Warszawa, 1960—65: The scientific world-perspective and other essays, 1931—63. Dordrecht, 1978.

Г.У.Грушавы.

т. 1, с. 174