Donald W. Loveland

doi:10.1147/rd.41.0002.  |journal=被忽略 (帮助); |number=被忽略 (帮助) Loveland, Donald W.; Bledsoe, W. W. Automated theorem proving: after 25 years. Providence, Rhode

randomness）。 在20世纪，人们发展出了一些技术手段来定义随机数列。在1960年代中期，苏联数学家安德雷·柯尔莫哥洛夫和美国数学家唐纳德·W·罗弗兰德（英语：D. W. Loveland）各自独立提交了一份更宽容的子数列选取规则。在他们看来，邱其的递归函数过于严苛，因为它只能按顺序读取数列的前N项。与邱其相反，

Transformation of American Evangelicalism, NYU Press, USA, 2012, p. 78 Anne C. Loveland, Otis B. Wheeler, From Meetinghouse to Megachurch: A Material and Cultural

International Journal of Communication, 2011, 5 [2020-11-21], （原始内容存档于2021-02-24）  Loveland, Jeff; Reagle, Joseph. Wikipedia and encyclopedic production. New Media

logic: mathematicians and the origin of the computer [逻辑的引擎——数学家与计算机的起源]. 纽约: W·W·诺顿公司. 2000. ISBN 9780393322293 （英语）.  论文 马丁·戴维斯. Hilbert's Tenth Problem