Piotr Novikov
Novikov Piotr (Пётр Новиков, Piotras Nòvikovas) 1901 08 28Maskva 1975 01 09Maskva, rusų matematikas. S. Novikovo tėvas.
Išsilavinimas ir veikla
1925 baigė Maskvos universitetą. 1929–34 dirbo Maskvos cheminės technologijos institute, nuo 1934 SSRS mokslų akademijos V. Steklovo matematikos institute (nuo 1957 Matematinės logikos skyriaus vadovas). SSRS mokslų akademijos narys (1960).
Mokslinė veikla
Mokslinių tyrimų svarbiausios kryptys – aibių teorija, matematinė logika, algoritmų, grupių teorija. Sukūrė deskripcinės aibių teorijos indeksų lyginių principą. Sukūrė formaliųjų sistemų neprieštaringumo įrodymo metodą, grindžiamą reguliariosios formulės sąvoka. Įrodė grupių teorijos tapatumo, jungtinumo ir izomorfizmo problemos neišsprendžiamumą. Nagrinėjo Burnside’o periodinių grupių problemą (Novikovo ir Adiano teorema). SSRS matematinės logikos mokyklos kūrėjas.
Apdovanojimai
Lenino premija (1957), Rusijos valstybinė premija (1999, po mirties; su Sergejumi Adianu).