William Werner Boone (16 de enero de 1920 en Cincinnati - 14 de septiembre de 1983 en Urbana, Illinois ) fue un matemático estadounidense. Alonzo Church fue su Ph.D. asesor en Princeton , y Kurt Gödel era su amigo en el Instituto de Estudios Avanzados .
William Werner Boone | |
---|---|
Nació | |
Fallecido | 14 de septiembre de 1983 | (63 años)
Nacionalidad | americano |
alma mater | Universidad de Princeton |
Conocido por | Teorema de Boone-Higman Teorema de Boone-Rogers Teorema de Novikov-Boone |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Illinois en Urbana – Champaign Institute for Advanced Study |
Asesor de doctorado | Iglesia de Alonzo |
Pyotr Novikov demostró en 1955 que existe un grupo G presentado de manera finita, de modo que el problema verbal para G es indecidible. [1] Boone obtuvo una prueba diferente en 1958. [2]
Publicaciones Seleccionadas
- WW Boone, Problemas de decisión sobre sistemas algebraicos y lógicos en su conjunto y grados de insolubilidad recursivamente enumerables. 1968 Contribuciones a las matemáticas. Logic (Coloquio, Hannover, 1966), Holanda Septentrional, Amsterdam.
- WW Boone, Roger Lyndon , Frank Cannonito, Word Problems: Decision Problem in Group Theory , Holanda Septentrional, 1973.
Referencias
- ^ Novikov, Pyotr S. (1955), "Sobre la insolubilidad algorítmica del problema verbal en la teoría de grupos", Actas del Instituto de Matemáticas Steklov (en ruso), 44 : 1-143, Zbl 0068.01301
- ^ Boone, William W. (1958), "The word problem" (PDF) , Proceedings of the National Academy of Sciences , 44 (10): 1061–1065, Bibcode : 1958PNAS ... 44.1061B , doi : 10.1073 / pnas. 44.10.1061 , PMC 528693 , PMID 16590307 , Zbl 0086.24701
- Kurt Gödel: Obras completas : Oxford University Press: Nueva York. Editor en jefe: Solomon Feferman , Volumen IV: Correspondencia, A – G, ISBN 978-0-19-850073-5 .
- O'Connor, John J .; Robertson, Edmund F. , "William Werner Boone" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews.
- William Werner Boone en el Proyecto de genealogía matemática