Nikolai Aleksandrovich Shanin
http://dbpedia.org/resource/Nikolai_Aleksandrovich_Shanin an entity of type: Thing
Nikolai Aleksandrovich Shanin (Russian: Николай Александрович Шанин) (25 May 1919 Pskov – 17 September 2011) was a Russian mathematician who worked on topology and constructive mathematics. He introduced the delta-system lemma and the caliber of a topological space.
rdf:langString
Nikołaj Aleksandrowicz Szanin, ros. Николай Александрович Шанин (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 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. Od nazwiska matematyka pochodzą nazwy pojęć i twierdzeń takich jak czy .
rdf:langString
Николай Александрович Шанин (26 мая 1919, Псков — 17 сентября 2011) — советский математик и логик, педагог.
rdf:langString
Nikolai Alexandrowitsch Schanin (russisch Николай Александрович Шанин; englische Transkription Nicolai Aleksandrovich Shanin; * 26. Mai 1919 in Pskow; † 17. September 2011) war ein russischer Mathematiker, der sich mit Topologie und mathematischer Logik beschäftigte. Schanin war Ehrenmitglied der St. Petersburger Mathematischen Gesellschaft.
rdf:langString
rdf:langString
Nikolai Alexandrowitsch Schanin
rdf:langString
Nikolai Aleksandrovich Shanin
rdf:langString
Nikołaj Szanin
rdf:langString
Шанин, Николай Александрович
xsd:integer
43523988
xsd:integer
994654509
rdf:langString
Nikolai Alexandrowitsch Schanin (russisch Николай Александрович Шанин; englische Transkription Nicolai Aleksandrovich Shanin; * 26. Mai 1919 in Pskow; † 17. September 2011) war ein russischer Mathematiker, der sich mit Topologie und mathematischer Logik beschäftigte. Schanin studierte in Leningrad und promovierte 1942 am Steklow-Institut bei Pawel Sergejewitsch Alexandrow (Über die Erweiterung topologischer Räume). Er war Professor an der Universität Leningrad und am Steklow-Institut für Mathematik in Leningrad, wo er 1961 eine Gruppe für mathematische Logik gründete. Er war mit Andrei Andrejewitsch Markow einer der Gründer der russischen Schule für Konstruktive Mathematik. Schanin war Ehrenmitglied der St. Petersburger Mathematischen Gesellschaft.
rdf:langString
Nikolai Aleksandrovich Shanin (Russian: Николай Александрович Шанин) (25 May 1919 Pskov – 17 September 2011) was a Russian mathematician who worked on topology and constructive mathematics. He introduced the delta-system lemma and the caliber of a topological space.
rdf:langString
Nikołaj Aleksandrowicz Szanin, ros. Николай Александрович Шанин (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 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. Od nazwiska matematyka pochodzą nazwy pojęć i twierdzeń takich jak czy .
rdf:langString
Николай Александрович Шанин (26 мая 1919, Псков — 17 сентября 2011) — советский математик и логик, педагог.
xsd:nonNegativeInteger
1162