Markov Andrej Andreevic jr

Enciclopedia della Matematica (2013)

Markov Andrej Andreevic jr


Markov Andrej Andreevič jr (San Pietroburgo 1903 - Mosca 1979) matematico e logico russo, figlio di Andrej Markov senior. Laureatosi in fisica presso l’università di San Pietroburgo, si occupò dapprima di meccanica quantistica e di meccanica celeste e in seguito rivolse i suoi interessi a vari settori della matematica, in particolare alle equazioni differenziali, alla topologia e alla geometria differenziale. Dopo la seconda guerra mondiale le sue ricerche si concentrarono sulla logica, sui fondamenti della matematica e soprattutto sulla teoria degli algoritmi (algoritmo di Markov); a questo ambito di ricerca sono collegati concetti quale la computabilità secondo Markov (equivalente alla ricorsività) e il principio di normalizzazione o principio di Markov (corrispondente, in termini algoritmici, alla tesi di → Church). Markov ha anche studiato i problemi indecidibili nella teoria degli algoritmi. Nella sua teoria degli algoritmi egli utilizza la logica intuizionista arricchita di una regola di esistenza potenziale (regola di Markov).

Vedi anche
Markov, Andrej Andreevič, senior Matematico russo (Rjazan´ 1856 - Pietrogrado 1922). Fu uno dei seguaci di P. L. Čebyšev nell'impostazione astratta e formale del calcolo delle probabilità; in tale indirizzo, come pure nel campo del calcolo numerico, ottenne notevoli risultati. In particolare, generalizzò risultati dovuti a Čebyšev e ... San Pietroburgo (russo Sankt Peterburg) Città della Russia (dal 1914 al 1924, Pietrogrado; dal 1924 al 1991, Leningrado; 4.568.047 ab. nel 2008), con status di città autonoma, che si estende dai confini con l’Estonia e con la Finlandia fino alle rive del Lago Onega. Seconda città, dopo Mosca, per numero di abitanti, ... 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 ... 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’a. euclideo, delle divisioni successive, l’a. algebrico, insieme delle regole del calcolo ...
Tag
Altri risultati per Markov Andrej Andreevic jr
  • Markov, Andrej Andreevič, iunior
    Enciclopedia on line
    Matematico e logico russo (Pietroburgo 1903 - Mosca 1979), figlio del precedente. Il suo nome è legato agli algoritmi normali o di M., alla computabilità secondo M., che è equivalente alla ricorsività, al principio di normalizzazione o principio di Markov. Questo principio, che corrisponde in termini ...
  • Markov Andrej Andreevic junior
    Dizionario delle Scienze Fisiche (1996)
    Markov 〈màrkëf〉 Andrej Andreevič junior [STF] (Pietroburgo 1903 - Mosca 1979) Figlio di Andrej Andreevič; prof. di matematica nell'univ. di Leningrado (1935). ◆ [INF] Algoritmo di M.: particolare tipo di algoritmo, detto anche algoritmo normale, introdotto da M. nel 1954, che, applicato a una parola ...
Vocabolario
jr
jr 〈ǧei̯àr〉. – Abbreviazione ingl. di junior (cfr. la trattazione sotto la voce iunior).
markoviano
markoviano (o marcoviano; anche marcoffiano) agg. – Relativo al matematico russo A. A. Markov senior (1856-1922): catene m. o processi m., sequenze di eventi aleatorî in cui la probabilità che un particolare evento della catena sia caratterizzato...