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 teoría de números . Formó parte del departamento de matemáticas de la Universidad de Cornell de 1936 a 1963, presidiéndolo varias veces. [1] Posteriormente fue director del Centro de Investigación de Matemáticas 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 de matemáticas.
En 1936, demostró el truco de Rosser , una versión más sólida del primer teorema de incompletitud de Gödel , mostrando que el requisito de consistencia ω puede debilitarse hasta alcanzar consistencia. En lugar de utilizar la frase de la paradoja del mentiroso equivalente a "No soy demostrable", utilizó una frase 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. , era economista matemático y profesor en la Universidad James Madison en Harrisonburg, Virginia.