b750b1d40363905f.tex
1: \begin{abstract}
2: 		We study Doob's martingale convergence theorem for computable continuous time
3: 		martingales on Brownian motion, in the context of algorithmic randomness.
4: 		A characterization of the class of sample points for which the theorem holds is given. Such points are given the name of Doob random points.
5: 		It is shown that a point is Doob random if its tail is computably random in a certain sense.
6: 		Moreover, Doob randomness is strictly weaker than computable randomness and is incomparable with Schnorr randomness.
7: 	\end{abstract}
8: