Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degli insiemi, di logica matematica, di teoria degli algoritmi, di matematica intuizionista e di questioni di decidibilità. Ha insegnato nell'univ. di Mosca e ha tenuto per molti anni la cattedra di analisi matematica all'Istituto di pedagogia V. I. Lenin di Mosca. Uno dei suoi più celebri risultati è la dimostrazione che non sempre esiste un algoritmo che riduca una data successione di elementi di un gruppo all'elemento unitario. Insieme con il suo allievo S. I. Adjan risolse negativamente il problema di W. Burnside sui gruppi periodici. Membro effettivo dell'Accademia delle scienze dell'URSS dal 1960. Tra le sue opere ricordiamo gli Elementy matematičeskoj logiki (1959; trad. it. Elementi di logica matematica, 1975).