J. Barkley Rosser - J. Barkley Rosser
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 | |
Los campos |
Lógica matemática Teoría de números |
Asesor de doctorado | Iglesia de Alonzo |
Estudiantes de doctorado |
Elliott Mendelson Gerald Sacks |
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.
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 .
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; 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.