Anatolij Ivanovics Malzew
Anatolij Maltsev ( orosz Анатолий Иванович Мальцев , tudományos. Az átírás Anatolij Ivanovics Mal'cev ; angolul íródik Anatolij Ivanovics Malcev; született 14- jul. / 27. November 1909-ben Greg. A Mischeronski a Shatura , † július 7. 1967-es a Novoszibirszk ) volt Orosz matematikus és logikus.
Élet
1927 és 1931 között Moszkvában tanult matematikát . A Steklow Intézetben 1934 és 1937 között aspiráns, 1939 és 1941 között doktorandusz, 1942 és 1960 között tudományos asszisztens volt. 1941 -ben fizikai és matematikai tudományokból doktorált. 1958 -ban a Szovjetunió Tudományos Akadémiája elfogadta tagjává.
1932 és 1960 között asszisztensként, majd oktatóként és 1943 -tól felső algebra professzorként dolgozott az Ivanovói Pedagógiai Intézetben . 1960 -tól az Algebra Szekciót vezette a Szovjetunió AdW szibériai tanszékének matematikai intézetében, és az ottani egyetem algebrai és matematikai logikai tanszékét.
1966-ban adta a plenáris előadás a Nemzetközi Matematikai Kongresszus a Moszkva (Egyes kérdésre határán algebra és logika).
Juri Leonidowitsch Jerschow egyike doktoranduszainak . Az utolsó aspiráns volt Larissa Lvovna Maximova .
Az Orosz Tudományos Akadémia 1992 óta ítéli oda Malcev -díjat a kiemelkedő matematikai eredményekért.
növény
Fő munkaterületei az algebra és a modellelmélet voltak . Számos alapvető eredmény született a csoportok és gyűrűk elméletéről, a hazug csoportok elméletéről és a topológiai algebráról. Különösen jelentős mértékben járult hozzá Hilbert 5. feladatának megoldásához , amely Lies elmélete a folyamatos transzformációs csoportokról, ha lehetséges, a differenciálhatóság előfeltételei nélkül.
Az algebrai rendszerek elméletével foglalkozó munkája az algebra és a logika közötti határterületet érinti, amely 1960 óta modellelméletként ismert, és egyik alapítója, Malzew. Tőle származik többek között. Az első használata a tömörség tétel a matematikai logika az igazolás tartalomban gazdag tételei csoport elmélet 1941-ben.
Számos általa és az általa felépített Novoszibirszki Modellelméleti Iskolában végzett tanulmány foglalkozott a konkrét algebrai szerkezeti osztályok axiomatizálhatóságával és eldönthetőségével . Ő volt az alapítója egy konstruktív algebra elméletnek , amelyben a rekurziós elmélet ötleteinek és módszereinek kombinációja jön létre az egyetemes algebrával .
Malzew már 1936 -ban általános megfogalmazást adott a tömörségi tételről. Széles körben foglalkozott a rekurziós elmélettel, és kifejlesztett egy elméletet a számozott halmazokról és különösen az algebrákról .
Betűtípusok
- Vizsgálatok a matematikai logika területén. In: Математический Сборник. 43. kötet = Új sorozat 1. kötet, 3. szám, 1936., ZDB -ID 2550625-0 , 323-336. O. ( Digitalizált változat ).
- Основы Линейной Алгебры. ОГИЗ, Moscow et al. 1948, (angolul: Foundations of Linear Algebra. WH Freeman & Company, San Francisco CA et al. 1963).
- Алгоритмы и Рекурсивные Функции. Наука, Moszkva 1965, (németül: Algorithmen und rekurzív funkciók. (= Logic and Fundamentals of Mathematics. 13). Vieweg, Braunschweig 1974, ISBN 3-528-08327-1 , és: Akademie-Verlag, Berlin 1974; angolul: Algoritmusok és rekurzív funkciók: Wolters-Noordhoff Publishing, Groningen 1970).
- Алгебраические Системы. Наука, Moscow 1970, (angolul: Algebrai rendszerek (= A matematikai tudományok alapvető tanításai az egyéni ábrázolásokban. 192). Springer, Berlin et al. 1973, ISBN 3-540-05792-7 , és: Akademie-Verlag, Berlin 1973).
- Az algebarikus rendszerek metamatematikája. Gyűjtött dolgozatok: 1936-1967 (= Studies in Logic and the Foundations of Mathematics. 66). North-Holland, Amsterdam et al., 1971, ISBN 0-7204-2266-3 (a logikáról és a metamatematikáról szóló munkájának összefoglalása 1936 és 1967 között).
web Linkek
személyes adatok | |
---|---|
VEZETÉKNÉV | Malzew, Anatolij Ivanovics |
ALTERNATÍV NEVEK | Malcev, Anatolij Ivanovics; Мальцев, Анатолий Иванович (orosz) |
RÖVID LEÍRÁS | Orosz matematikus és logikus |
SZÜLETÉSI DÁTUM | 1909. november 27 |
SZÜLETÉSI HELY | Mischeronski és Shatura |
HALÁL DÁTUMA | 1967. július 7 |
HALÁL HELYE | Novoszibirszk |