Nikołaj Szanin

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. 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 2008^[2]. Od nazwiska matematyka pochodzą nazwy pojęć i twierdzeń takich jak liczba Szanina czy twierdzenie Szanina.

Zobacz też

Lemat Szanina

Przypisy

↑ M.A.M.A. Vsemirnov M.A.M.A. i inni, Николай Александрович Шанин, „Uspiechi matiematiczeskich nauk”, 68 (4), 2013, s. 173–176, DOI: 10.4213/rm9528 (ros.). „Russian Mathematical Surveys”, 68 (4), 2013, s. 763–767, DOI: 10.1070/RM2013v068n04ABEH004852 (ang.).
↑ N.A. Szanin, On base representations of finitary mathematics. Methods of Logic in Mathematics, III. Abstracts. P. 14-16. St. Petersburg, 2006.

Linki zewnętrzne

Strona domowa prof. Szanina

[1] M.A.M.A. Vsemirnov M.A.M.A. i inni, Николай Александрович Шанин, „Uspiechi matiematiczeskich nauk”, 68 (4), 2013, s. 173–176, DOI: 10.4213/rm9528 (ros.). „Russian Mathematical Surveys”, 68 (4), 2013, s. 763–767, DOI: 10.1070/RM2013v068n04ABEH004852 (ang.).

[2] N.A. Szanin, On base representations of finitary mathematics. Methods of Logic in Mathematics, III. Abstracts. P. 14-16. St. Petersburg, 2006.

[1]

[2]