Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
24.05.1937
Ключевые слова: математическая логика,
теория алгоритмов,
рекурсивные функции,
рекурсивно перечислимые множества.
Коды УДК: 510, 519.9, 510.5 Коды MSC: 03-XX, 03Fxx, 08-XX, 03Dxx
Основные темы научной работы:
Доказана неразрешимость многих элементарных теорий, которые могут быть легко интерпретируемы в других теориях. Решен ряд проблем в теории нумераций. Найдены удобные характеристики для вычислимых нумераций. Доказан ряд новых свойств креативных множеств. Автор (совместно с Л. Л. Максимовой) популярной книги "Задачи по теории множеств, математической логике и теории алгоритмов" (имеется 4 издания на русском языке, имеются переводы на иностранные языки).
Основные публикации:
И. А. Лавров, Л. Л. Максимов, Задачи по теории множеств, математической логике и теории алгоритмов, Физматлит, М., 2001
