William boone

William y Eileen Boone en la Universidad de Illinois en Urbana-Champaign (1979) Biografía

Nacimiento	1920 o 16 de enero de 1920 Cincinnati
Muerte	1983 o 14 de septiembre de 1983 Urbana
Nacionalidad	americano
Capacitación	Universidad de Princeton
Ocupaciones	Matemático , filósofo

Otras informaciones

Trabajé para	Universidad de Illinois en Urbana-Champaign
Campo	Matemáticas
Director de tesis	Iglesia de Alonzo
Distinción	Beca Guggenheim

Contribuciones principales

teorema teorema de Boone-Higman (en)
Teorema Teorema de Boone Rogers ( pulgadas )
Novikov-teorema de Boone

William Werner Boone (nacido el16 de enero de 1920en Cincinnati y murió el14 de septiembre de 1983en Urbana (Illinois) ) es un matemático estadounidense.

Carrera profesional

Obtuvo una licenciatura en la Universidad de Cincinnati en 1945 y luego comenzó sus estudios de posgrado en la Universidad de Princeton . Fue instructor en la universidad, luego en Rutgers antes de ser profesor asistente en la Universidad Católica de América en Washington en 1950. Defendió su tesis en 1952 bajo la supervisión de Alonzo Church en la Universidad de Princeton . Pasó los años 1954-1956 en Princeton con una beca Fulbright . Era amigo de Kurt Gödel en el Instituto de Estudios Avanzados . Luego viajó a Europa con una beca Guggenheim . Desde 1958, Boone trabajó en la Universidad de Illinois en Urbana-Champaign primero como profesor asociado y luego como profesor titular desde 1960.

Contribuciones

Piotr Novikov demostró en 1955 la existencia de un grupo finamente presentado para el cual el problema verbal es indecidible. Boone obtuvo una prueba diferente en 1958.

Publicaciones (selección)

William W. Boone, "Problemas de decisión sobre sistemas algebraicos y lógicos como un todo y grados de insolubilidad recursivamente enumerables" , en Contribuciones a la lógica matemática (Coloquio, Hannover, 1966) , Holanda del Norte,1968( Revisiones de matemáticas 0237617 ) , pág. 13-33
William W.Boone, FB Cannonito y Roger C. Lyndon (editores), Word Problems: Decision Problem in Group Theory , Holanda Septentrional,1973.
William W. Boone y G. Higman, “ Una caracterización algebraica de la solubilidad del problema verbal ”, J. Austral. Matemáticas. Soc. , vol. 18,1974, p. 41-53.
William W. Boone y H. Rogers Jr., " Sobre un problema de JHC Whitehead y un problema de Alonzo Church " , Math. Scand. , vol. 19,1966, p. 185-192.

Referencias

(en) " William Werner Boone " , en el sitio web del Proyecto de genealogía de las matemáticas .
Solomon Feferman (editor en jefe), Kurt Gödel: Obras completas , vol. IV: Correspondencia, A - G, Oxford Clarendon Press:,2003, xviii + 662 pág. ( ISBN 978-0-19-850073-5 , leer en línea ).
(ru) Pyotr S. Novikov , “ Sobre la insolubilidad algorítmica del problema verbal en la teoría de grupos ” , Actas del Instituto de Matemáticas Steklov , vol. 44,1955, p. 1-143 ( zbMATH 0.068,01301 ).
William W. Boone , " El problema de la palabra " , Actas de la Academia Nacional de Ciencias , vol. 44, n o 10,1958, p. 1061–1065 ( PMCID 528693 , DOI 10.1073 / pnas.44.10.1061 , zbMATH 0086.24701 , leer en línea [PDF] )

enlaces externos

Registros de autoridad :
Recurso de investigación :
- (es) Proyecto de genealogía matemática
DJ Collins, " Obituario William Werner Boone ", London Math. Soc. , vol. 17,1985, p. 168-174.
(en) John J. O'Connor y Edmund F. Robertson , “William Werner Boone” , en el archivo MacTutor History of Mathematics , Universidad de St Andrews ( leer en línea ).