Comment by gylterud

Bringing in computability from an external point of view is a mistake here. Markov had no issue with a. He would only disagree with b.