John Barkley Rosser Sr., lógico estadounidense (m. 1989)
John Barkley Rosser Sr. (6 de diciembre de 1907 - 5 de septiembre de 1989) fue un lógico estadounidense, estudiante de Alonzo Church y conocido por su participación en el teorema de Church-Rosser, en cálculo lambda. También desarrolló lo que ahora se llama el "tamiz de Rosser", en teoría de números. Más tarde fue director del Centro de Investigación de Matemáticas del Ejército en la Universidad de Wisconsin-Madison. Rosser también fue autor de libros de texto de matemáticas.
En 1936, probó el truco de Rosser, una versión más fuerte del primer teorema de incompletitud de Gödel, mostrando que el requisito de consistencia ω puede debilitarse a consistencia. En lugar de usar la oración de la paradoja del mentiroso equivalente a "No soy demostrable", usó una oración que decía "Por cada prueba de mí, hay una prueba más corta de mi negación".
En la teoría de los números primos, demostró el teorema de Rosser.
La paradoja de Kleene-Rosser mostró que el cálculo lambda original era inconsistente.
Rosser murió de un aneurisma el 5 de septiembre de 1989 en su casa de Madison, Wisconsin. El hijo de Rosser, John Barkley Rosser Jr., es economista matemático y profesor de la Universidad James Madison en Harrisonburg, Virginia.