John Barkley Rosser Sr., American logician (died 1989)

J. Barkley Rosser

American logician (1907–1989)

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 part of the mathematics department at Cornell…