НО́ВИКОВ ПЁТР СЕРГЕЕВИЧ

НО́ВИКОВ Пётр Сер­гее­вич [15(28).8.1901, Мо­ск­ва – 9.1.1975, там же], рос. ма­те­ма­тик, акад. АН СССР (1960). Отец С. П. Но­ви­ко­ва. Окон­чил МГУ (1925). В 1929–34 ра­бо­тал в Моск. хи­ми­ко-техно­ло­гич. ин-те им. Д. И. Мен­де­лее­ва, с 1934 – в Ма­те­ма­тич. ин-те им. В. А. Стек­ло­ва АН СССР, с 1945 проф. Мос­ков­ско­го гос. пе­да­го­гич. ин-та им. В. И. Ле­ни­на. Соз­дал шко­лу ма­те­ма­тич. ло­ги­ки в СССР. Осн. тру­ды по тео­рии мно­жеств, ма­те­ма­тич. ло­ги­ке, тео­рии ал­го­рит­мов и тео­рии групп. Соз­дал силь­ный ме­тод ис­сле­до­ва­ния про­блем де­ск­рип­тив­ной тео­рии мно­жеств, по­лу­чив­ший назв. «прин­цип срав­не­ния ин­дек­сов» и ме­тод до­ка­за­тель­ст­ва не­про­ти­во­ре­чи­во­сти фор­маль­ных сис­тем, ос­но­ван­ный на по­ня­тии ре­гу­ляр­ной фор­му­лы. До­ка­зал не­раз­ре­ши­мость про­бле­мы то­ж­де­ст­ва, со­пря­жён­но­сти и изо­мор­физ­ма в тео­рии групп. По­лу­чил (вме­сте с С. И. Адя­ном) ре­ше­ние из­вест­ной про­бле­мы У. Бёрн­сай­да о пе­рио­дич. груп­пах. Ле­нин­ская пр. (1957). На­гра­ж­дён ор­де­на­ми Ле­ни­на (1961, 1971).