John Barkley Rosser Sr. (6 de diciembre de 1907 - 5 de septiembre de 1989) fue un lógico estadounidense , alumno de Alonzo Church y conocido por su participación en el teorema de Church-Rosser en el cálculo lambda . También desarrolló lo que ahora se llama el "tamiz de Rosser" en la teoría de números . Formó parte del departamento de matemáticas de la Universidad de Cornell desde 1936 hasta 1963, presidiéndolo varias veces. [1] Más tarde fue director del Centro de Investigación Matemática del Ejército en la Universidad de Wisconsin-Madison y el primer director de la División de Investigación de Comunicaciones de IDA . Rosser también fue autor de libros de texto matemáticos.
En 1936, demostró 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 hasta convertirse en consistencia. En lugar de utilizar la oración de la paradoja del mentiroso equivalente a "No soy demostrable", utilizó una oración que decía "Por cada prueba de mí, hay una prueba más corta de mi negación".
En teoría de números primos, demostró el teorema de Rosser .
La paradoja de Kleene-Rosser demostró 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 . [2] [1]
El hijo de Rosser, John Barkley Rosser Jr. , fue un economista matemático y profesor en la Universidad James Madison en Harrisonburg, Virginia.