АКАДЕМИК ЛЕВ БЕКЛЕМИШЕВ: МАТЕМАТИЧЕСКАЯ ЛОГИКА ― ЭТО МОСТ МЕЖДУ МАТЕМАТИКОЙ И ГУМАНИТАРНЫМ ЗНАНИЕМ

Что такое математическая логика и как она связана с языками программирования? Почему она находится на стыке математики и гуманитарного знания и какие прикладные возможности открывает? Об этом наш разговор с главным научным сотрудником математического института им. В.А. Стеклова РАН, руководителем отдела математической логики академиком Львом Дмитриевичем Беклемишевым.