Заславский, Игорь Дмитриевич

Родился 29 октября 1932 года в Ленинграде в семье преподавателей.

Окончил школу с золотой медалью и математический факультет Ленинградского государственного университета (1954).

Работал младшим научным сотрудником в Научно-исследовательском институте связи (НИИС).

Умер 14 октября 2019 года.

Арестован 26 марта 1957 года как участник подпольной организации Р. И. Пименова, которая занималась выпуском самиздата и информационного бюллетеня «Информация»^[2]. 4 февраля 1958 года Ленинградским областным судом приговорён к 2 годам ИТК (ст. 58-10 ч. 1). Отбывал наказание в Мордовии в исправительно-трудовом лагере в посёлке Явас, 11 ноября 1958 года освобождён.

В Ленинграде не брали ни на какую работу, и с трудоустройством помог Рафаэль Александрян, директор вычислительного центра АН Армянской ССР, принявший его на должность старшего инженера. В 1961 г. ВЦ реорганизован в Институт информатики и автоматизации.

С 1961 года — преподаватель Ереванского государственного университета и одновременно с 1961 заведующий отделом, с 1963 зав. лабораторией Института информатики и автоматизации АН Армянской ССР (НАН РА), впоследствии — главный научный сотрудник лаборатории математической логики.

В 1987 году защитил докторскую диссертацию на тему «Симметрическая конструктивная логика и некоторые её приложения»^[3]. Доктор физико-математических наук (1988), профессор (1992). В 2000 году избран членом-корреспондентом НАН Армении.

Автор более 100 научных работ. Читал в университете курсы математической логики, теории алгоритмов на русском и армянском языках.

Ключевым научным вкладом И. Д. Заславского является создание и развитие симметрической конструктивной логики^[4] — направления, основанного на идее равноправного рассмотрения категорий конструктивной истинности и конструктивной ложности^[5].

Он также исследовал специфические свойства конструктивных функций, продемонстрировав их отличия от функций в классическом анализе. В частности, математик показал, что конструктивная функция, определённая на всех точках отрезка, может не быть ограниченной на этом отрезке, а будучи ограниченной — может не иметь точной верхней грани^[6][7].

Кроме того, в сферу его научных интересов входили работы по нечёткой конструктивной логике, в рамках которых принципы нечёткой логики рассматривались с конструктивной точки зрения^[4][8].

Сочинения:

• Տրամաբանության դերը փաստարկման պրոցեսում, 1998.
• Симметричная конструктивная логика. Ереван. 1978.
• Математические вопросы кибернетики и вычислительной техники, 1975.
• Трансформационная логика и логика символического языка, 1999.
• Нечёткая конструктивная логика (2008) — статья, опубликованная в сборнике «Исследования по конструктивной математике и математической логике. XI» Записки научных семинаров ПОМИ^[8].