Novikov Petr Sergeevic

Enciclopedia della Matematica (2013)

Novikov Petr Sergeevic


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 1957 fu nominato responsabile del dipartimento di logica matematica. Tra i suoi lavori figura anche lo sviluppo di un metodo per provare la consistenza di un sistema formale. Considerato tra i fondatori della scuola di logica matematica in Unione Sovietica, ha ricevuto nel 1957 il Premio Lenin per aver provato l’indecidibilità del problema di stabilire se due sequenze di operazioni tra i generatori di un gruppo finitamente generato danno o meno lo stesso risultato.

Vedi anche
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 al loro significato ... Mosca (russo Moskva) Città capitale della Russia (12.409.738 ab. nel 2017), e dell’oblast´ omonima, all’incrocio dei fiumi Moscova e Oka. Forma un’unità amministrativa autonoma, il cui limite è segnalato dall’autostrada anulare e oltre il quale è previsto il mantenimento di un’ampia cintura verde. La sua vasta ... URSS fig. 1URSS Sigla dell’Unione delle Repubbliche Socialiste Sovietiche (russo SSSR, Sojuz Sovetskich Socialističeskich Respublik), Stato federale esteso in territori di solito attribuiti in parte all’Europa orientale e in parte all’Asia centro-settentrionale, costituitosi a seguito della rivoluzione del ...
Tag
Altri risultati per Novikov Petr Sergeevic
  • 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 ...
  • 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à ...
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,...