Matemático estadounidense (1920-1983)
William Werner Boone (16 de enero de 1920 en Cincinnati – 14 de septiembre de 1983 en Urbana, Illinois ) fue un matemático estadounidense. Completó su licenciatura como estudiante a tiempo parcial en la Universidad de Cincinnati . [1]
Alonzo Church fue su asesor de doctorado en Princeton , y Kurt Gödel fue su amigo en el Instituto de Estudios Avanzados .
Pyotr Novikov demostró en 1955 que existe un grupo G finitamente presentado tal que el problema verbal para G es indecidible. [2] Boone obtuvo una prueba diferente en un artículo publicado en 1958. [3]
Publicaciones seleccionadas
- WW Boone, Problemas de decisión sobre sistemas algebraicos y lógicos en su conjunto y grados de irresolubilidad recursivamente enumerables. 1968 Contribuciones a la lógica matemática (Coloquio, Hannover, 1966), Holanda Septentrional, Ámsterdam.
- WW Boone, Roger Lyndon , Frank Cannonito, Problemas de palabras: problema de decisión en teoría de grupos , North-Holland, 1973.
Referencias
- ^ biografía de Boone
- ^ Novikov, Pyotr S. (1955), "Sobre la insolubilidad algorítmica del problema verbal en la teoría de grupos", Actas del Instituto Steklov de Matemáticas (en ruso), 44 : 1–143, Zbl 0068.01301
- ^ Boone, William W. (1958), "El problema de las palabras" (PDF) , Actas de la Academia Nacional de Ciencias , 44 (10): 1061–1065, Bibcode :1958PNAS...44.1061B, doi : 10.1073/pnas.44.10.1061 , PMC 528693 , PMID 16590307, Zbl 0086.24701