Andrej Andrejewitsch Markow (1903 – 1979)

Der Mathematiker und Logiker wurde vor allem durch seine Arbeiten zur Algorithmentheorie bekannt.

1946 konstruierte er unabhängig von Post eine Halbgruppe mit rekursiv unlösbarem Wortproblem.

In der Logik ist Markow Begründer einer konstruktiven Richtung in Mathematik und Logik.