Nikołaj Aleksandrowicz Szanin, (ur. 25 maja 1919 w Pskowie, wówczas na terenach ZSRR – zm. 17 września 2011 ) – rosyjski matematyk specjalizujący się w topologii mnogościowej oraz konstruktywno-finitarnym ujęciu analizy. W roku 1961 skupił wokół siebie grupę logików matematycznych, która zajmowała się tworzeniem pierwszego programu komputerowego do automatycznego dowodzenia twierdzeń. Ostatnia publikacja Szanina pochodzi z roku 2008N.A. Szanin, On base representations of finitary mathematics. Methods of Logic in Mathematics, III. Abstracts. P. 14-16. St. Petersburg, 2006.. Od nazwiska matematyka pochodzą nazwy pojęć i twierdzeń takich jak liczba Szanina czy twierdzenie Szanina.
Zobacz też Lemat Szanina
Przypisy
Linki zewnętrzne Strona domowa prof. Szanina
Kategoria:Ludzie urodzeni w Pskowie Kategoria:Rosyjscy matematycy XX wieku Kategoria:Rosyjscy matematycy XXI wieku Kategoria:Urodzeni w 1919 Kategoria:Zmarli w 2011 Kategoria:Ludzie upamiętnieni nazwami twierdzeń