J. Barkley Rosser

在數論上，Rosser定理指的是第 n {\displaystyle n} 個質數會大於 n log ⁡ n {\displaystyle n\log n} ，其中 log {\displaystyle \log } 是自然對數函數。 這定理最早由J. Barkley Rosser於1939年發表。

英国数学家阿兰·图灵创建了可对输入进行运算的理论机器模型，现在被称为通用图灵机。 邱奇以及数学家斯蒂芬·科尔·克莱尼和逻辑学家J. Barkley Rosser（英语：J. Barkley Rosser）一起定义了一类函数， 这种函数的值可使用递归方法计算。 这三个理论在直觉上似乎是等价的--它们都定义了同一类函

弗兰克·普伦普顿·拉姆齐（英国，1903年－1930年） Abraham Robinson（以色列、英国、加拿大、美國，1918年－1974年） J. Barkley Rosser（美國，1907年－1989年） Richard Routley（紐西蘭，1935年－1996年） 伯特兰·罗素（英国，1872年－1970年）

(1980). Economics. 11th ed. / New York: McGraw-Hill. p. 34 Rosser, Mariana V. and J Barkley Jr. Comparative Economics in a Transforming World Economy.

{\displaystyle s(x)=\{\emptyset \}\cup \{\{t\}|t\in x\}} 這便允許了定義以真類為投影的有序對。 J. Barkley Rosser, 1953. Logic for Mathematicians. McGraw-Hill. Holmes, Randall (1998)