J. Barkley Rosser

John Barkley Rosser Sr. (December 6, 1907 in Jacksonville, Florida; † September 5, 1989 in Madison, Wisconsin) was American logician and mathematician. He is the father of John Barkley Rosser Jr. economy mathematician


Rosser earned his Bachelor of Science in 1929 and 1931 his Master of Science at the University of Florida. He made in 1934 at Princeton University, his doctorate. He then taught at Princeton, Harvard and Cornell, Iowa and continued his career at the University of Wisconsin- Madison continued. He still held over the age of 70 years lectures and died in 1989 at home in Madison, Wisconsin.

In addition to teaching Rosser has participated in numerous committees and associations. He was chairman of the Association for Symbolic Logic and the Society of Industrial and Applied Mathematics, Member of the Advisory Board for spacecraft on the Advisory Board of the Apollo project. He provided early contributions to computer science and helped the Polaris missile to develop. He was Director of the U. S. Army Mathematics Research Center at the University of Wisconsin- Madison. In addition, he wrote mathematical textbooks.


Rosser was a student of Alonzo Church. He has contributed to many areas, including symbolic logic, ballistics, missile development and analytical number theory.

Rosser contributed to the set of Church - Rosser in the lambda calculus in, developed the Rosser sieve, a screening method in analytic number theory, found and proved the theorem of Rosser from the theory of prime numbers, and proved in 1936 a stronger version of Gödel 's First incompleteness, by showing that the condition of - consistency can be weakened to consistency. Instead of the set of the Liar, which says "I am not provable ", he used the statement " For every proof to me there is a shorter proof of my logical negation ".


  • A Mathematical Logic Without Variables. Princeton Univ. Diss, Princeton, NJ 1934, pp. 127-150, 328-355
  • Explicit bounds for some functions of prime numbers, Amer. J. Math 63 (1941 ), pp. 211-232
  • Burali - Forti paradox, Journal of Symbolic Logic, Volume 7, 1942, pp. 1-17
  • With L. Schoenfeld: Sharper bounds for the Chebyshev functions θ (x ) and ψ (x ) (PDF, 1.8 MB), Math Comp. 29 (1975), no. 129, pp. 243-269
  • Logic for Mathematicians. 2nd edition. Chelsea Publ Co., New York 1978, 578 pp., ISBN 0-8284-0294-9