Nikołaj Szanin


Nikołaj Szanin w encyklopedii

Z Wikipedii, wolnej encyklopedii Przejdź do nawigacji Przejdź do wyszukiwania

Nikołaj Aleksandrowicz Szanin, ros. Николай Александрович Шанин (ur. 25 maja 1919 w Pskowie, wówczas na terenach ZSRR – zm. 17 września 2011[1]) – rosyjski matematyk specjalizujący się w topologii mnogościowej oraz konstruktywno-finitarnym ujęciu analizy matematycznej. W roku 1961 skupił wokół siebie grupę logików matematycznych, która zajmowała się tworzeniem pierwszego programu komputerowego do automatycznego dowodzenia twierdzeń. Mimo podeszłego wieku, Szanin pozostaje nadal aktywny naukowo uczestnicząc w seminariach Instytutu Stiekłowa w Moskwie. Ostatnia publikacja Szanina pochodzi z roku 2008[2]. Od nazwiska matematyka pochodzą nazwy pojęć i twierdzeń takich jak liczba Szanina czy twierdzenie Szanina.

Linki zewnętrzne | edytuj kod

Przypisy | edytuj kod

  1. M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Uspekhi Mat. Nauk, 68:4(412) (2013), 173–176.
  2. N.A. Szanin, On base representations of finitary mathematics. Methods of Logic in Mathematics, III. Abstracts. P. 14-16. St. Petersburg, 2006.
Kontrola autorytatywna (osoba):
Na podstawie artykułu: "Nikołaj Szanin" pochodzącego z Wikipedii
OryginałEdytujHistoria i autorzy