An Entity of Type: person, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property Value
dbo:abstract
  • 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. (de)
  • 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. (en)
  • 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 . (pl)
  • Николай Александрович Шанин (26 мая 1919, Псков — 17 сентября 2011) — советский математик и логик, педагог. (ru)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 43523988 (xsd:integer)
dbo:wikiPageLength
  • 1162 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 994654509 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
schema:sameAs
rdf:type
rdfs:comment
  • 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. (en)
  • 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 . (pl)
  • Николай Александрович Шанин (26 мая 1919, Псков — 17 сентября 2011) — советский математик и логик, педагог. (ru)
  • 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. (de)
rdfs:label
  • Nikolai Alexandrowitsch Schanin (de)
  • Nikolai Aleksandrovich Shanin (en)
  • Nikołaj Szanin (pl)
  • Шанин, Николай Александрович (ru)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:doctoralAdvisor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:doctoralAdvisor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License