Anatoly Ivanovich Malzew

Anatoli Malțev ( Rusă Анатолий Иванович Мальцев , științifice. Transliterație Anatoli Ivanovici Mal'cev , în limba engleză transcris Anatoli Ivanovich Malcev; născut la 14 ^{. Iul} / 27. luna noiembrie  anul 1909 ^{. Greg} În Mischeronski la Shatura , † 7 iulie din 1967 în Novosibirsk ) a fost un Matematician și logician rus .

Viaţă

A studiat matematica la Moscova din 1927 până în 1931 . La Institutul Steklow a fost aspirant în perioada 1934-1937, doctorand în perioada 1939-1941 și asistent de cercetare în perioada 1942-1960. În 1941 și-a luat doctoratul în științe fizice și matematice. În 1958 Academia de Științe a URSS l-a acceptat ca membru.

Din 1932 până în 1960 a lucrat și ca asistent, apoi ca lector și din 1943 ca profesor de algebră superioară la Institutul Pedagogic din Ivanovo . Din 1960 a condus Secția de Algebră la Institutul de Matematică al Departamentului Siberian al AdW al URSS și Catedra de Algebră și Logică Matematică la universitatea de acolo.

În 1966 a ținut o prelegere plenară la Congresul internațional al matematicienilor de la Moscova (Despre unele întrebări despre granița algebrei și logicii).

Juri Leonidowitsch Jerschow este unul dintre doctoranzii săi . Ultimul său aspirant a fost Larissa Lvovna Maximova .

Academia Rusă de Științe acordă premiul Malcev pentru realizări matematice remarcabile din 1992.

plantă

Principalele sale domenii de lucru au fost algebra și teoria modelelor . Numeroase rezultate fundamentale privind teoria grupurilor și inelelor, teoria grupurilor Lie și algebra topologică pot fi urmărite înapoi la el. În special, el a adus contribuții semnificative la soluția celei de-a cincea probleme a lui Hilbert , fundamentul teoriei lui Lies a grupurilor de transformare continuă, dacă este posibil fără condiții prealabile pentru diferențialitate.

Munca sa asupra teoriei sistemelor algebrice se referă la zona de graniță dintre algebră și logică, care a fost cunoscută sub numele de teoria modelelor din jurul anului 1960 și a fost unul dintre fondatorii ei, Malzew. De la el vine, printre altele. prima utilizare a teoremei compactitate a logicii matematice în dovada teoreme bogate în conținut de teoria grupului în 1941.

Numeroase studii efectuate de el și de Școala de teorie a modelelor din Novosibirsk, pe care le-a construit, au abordat întrebări de axiomatizabilitate și decizie a claselor structurale algebrice concrete. El a fost fondatorul unei teorii a algebrei constructive , în care se stabilește o combinație de idei și metode ale teoriei recursive cu cele ale algebrei universale .

Malzew a dat o formulare generală a teoremei compactității încă din 1936. El s-a ocupat pe larg de teoria recursivității și a dezvoltat o teorie a mulțimilor numerotate și a algebrelor în special .

Fonturi

• Investigații în domeniul logicii matematice. În: Математический Сборник. Volume 43 = New Series Volume 1, No. 3, 1936, ZDB -ID 2550625-0 , pp. 323-336, ( digitalizate versiune ).
• Основы Линейной Алгебры. ОГИЗ, Moscova și colab. 1948, (engleză: Foundations of Linear Algebra. WH Freeman & Company, San Francisco CA și colab. 1963).
• Алгоритмы и Рекурсивные Функции. Наука, Moscova 1965, (germană: Algorithmen und recursive functions. (= Logic and Fundamentals of Mathematics. 13). Vieweg, Braunschweig 1974, ISBN 3-528-08327-1 și: Akademie-Verlag, Berlin 1974; Engleză: Algorithms și funcții recursive. Editura Wolters-Noordhoff, Groningen 1970).
• Алгебраические Системы. Наука, Moscova 1970, (engleză: Algebraic systems (= Învățăturile de bază ale științelor matematice în reprezentări individuale. 192). Springer, Berlin și colab. 1973, ISBN 3-540-05792-7 și: Akademie-Verlag, Berlin 1973).
• Metamatematica sistemelor algebarice. Lucrări colectate: 1936-1967 (= Studii în logică și fundamentele matematicii. 66). North-Holland, Amsterdam și colab. 1971, ISBN 0-7204-2266-3 (rezumat al lucrării sale despre logică și metamatematică din 1936 până în 1967).

Link-uri web

• Biografia McTutor, engleză