Taimanov, Asan Dabsovich

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 17 maj 2021; kontroller kräver 5 redigeringar .
Asan Dabsovich Taimanov
Födelsedatum 25 oktober ( 7 november ) 1917( 1917-11-07 )
Födelseort Urdinsky-distriktet Västra Kazakstan region Kazakstan
Dödsdatum 1 februari 1990 (72 år)( 1990-02-01 )
En plats för döden Novosibirsk
Land  USSR
Vetenskaplig sfär matematik , topologi , matematisk logik , modellteori
Arbetsplats
Alma mater
vetenskaplig rådgivare P.S. Novikov
Studenter

N.G. Khisamiev

A. I. Omarov

T. G. Mustafin

B. S. Baizhanov
Känd som matematiker
Utmärkelser och priser

Asan Dabsovich Taimanov ( 25 oktober ( 7 november )  , 1917 , Urdinsky-distriktet , Västra Kazakstan-regionen  - 1 februari 1990 , Novosibirsk ) - sovjetisk kazakisk matematiker , doktor i fysikaliska och matematiska vetenskaper , akademiker vid Kazakhska vetenskapsakademin SSR. En specialist inom området topologi , matematisk logik och modellteori , student vid PS Novikov .

Biografi

Utexaminerad från Ural Pedagogical Institute (1936). Assistent vid Ural Pedagogical Institute (1936-1938), doktorand vid Moskva Pedagogical Institute (1938-1941, 1945-1947), avdelningschef vid Kyzylorda Pedagogical Institute (1947-1954), docent vid Shuya Pedagogical Institute (1954-1956), docent vid Ivanovo Textile Institute (1956-1960), senior forskare vid Institute of Mathematics of the Siberian Branch of the Academy of Sciences of the USSR (1960-1968), chef för Institutet för matematik och mekanik vid vetenskapsakademin i den kazakiska SSR, akademiker-sekreterare vid institutionen för fysiska och matematiska vetenskaper vid vetenskapsakademin i den kazakiska SSR (1968-1970).

Han tilldelades två Order of the Red Banner of Labor , Order of the Patriotic War 1st grad och medaljer.

Han begravdes på Donskoy-kyrkogården i Moskva.

Son - matematiker I. A. Taimanov (född 1961).

Vetenskapliga bidrag

AD Taimanov hittade egenskaper hos axiomatiserbara och ändligt axiomatiserbara klasser av modeller och kriterier för elementär ekvivalens av två algebraiska system; pekat ut kriterier för topologiserbarhet och konstruktiv topologiserbarhet av räknebara algebror.

Anteckningar

  1. Mathematical Genealogy  (engelska) - 1997.

Länkar