Boczwar, N. Szanin). W latach 1948­1949 sformułował on podstawowe zasady konstruktywnej matematyki rekurencyjnej. Są one następujące: (1) przedmiotem konstruktywnej matematyki rekurencyjnej są obiekty konstruktywne, dokładniej: słowa w różnych alfabetach; (2) dopuszcza się abstrakcję prowadzącą do tezy o istnieniu potencjalnym pewnych obiektów, o potencjalnej ich realizowalności, ale nie abstrakcję nieskończoności aktualnej. Potencjalna realizowalność oznacza tu na przykład, że możemy uważać działanie dodawania za operację dobrze określoną dla wszystkich liczb naturalnych, ponieważ wiemy, jak ją wykonać dla dowolnie dużych liczb danych. Markow oparł swą matematykę konstruktywną na pojęciu algorytmu normalnego (zwanego też czasem algorytmem Markowa) (por. jego Teorija ałgorifmow). Wraz ze swymi