Eisspeedway

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ż

Przypisy

  1. ↑ M.A. Vsemirnov 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.

Linki zewnętrzne

Quelle: https://pl.wikipedia.org/wiki/Niko%C5%82aj_Szanin