NOVIKOV, Pëtr Sergeević

Enciclopedia Italiana - IV Appendice (1979)

NOVIKOV, Pëtr Sergeević


Matematico, nato a Mosca il 28 agosto 1901. Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degl'insiemi, di logica matematica, di teoria degli algoritmì, di matematica intuizionista e di questioni di decidibilità. Ha insegnato nell'università 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 non risolubilità algoritmica del problema della parola per i gruppi, posto da M. Dehn nel 1911. Insieme con il suo allievo S. I. Adjan risolse negativamente il problema di W. Burnside sui gruppi periodici. Nel 1957 gli è stato assegnato il premio Lenin; dal 1960 è membro effettivo dell'Accademia delle scienze dell'URSS.

Tra le opere: O neprotivorečivosti nekotoryg položenij deskriptivnojteorii množestv (Sulla non contraddittorietà di alcuni principi della teoria descrittiva degl'insiemi, 1949); Elementy matematičeskoi logiki (Elementi di logica matematica, 1959); O beskonečnyh periodičeskih gruppah (Sui gruppi periodici infiniti, 1968).

Vedi anche
lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... gruppo simplettico In matematica, il gruppo costituito dalle matrici simplettico, gruppo di ordine 2n (simbolo Sp2n). Una matrice A di ordine 2n si chiama simplettico, gruppo se risulta A*J=JA–1, ove J è la matrice di ordine 2n formata da n blocchi (01 –10) situati lungo la diagonale principale e A*, A–1 sono rispettivamente ... algoritmo matematica Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo (per es. l’algoritmo euclideo, delle divisioni successive, l’algoritmo algebrico, insieme delle regole ... contraddizione Come termine specifico di logica, la contraddizione è il rapporto vigente tra un’affermazione e una negazione di egual soggetto e di egual predicato. In questa antitesi, vero essendo un termine, l’altro deve essere falso ( principio di contraddizione). ● La prima rigorosa formulazione del principio ...
Tag
Altri risultati per NOVIKOV, Pëtr Sergeević
  • Novikov Petr Sergeevic
    Enciclopedia della Matematica (2013)
    Novikov Pëtr Sergeevič (Mosca 1901 - 1975) matematico russo, noto per i suoi lavori di combinatoria nell’ambito della teoria dei gruppi, di teoria della misura e di teoria degli insiemi. Lavorò presso l’Istituto Steklov di matematica dell’Accademia delle scienze dell’urss, all’interno del quale nel ...
  • Novikov, Pëtr Sergeevič
    Enciclopedia on line
    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 ...
Vocabolario
pètra
petra pètra s. f. – Variante poetica ant. di pietra: Foco d’amore in gentil cor s’aprende Come vertute in p. prezïosa (Guinizzelli); Così nel mio parlar voglio esser aspro Com’è ne li atti questa bella petra (Dante, alludendo a una donna...
pètro-
petro- pètro- [dal gr. πετρο-, der. di πέτρα «pietra, sasso»]. – Primo elemento di parole composte del linguaggio scientifico, italiano e latino, formate modernamente dal greco, nelle quali significa «pietra, roccia»: petrofilo, petrografia,...