Asan Dabsovich Taimanov | |||||||
---|---|---|---|---|---|---|---|
Syntymäaika | 25. lokakuuta ( 7. marraskuuta ) , 1917 | ||||||
Syntymäpaikka | Urdinskyn piiri Länsi-Kazakstanin alue Kazakstan | ||||||
Kuolinpäivämäärä | 1. helmikuuta 1990 (72-vuotias) | ||||||
Kuoleman paikka | Novosibirsk | ||||||
Maa | Neuvostoliitto | ||||||
Tieteellinen ala | matematiikka , topologia , matemaattinen logiikka , malliteoria | ||||||
Työpaikka | |||||||
Alma mater | |||||||
tieteellinen neuvonantaja | P.S. Novikov | ||||||
Opiskelijat | B. S. Baizhanov | ||||||
Tunnetaan | matemaatikko | ||||||
Palkinnot ja palkinnot |
|
Asan Dabsovich Taimanov ( 25. lokakuuta ( 7. marraskuuta ) 1917 , Urdinskyn piiri , Länsi-Kazakstanin alue - 1. helmikuuta 1990 , Novosibirsk ) - Neuvostoliiton kazakstanilainen matemaatikko , fysiikan ja matemaattisten tieteiden tohtori, Kazakstanin SSR:n tiedeakatemian akateemikko. Topologian , matemaattisen logiikan ja malliteorian asiantuntija , PS Novikovin opiskelija .
Valmistunut Uralin pedagogisesta instituutista (1936). Uralin pedagogisen instituutin assistentti (1936-1938), jatko-opiskelija Moskovan pedagogisessa instituutissa (1938-1941, 1945-1947), Kyzylordan pedagogisen instituutin laitoksen johtaja ( 1947-1954), apulaisprofessori Shuya Pedagogical Institute (1954-1956), apulaisprofessori Ivanovon tekstiiliinstituutissa (1956-1960), vanhempi tutkija Neuvostoliiton tiedeakatemian Siperian sivuliikkeen matematiikan instituutissa (1960-1968), johtaja Kazakstanin SSR:n tiedeakatemian matematiikan ja mekaniikan instituutti, Kazakstanin SSR:n tiedeakatemian fysiikan ja matemaattisten tieteiden osaston akateemikko-sihteeri ( 1968-1970).
Hänelle myönnettiin kaksi Työn punaisen lipun ritarikuntaa, Isänmaallisen sodan 1. asteen ritarikunta ja mitalit.
Hänet haudattiin Donskoyn hautausmaalle Moskovaan.
Poika - matemaatikko I. A. Taimanov (s. 1961).
AD Taimanov löysi ominaisuuksia aksiomatisoitaville ja äärellisesti aksiomatisoitaville malliluokille ja kriteerit kahden algebrallisen järjestelmän alkeisekvivalenssille; osoitti kriteerit laskettavien algebroiden topologisoitavuudelle ja konstruktiiviselle topologisoitavuudelle.
Temaattiset sivustot | |
---|---|
Bibliografisissa luetteloissa |