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 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).

Vedi anche
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 (10.470.318 ab. nel 2008), 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 ... computabilità computabilità In logica matematica, nozione che di solito s’identifica con quella di ricorsività generale, introdotta intorno al 1936 da A.M. Turing e da E.L. Post. Una funzione numerica di n variabili si dice computabile se esiste un algoritmo per cui si possa, con un numero finito di passi, calcolare ... 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 ...
Categorie
Tag
Altri risultati per Markov, Andrej Andreevič, iunior
  • Markov Andrej Andreevic jr
    Enciclopedia della Matematica (2013)
    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 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
iunior
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...
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...