Markov, Andrej Andreevič, iunior. - 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 algoritmici alla tesi di Church, può essere così espresso: "Tutti gli algoritmi in un alfabeto A sono pienamente equivalenti, relativamente ad A, a qualche algoritmo normale su A". Nella sua teoria degli algoritmi M. usa la logica intuizionista con l'aggiunta di una regola di esistenza potenziale (regola di M.). M. ha anche studiato i problemi indecidibili nella teoria degli algoritmi. Fondamentale la sua Teorija algoritmov (1954).
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 ...
Markov ‹màrkëf› Andrej Andreevič junior (Pietroburgo 1903 - Mosca 1979) Figlio di Andrej Andreevič; prof. di matematica nell'univ. di Leningrado (1935). ◆ Algoritmo di Markov Andrej Andreevic junior : particolare tipo di algoritmo, detto anche algoritmo normale, introdotto da Markov Andrej Andreevic ...
iunior ‹i̯ùnior› (o junior) agg. m. e f., lat. (pl. iuniores, juniores). – È il comparativo del lat. iuvĕnis «giovane», e significa quindi «più giovane» (in opposizione a senior, seniores), in ital. anche adattato in passato in iunióre o giunióre. In...
markoviano (o marcoviano; anche marcoffiano) agg. – Relativo al matematico russo A. A. Markov senior (1856-1922): catene markoviano o processi markoviano, sequenze di eventi aleatorî in cui la probabilità che un particolare evento della catena sia caratterizzato...
