Шанин, Николай Александрович
Николай Александрович Шанин (26 мая 1919, Псков, РСФСР — 17 сентября 2011) — советский математик и логик, педагог.
Общие сведения
| Николай Александрович Шанин | |
|---|---|
| Дата рождения | 26 мая 1919 |
| Место рождения | |
| Дата смерти | 17 сентября 2011 (92 года) |
| Страна | |
| Научная сфера | топология |
| Место работы | |
| Образование | |
| Учёная степень | доктор физико-математических наук |
| Научный руководитель | Павел Сергеевич Александров и Андрей Андреевич Марков |
Биогрaфия
Родился 26 мая 1919 года в Пскове.
Окончил Ленинградский университет (1939) и его аспирантуру (1941). Кандидат (1942) и доктор (1946) физико-математических наук. Тема докторской диссертации — «О произведении топологических пространств». Ученик академика П. С. Александрова.
Во время войны — преподаватель Ленинградской военно-воздушной академии (Йошкар-Ола).
С 1945 работал в Ленинградском отделении Математического института им. Стеклова АН СССР[2]. Одновременно в 1950—2000 профессор математико-механического и философского факультетов Ленинградского университета. Читал курсы «Математическая логика», «Топология», «Математика для философов», «Теория алгоритмов».
В 1952 году руководил исследованиями по Проблеме № 5 «Проблема непротиворечивости и независимости математических принципов и проблема разрешимости математических задач».
В 1968—1980 годах был руководителем Группы математической логики[2].
Скончался 17 сентября 2011 года в возрасте 92 лет.
Научная деятельность
Автор научных работ в области топологии, конструктивной математики, поиска естественного вывода, построения финитарной концепции математического анализа[3]. Почётный член Санкт-Петербургского математического общества.
Среди основных достижений в конструктивной математике — обобщение теоремы Гёделя — Колмогорова, конструктивная семантика, алгоритм поиска естественного вывода и финитарный математический анализ[3]. В области топологии его основные достижения включают работы по бикомпактным расширениям, введение понятия калибра топологического пространства и вклад в теорию диадических бикомпактов[4].
Библиография
- Шанин Н. А. О произведении топологических пространств // Труды МИАН СССР. — 1948[5].
- Шанин Н. А. О некоторых логических проблемах арифметики // Труды МИАН СССР. — 1955[5].
- Шанин Н. А. О конструктивном понимании математических суждений // Труды МИАН СССР. — 1958[5].
- Шанин Н. А. Конструктивные вещественные числа и конструктивные функциональные пространства // Труды МИАН СССР. — 1962[5].
- Шанин Н. А. К вопросу о конструктивном понимании опорных формул. 1 // Труды МИАН СССР. — 1964[5].
- Шанин Н. А. Об иерархии способов понимания суждений в конструктивной математике // Труды МИАН СССР. — 1973[5].
- Шанин Н. А. О кванторе предельной осуществимости // Записки научных семинаров ЛОМИ. — 1976[5].
- Шанин Н. А. О канонических рекурсивных функциях и операциях // Записки научных семинаров ЛОМИ. — 1979[5].
- Шанин Н. А. Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике // Записки научных семинаров ПОМИ. — 1995[5].
- Шанин Н. А. On a finitary version of mathematical analysis // Annals of Pure and Applied Logic. — 2001.
Память
В 2019 году в Санкт-Петербурге прошла научная конференция, посвящённая 100-летию со дня рождения Н. А. Шанина[6].
Примечания
Литература
- Шанин Николай Александрович (к семидесятилетию со дня рождения) Успехи математических наук, Т. 45, Вып. 4-6. Гостехиздат, 1990
- Маслов С. Ю., Матиясевич Ю. В., Минц Г. Е., Оревков В. П., Слисенко А. О. Николай Александрович Шанин (к шестидесятилетию со дня рождения) // Успехи математических наук. — 1980[1].
- Всемирнов М. А., Гирш Э. А., Григорьев Д. Ю. Николай Александрович Шанин (к 80-летию со дня рождения). — 2001.
- Всемирнов М. А. и др. Николай Александрович Шанин (некролог) // Успехи математических наук. — 2013[2].
Ссылки
- Профиль Н. А. Шанина на портале Math-Net.Ru
- Биография Н. А. Шанина на сайте ПОМИ РАН
- ↑ Николай Александрович Шанин (к шестидесятилетию со дня рождения). Дата обращения: 7 июля 2026.
- ↑ Nikolai Aleksandrovich Shanin (obituary). Pure Portal SPBU. Дата обращения: 7 июля 2026.