Andrey Markov ml. - Andrey Markov Jr.

Pro ostatní lidi se stejným jménem viz Andrei Markov.

Andrey Andrejevič Markov ml. (ruština: Андрей Андре́евич Марков; Petrohrad, 22. září 1903 - Moskva, 11. října 1979) byl a sovětský matematik, syn ruského matematika Andrey Andreyevich Markov Sr a jeden z klíčových zakladatelů ruské školy v konstruktivní matematika a logika. Významně přispěl k různým oblastem matematiky, včetně diferenciální rovnice, topologie, matematická logika a základy matematiky.[1][2]

Jeho jméno je spojováno zejména s Markovův princip a Markovovo pravidlo v matematické logice, Markovova věta v teorii uzlů a Markovův algoritmus[3] v teoretické informatice. Důležitým výsledkem, který v roce 1947 dokázal, bylo, že slovní úloha pro poloskupiny bylo neřešitelné;[4] Emil Post získali stejný výsledek nezávisle přibližně ve stejnou dobu.[4] V roce 1953 se stal členem komunistická strana.

V roce 1960 získal Markov zásadní výsledky ukazující na klasifikaci čtyřrozměrnosti rozdělovače je nerozhodnutelný: neexistuje žádný obecný algoritmus pro rozlišení dvou libovolných potrubí se čtyřmi nebo více rozměry. Je to proto, že čtyřrozměrná potrubí mají dostatečnou flexibilitu, aby nám umožnila vložit jakýkoli algoritmus[je zapotřebí objasnění ] v jejich struktuře, takže klasifikace všech čtyř variet by znamenala řešení pro Turingovu zastavení problému. Tento výsledek má hluboké důsledky pro omezení matematické analýzy.

Poznámky

  1. ^ Kushner, Boris A (2006). „Konstruktivní matematika A. A. Markova“. Amer. Matematika. Měsíční. 113 (6): 559–566. doi:10.2307/27641983. JSTOR  27641983. PAN  2231143.
  2. ^ Glukhov, M. M .; Nagornyĭ, N. M. (2004). „Andreĭ Andreevich Markov (ke stému výročí jeho narození)“. Diskrétní matematika. Appl. 14 (1): 1–6. doi:10.1515/156939204774148776. PAN  2069985.
  3. ^ Nový druh vědy [1]
  4. ^ A b Nový druh vědy [2]

externí odkazy