#2,730

Most Influential Person

American logician

According to Wikipedia, John Barkley Rosser Sr. was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem, in lambda calculus. He also developed what is now called the "Rosser sieve", in number theory. He was later director of the Army Mathematics Research Center at the University of Wisconsin–Madison and the first director of the Communications Research Division of IDA. Rosser also authored mathematical textbooks.

- Explicit Bounds for Some Functions of Prime Numbers (1941) (205)
- On the Many-Valued Logics (1941) (177)
- The n-th Prime is Greater than nlogn (1939) (96)
- A Note on the Linear Diophantine Equation (1941) (21)
- The algebraic theory of diabolic magic squares (1939) (14)
- On the transformation group for diabolic magic squares of order four (1938) (13)
- The Theory and Policy Implications of Spatial Discontinuities in Land Values (1978) (11)
- On the first case of Fermat’s last theorem (1939) (9)
- A Generalization of the Euclidian Algorithm to Several Dimensions. (1941) (9)
- Church Alonzo. The calculi of lambda-conversion . Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton 1941, 77 pp. (1941) (8)
- A new lower bound for the exponent in the first case of Fermat's last theorem (1940) (5)
- An additional criterion for the first case of Fermat's last theorem (1941) (5)
- Review: Haskell B. Curry, The Combinatory Foundations of Mathematical Logic (1943) (5)
- Curry Haskell B.. The combinatory foundations of mathematical logic. The journal of symbolic logic, vol. 7 (1942), pp. 49–64. (1943) (4)
- British Association Mathematical Tables. Volume VIII. Number-Divisor Tables. (1941) (2)
- Review: Alonzo Church, S. C. Kleene, Formal Definitions in the Theory of Ordinal Numbers (1937) (2)
- Review: W. V. Quine, On the Theory of Types (1939) (2)
- Review: Frederic Brenton Fitch, A System of Formal Logic without an Analogue to the Curry W. Operator (1937) (1)
- Review: W. V. Quine, A Theory of Classes Presupposing no Canons of Type (1936) (0)
- Review: Felix Bernstein, The Continuumproblem (1938) (0)
- Fitch Frederic B.. The hypothesis that infinite classes are similar. The journal of symbolic logic, vol. 4 (1939), pp. 159–162. (1940) (0)
- Review: W. V. Quine, Truth by Convention (1936) (0)
- Quine W. V.. Truth by convention. Philosophical essays for Alfred North Whitehead , Longmans, Green and Co., New York 1936, pp. 90–124. (1936) (0)
- Alonzo Church and S. C. Kleene. Formal definitions in the theory of ordinal numbers. Fundamenta mathematicae , vol. 28 (1937), pp. 11–21. (1937) (0)
- Quine W. V.. On the theory of types. The journal of symbolic logic , vol. 3 (1938), pp. 125–139. (1939) (0)
- B. A. Bernstein. Postulates for Boolean algebra involving the operation of complete disjunction. Annals of mathematics , 2 s. vol. 37 (1936), pp. 317–325. (1936) (0)
- JSL volume 33 issue 2 Cover and Front matter (1968) (0)
- Fitch Frederic Brenton. A system of formal logic without an analogue to the Curry W operator. The journal of symbolic logic, vol. 1 (1936), pp. 92–100. (1937) (0)
- Review: W. V. Quine, On Cantor's Theorem (1938) (0)
- JSL volume 33 issue 4 Cover and Front matter (1969) (0)
- Review: Frederic B. Fitch, The Hypothesis that Infinite Classes are Similar (1940) (0)
- JSL volume 34 issue 1 Cover and Front matter (1969) (0)
- Related Citations (1941) (0)
- Quine W. V.. On Cantor's theorem. The journal of symbolic logic, vol. 2 (1937), pp. 120–124. (1938) (0)
- Hilbert and Ackermann on Logic (1938) (0)
- Review: Paul Dienes, Logic of Algebra (1940) (0)
- JSL volume 33 issue 3 Cover and Front matter (1968) (0)
- Curry Haskell B.. A formalization of recursive arithmetic. American journal of mathematics, vol. 63 (1941), pp. 263–282. (1942) (0)
- Book Review: Logic of Algebra (1940) (0)
- JSL volume 33 issue 1 Cover and Front matter (1968) (0)
- Quine W. V.. Definition of substitution. Bulletin of the American Mathematical Society, vol. 42 (1936), pp. 561–569. (1936) (0)
- Review: B. A. Bernstein, Postulates for Boolean Algebra Involving the Operation of Complete Disjunction (1936) (0)
- Bernstein Felix. The continuumproblem. Proceedings of the National Academy of Sciences, vol. 24 (1938), pp. 101–104. (1938) (0)
- Baylis Charles A.. Are some propositions neither true nor false? Philosophy of science , vol. 3 (1936), pp. 156–166. (1936) (0)
- Review: Haskell B. Curry, A Revision of the Fundamental Rules of Combinatory Logic; Haskell B. Curry, Consistency and Completeness of the Theory of Combinators (1941) (0)
- Review: W. V. Quine, Concepts of Negative Degree (1936) (0)
- Quine W. V.. A theory of classes presupposing no canons of type. Proceedings of the National Academy of Sciences , vol. 22 (1936), pp. 320–326. (1936) (0)
- Destouches Jean-Louis. Principes fondamentaux de physique théorique . With a preface by Broglie Louis de. Hermann & Cie Paris 1942, 3 vols., 905 pp. Errata, pp. 1–2. (1948) (0)
- Review: Charles A. Baylis, Are Some Propositions Neither True nor False? (1936) (0)
- Review: W. V. Quine, Mathematical Logic (1942) (0)
- Stabler E. R.. Sets of postulates for Boolean rings. The American mathematical monthly, vol. 48 (1941), pp. 20–28. (1941) (0)
- Review: W. V. Quine, Definition of Substitution (1936) (0)
- Quine W. V. and Goodman Nelson. Elimination of extra-logical postulates. The journal of symbolic logic, vol. 5 (1940), pp. 104–109. (1941) (0)
- JSL volume 34 issue 2 Cover and Front matter (1969) (0)
- Quine W. V.. Concepts of negative degree. Proceedings of the National Academy of Sciences , vol. 22 (1936), pp. 40–45. (1936) (0)
- Review: Haskell B. Curry, A Formalization of Recursive Arithmetic (1942) (0)
- Review: L. P. Gokieli, On the So-Called "Content-Having Axioms" of Mathematical Logic (1942) (0)
- List of officers and members of the Association for Symbolic Logic (1937) (0)
- Review: E. R. Stabler, Sets of Postulates for Boolean Rings (1941) (0)
- Review: W. V. Quine, Nelson Goodman, Elimination of Extra-Logical Postulates (1941) (0)

This paper list is powered by the following services:

J. Barkley Rosser is affiliated with the following schools:

This website uses cookies to enhance the user experience. Read the Privacy Policy for more.

Subscribe To Newsletter?Yes!