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 el 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.
John Barkley Rosser | |
---|---|
Nació | Jacksonville, Florida , Estados Unidos | 6 de diciembre de 1907
Fallecido | 5 de septiembre de 1989 Madison, Wisconsin , Estados Unidos | (81 años)
Nacionalidad | Estados Unidos |
alma mater | Universidad de Princeton |
Conocido por | Teorema de Church-Rosser Paradoja de Kleene-Rosser Tamiz de Rosser |
Carrera científica | |
Campos | Lógica matemática Teoría de números |
Asesor de doctorado | Iglesia de Alonzo |
Estudiantes de doctorado | Elliott Mendelson Gerald Sacks |
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 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 . [1] [2]
El hijo de Rosser, John Barkley Rosser Jr. , es economista matemático y profesor en la Universidad James Madison en Harrisonburg, Virginia.
Publicaciones Seleccionadas
- Una lógica matemática sin variables por John Barkley Rosser, Univ. Diss. Princeton, Nueva Jersey, 1934, pág. 127–150, 328–355
- Lógica para matemáticos de John B. Rosser, McGraw-Hill 1953; [3] 2ª ed., Chelsea Publ. Co. 1978, 578 p., ISBN 0-8284-0294-9
- Aspectos destacados de la historia del cálculo Lambda , por J. Barkley Rosser, Annals of the History of Computing, 1984, vol 6, n 4, págs. 337–349
- Pruebas de independencia simplificadas: modelos de teoría de conjuntos con valor booleano , por J. Barkley Rosser, Academic Press, 1969
- Consulte los artículos de Barkley Rosser para obtener una lista completa de las publicaciones de Rosser.
Referencias
- ^ "Deaths" , Washington Post , 19 de septiembre de 1989, archivado desde el original el 3 de noviembre de 2012
- ^ "Resolución conmemorativa sobre la muerte del profesor emérito J. Barkley Rosser" (PDF) , Universidad de Wisconsin, Madison , 5 de marzo de 1990, archivado desde el original (PDF) el 8 de junio de 2011
- ^ Curry, HB (1954). "Revisión: Lógica para matemáticos por JB Rosser" (PDF) . Toro. Amer. Matemáticas. Soc . 60 (3): 266–272. doi : 10.1090 / s0002-9904-1954-09798-7 .
enlaces externos
- J. Barkley Rosser en el Proyecto de genealogía matemática
- Entrevista a Rosser y Stephen Kleene sobre sus experiencias en Princeton