| Nacimiento |
6 de diciembre de 1907 Jacksonville, Florida |
|---|---|
| Muerte |
5 de septiembre de 1989 Madison, Wisconsin |
| Nacionalidad | americano |
| Áreas |
Lógica matemática Teoría de números |
| Diplomado | Universidad de Princeton |
| Director de tesis | Iglesia de Alonzo |
| Estudiantes de doctorado |
George Collins Stephen Orey Gerald Sacks |
| Reconocido por |
Propiedad de Church-Rosser Paradoja de Kleene-Rosser (en) Tamiz de Rosser |
John Barkley Rosser Sr. (6 de diciembre de 1907 - 5 de septiembre de 1989) fue un lógico estadounidense, estudiante de Alonzo Church , conocido por la propiedad Church-Rosser en lambda-cálculo . También creó el tamiz de Rosser en teoría de números . Fue director del Centro de Investigación Matemática del Ejército en la Universidad de Wisconsin en Madison de 1963 a 1973. También escribió libros de texto de matemáticas.
En 1936, demostró lo que desde entonces se ha llamado el truco de Rosser , una variante más fuerte del primer teorema de incompletitud de Gödel que muestra que el requisito de una consistencia ω puede reducirse al de una consistencia simple. En lugar de utilizar una variante de la paradoja del mentiroso con el enunciado "No soy demostrable" , utilizó el enunciado "Por cada prueba de mi existencia hay una prueba más corta de mi negación" .
En teoría de números, demostró el teorema de Rosser .
La paradoja de Kleene-Rosser (en) mostró la inconsistencia del cálculo lambda en su versión original.
Rosser murió de un aneurisma en5 de septiembre de 1989, en su casa de Madison .
Su hijo del mismo nombre (en) , es matemático en economía y profesor en la Universidad James Madison en Harrisonburg en Virginia .