Сообщить об ошибке
Сообщение отправлено!
Произошла ошибка :(
26 мая 1919г - 17 сентября 2011г
Псковская область, Псковский район, Псков
Советский математик и логик, один из основателей ленинградской школы конструктивной математики. Основные научные интересы лежали в областях топологии (теория произведений пространств), конструктивной математики, теории алгоритмов и финитарного анализа. Автор метода поиска вывода в формальных системах, известного как "метод Шанина".
Николай Шанин родился 26 мая 1919 года в Пскове. Его математическое образование и становление как учёного неразрывно связаны с Ленинградским государственным университетом. Он блестяще окончил математико-механический факультет ЛГУ в 1939 году и сразу поступил в аспирантуру, которую завершил в 1941 году. Научным руководителем был выдающийся советский математик, академик Павел Сергеевич Александров.
Годы Великой Отечественной войны провёл в эвакуации в Йошкар-Оле, где преподавал математику в также эвакуированной туда Ленинградской военно-воздушной академии. В 1942 году защитил кандидатскую диссертацию, а в 1946 году, в возрасте 27 лет, стал доктором физико-математических наук, защитив диссертацию на тему "О произведении топологических пространств", которая получила высокую оценку в математическом сообществе.
С 1945 года и на протяжении всей своей жизни был сотрудником Ленинградского отделения Математического института имени В. А. Стеклова АН СССР (ЛОМИ, позже ПОМИ РАН), ведущего научного центра страны. Параллельно, с 1950 по 2000 год, вёл масштабную педагогическую работу в Ленинградском (Санкт-Петербургском) государственном университете. Будучи профессором сначала математико-механического, а затем и философского факультетов, читал уникальные авторские курсы: "Математическая логика", "Теория алгоритмов", "Топология", а также специальный курс "Математика для философов", который способствовал формированию логической культуры у поколений гуманитариев.
Скончался 17 сентября 2011 года в Санкт-Петербурге.
Начав с классической общей топологии (его ранние работы по теориям произведения и бикомпактных расширений пространств вошли в учебники), он впоследствии сосредоточился на проблемах математической логики и оснований математики. Стал одним из лидеров и идейных вдохновителей ленинградской школы конструктивной математики, развивавшей идеи русского конструктивизма А. А. Маркова-младшего. Шанин глубоко исследовал возможности построения анализа на конструктивной основе, предложив свою финитарную концепцию математического анализа, стремящуюся к максимальному учёту вычислительных аспектов.
Особую известность в мировой логике приобрёл разработанный им алгоритмический метод поиска естественного вывода в формальных системах, получивший название "метод Шанина". Этот метод, изложенный в работе "Об алгоритме вывода в логических исчислениях" (1954), оказал существенное влияние на развитие автоматического доказательства теорем и теоретическое программирование. Его исследования в области конструктивной логики и семантики, включая известную работу по дизъюнктивному свойству конструктивных систем, стали классическими.