2006 54 2 511–523 c �2006 † 2006 1 4 2006 5 8 1. Turing Church Solomonoff Kolmogorov Chaitin Martin-Löf 0 1 1 7 0000000 001101 † 152–8552 2–12–1 512 54 2 2006 3000 0 03000 3000 3000 2 Martin-Löf n n ω ⇐⇒ 1 Li and Vitányi 1993 2 Martin-Löf 1966 4 Cilibrasi and Vitányi 2005 2. 513 ω n ω1:n ω ω1:n n 1 #1(ω1:n) n/2 A #1(ω1:n) − n/2 √ n A A 1 #1(ω1:n) − n/2 n1/4 0 ω1:n 1 Martin-Löf 1. δ (sequentia