26 мая 1919г - 17 сентября 2011г
Псковская область, Псковский район, Псков
Советский математик и логик, один из основателей ленинградской школы конструктивной математики. Автор метода поиска вывода в формальных системах, известного как «метод Шанина». Автор курсов по математической логике и теории алгоритмов.
