też czasem algorytmem Markowa) (por. jego Teorija ałgorifmow). Wraz ze swymi uczniami i współpracownikami pokazał, jak można na podstawie przyjętych założeń konstruktywistycznych budować matematykę. Wiele wyników pokrywa się tu z wynikami uzyskanymi w ramach klasycznej matematyki rekurencyjnej.<br>Zauważmy, że Markow i jego szkoła reprezentują stanowisko nominalistyczne (por. Dodatek I) i orientację językową. Za podstawowe obiekty konstruowane uważają po prostu wyrażenia (słowa) budowane ze znaków jakiegoś wyjściowego alfabetu. Ich konstruktywizm jest, z jednej strony, bardziej radykalny niż w intuicjonizmie (odrzucają na przykład obiekty powstające poprzez kolejne wybory, w szczególności ciągi wyborów), a z drugiej - bardziej liberalny. To ostatnie widać najbardziej w przyjmowanej